邏輯符號
| 象徵 | 符號名稱 | 含義/定義 | 例子 |
|---|---|---|---|
| ⋅ | 和 | 和 | x ⋅ y |
| ^ | 插入符/抑揚符 | 和 | x ^ y |
| & | 符號 | 和 | x & y |
| + | 加 | 或者 | x + y |
| ∨ | 反轉插入符 | 或者 | x∨y _ _ |
| | | 垂線 | 或者 | × | 是 |
| x ' | 單引號 | 不-否定 | x ' |
| X | 酒吧 | 不-否定 | X |
| ¬ | 不是 | 不-否定 | ¬ x |
| ！ | 感嘆號 | 不-否定 | ！X |
| ⊕ | 帶圓圈的加號/oplus | 異或 - 異或 | x⊕y _ _ |
| ~ | 代字號 | 否定 | ~ x |
| ⇒ | 暗示 | ||
| ⇔ | 相等的 | 當且僅當（當且僅當） | |
| ↔ | 相等的 | 當且僅當（當且僅當） | |
| ∀ | 對全部 | ||
| ∃ | 那裡存在 | ||
| ∄ | 不存在 | ||
| ∴ | 所以 | ||
| ∵ | 因為/因為 |