論理記号と記号
| シンボル | シンボル名 | 意味・定義 | 例 |
|---|---|---|---|
| ⋅ | と | と | x ⋅ y |
| ^ | キャレット/サーカムフレックス | と | x ^ y |
| & | アンパサンド | と | x & y |
| + | プラス | また | x + y |
| ∨ | 逆キャレット | また | x∨y _ _ |
| | | | 垂直線 | また | × | y |
| × ' | 一重引用符 | ない - 否定 | × ' |
| バツ | バー | ない - 否定 | バツ |
| ¬ | いいえ | ない - 否定 | ¬ × |
| ! | エクスクラメーション・マーク | ない - 否定 | ! バツ |
| ⊕ | 丸で囲んだプラス / オプラス | 排他的または - xor | x⊕y _ _ |
| 〜 | チルダ | 否定 | 〜× |
| ⇒ | 示す | ||
| ⇔ | 同等 | 場合に限り (iff) | |
| ↔ | 同等 | 場合に限り (iff) | |
| ∀ | すべてのために | ||
| ∃ | が存在します | ||
| ∄ | 存在しない | ||
| ∴ | したがって | ||
| ∵ | なぜなら/以来 |