象征 | 符号名称 | 含义/定义 | 例子 |
---|---|---|---|
⋅ | 和 | 和 | x ⋅ y |
^ | 插入符号 / 抑扬符 | 和 | x ^ y |
& | 与号 | 和 | x & y |
+ | 加 | 或者 | x + y |
∨ | 反向插入符号 | 或者 | x ∨ y |
| | 垂线 | 或者 | × | y |
× ' | 单引号 | 不是 - 否定 | × ' |
X | 拔 | 不是 - 否定 | X |
¬ | 不是 | 不是 - 否定 | ¬ x |
! | 感叹号 | 不是 - 否定 | !X |
⊕ | 圆圈加/oplus | 异或 - 异或 | x ⊕ y |
~ | 波浪号 | 否定 | ~ x |
⇒ | 暗示 | ||
⇔ | 相等的 | 当且仅当(iff) | |
↔ | 相等的 | 当且仅当(iff) | |
∀ | 对所有的 | ||
∃ | 那里存在 | ||
∄ | 不存在 | ||
∴ | 所以 | ||
∵ | 因为/因为 |