Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01151793n
Noun Concept
Categories: 命題論理の定理, ラテン語由来の論理学のフレーズ, 古典論理, 推論規則
JA
モーダストレンス  Modus tollens  モドゥストレンス  モドゥス・トレンス  モーダス・トレンス
JA
モーダストレンス（英: Modus tollens, MT）は、間接証明（indirect proof）や対偶による証明（proof by contradiction）の正式な名称である。 Wikipedia
Definitions
Relations
Sources
JA
モーダストレンス（英: Modus tollens, MT）は、間接証明（indirect proof）や対偶による証明（proof by contradiction）の正式な名称である。 Wikipedia
IS A
定理
推論規則
BabelNet
JA
Modus tollens
Wikipedia
JA
モーダストレンス
Wikidata
JA
モーダストレンス
Wikipedia Redirections
JA
モドゥストレンス, モドゥス・トレンス, モーダス・トレンス, 後件否定
Wikidata Alias
JA
モドゥストレンス, モドゥス・トレンス, モーダス・トレンス, 後件否定

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License