論理記号と記号
| シンボル | シンボル名 | 意味/定義 | 例 |
|---|---|---|---|
| ⋅ | および | および | X ⋅ Y |
| ^ | キャレット/曲折アクセント記号 | および | x ^ y |
| ＆ | アンパサンド | および | x＆y |
| + | プラス | または | x + y |
| ∨ | 逆キャレット | または | X ∨ Y |
| | | 垂直線 | または | x | y |
| x ' | 一重引用符 | ない-否定 | x ' |
| x | バー | ない-否定 | x |
| ¬ | ない | ない-否定 | ¬ X |
| ！ | エクスクラメーション・マーク | ない-否定 | ！バツ |
| ⊕ | 丸で囲んだプラス/ oplus | 排他的論理和-xor | X ⊕ Y |
| 〜 | チルダ | 否定 | 〜X |
| ⇒ | 意味する | ||
| ⇔ | 同等 | （iff）の場合のみ | |
| ↔ | 同等 | （iff）の場合のみ | |
| ∀ | すべてのために | ||
| ∃ | が存在します | ||
| ∄ | 存在しません | ||
| ∴ | したがって、 | ||
| ∵ | なぜなら/以来 |