記号論理学
論理結合子/量化記号
table:真理値表
P Q P∨Q P∧Q P⇒Q P⇔Q P⊻Q P|Q
T T T T T T F T
T F T F F F T T
F T T F T F T T
F F F F T T F F
左から論理和/論理積/[]/同値/排他的論理和/
恒真命題 ＝ トートロジー
排中律 $ P = P∨(¬P)
二重否定 $ P ≡ ¬(¬P)
対偶 $ P⇒Q≡(¬Q)⇒(¬P)
不完全性定理