邏輯符號
| 符號 | 符號名稱 | 含義/定義 | 例 |
|---|---|---|---|
| ⋅ | 和 | 和 | X ⋅ ÿ |
| ^ | 脫字號/抑揚符 | 和 | x ^ y |
| 和 | 連字號 | 和 | x＆y |
| + | 加 | 或 | x + y |
| ∨ | 倒轉插入號 | 或 | X ∨ ÿ |
| | | 垂線 | 或 | x | ÿ |
| X ' | 單引號 | 不-否定 | X ' |
| x | 酒吧 | 不-否定 | x |
| ¬ | 不 | 不-否定 | ¬ X |
| ！ | 感嘆號 | 不-否定 | ！X |
| ⊕ | 帶圓圈的加號/加號 | 異或-xor | X ⊕ ÿ |
| 〜 | 波浪號 | 否定 | 〜X |
| ⇒ | 暗示 | ||
| ⇔ | 當量 | 當且僅當（iff） | |
| ↔ | 當量 | 當且僅當（iff） | |
| ∀ | 對所有人 | ||
| ∃ | 那裡存在 | ||
| ∄ | 不存在 | ||
| ∴ | 因此 | ||
| ∵ | 因為/因為 |