表

話

編

歴
論理演算


恒真式 ( ⊤ {\displaystyle \top } )



NAND ( ↑ {\displaystyle \uparrow } )

逆含意 ( ← {\displaystyle \leftarrow } )

IMP ( → {\displaystyle \rightarrow } )

OR ( ∨ {\displaystyle \lor } )



否定 ( ¬ {\displaystyle \neg } )

XOR ( ⊕ {\displaystyle \oplus } )

同値 ( ↔ {\displaystyle \leftrightarrow } )

命題



NOR ( ↓ {\displaystyle \downarrow } )

非含意 ( ↛ {\displaystyle \nrightarrow } )

逆非含意 ( ↚ {\displaystyle \nleftarrow } )

AND ( ∧ {\displaystyle \land } )



矛盾 ( ⊥ {\displaystyle \bot } )

表

話

編

歴
論理記号

∧ or & 論理積
AND∨ 論理和
OR¬ or ~ 否定
NOT→ 含意
implies⊃ 上位集合
superset≡ 同値
iff| 否定論理積
NAND∀ 全称量化
for all∃ 存在量化
exists? 恒真式
tautology⊥ 偽 false
/ 矛盾? 証明可能
proves? 論理的帰結
entails∴ 従って
therefore∵ なぜならば
because

典拠管理データベース: 国立図書館

ドイツ