逻辑符号
| 象征 | 符号名称 | 含义/定义 | 例子 |
|---|---|---|---|
| ⋅ | 和 | 和 | x ⋅ y |
| ^ | 插入符/抑扬符 | 和 | x ^ y |
| & | 符号 | 和 | x & y |
| + | 加 | 或者 | x + y |
| ∨ | 反转插入符 | 或者 | x∨y _ _ |
| | | 垂线 | 或者 | × | 是 |
| x ' | 单引号 | 不-否定 | x ' |
| X | 酒吧 | 不-否定 | X |
| ¬ | 不是 | 不-否定 | ¬ x |
| ！ | 感叹号 | 不-否定 | ！X |
| ⊕ | 带圆圈的加号/oplus | 异或 - 异或 | x⊕y _ _ |
| ~ | 代字号 | 否定 | ~ x |
| ⇒ | 暗示 | ||
| ⇔ | 相等的 | 当且仅当（当且仅当） | |
| ↔ | 相等的 | 当且仅当（当且仅当） | |
| ∀ | 对全部 | ||
| ∃ | 那里存在 | ||
| ∄ | 不存在 | ||
| ∴ | 所以 | ||
| ∵ | 因为/因为 |