矛盾
#Fleeting_Notes
矛盾(contradiction)
矛盾は
⊥
、
$ \bot
でよく表される
矛盾からは任意の論理が導かれる
この性質のことは下記のように呼ばれる
ラテン語だと
ex falso [sequitur] quodlibet
偽からは何でも［導かれる］
ex falso
absurd
爆発律
確認用
Q. 矛盾
関連
空型
論理否定
、
否定
Vacuous Truth
mere proposition
contradiction in nLab
contradictory statement
contradiction
数理論理学の基礎・命題論理 - Mathpedia
調査用
Google.icon
矛盾(日)
Google.icon
Contradiction(英)
Wikipedia.icon
矛盾 - Wikipedia(日)
矛盾(検索) - Wikipedia(日)
Wikipedia.icon
Contradiction - Wikipedia(英)
Contradiction(検索) - Wikipedia(英)