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