논리 기호 및 기호
| 상징 | 기호 이름 | 의미 / 정의 | 예 |
|---|---|---|---|
| ⋅ | 및 | 및 | x ⋅ y |
| ^ | 캐럿 / 곡절 | 및 | x ^ y |
| & | 앰퍼샌드 | 및 | x 및 y |
| + | ...을 더한 | 또는 | x + y |
| ∨ | 반전 캐럿 | 또는 | x ∨ y |
| | | 수직선 | 또는 | x | 와이 |
| x ' | 작은 따옴표 | 아니-부정 | x ' |
| x | 바 | 아니-부정 | x |
| ¬ | 아니 | 아니-부정 | ¬ x |
| ! | 느낌표 | 아니-부정 | ! 엑스 |
| ⊕ | 원으로 표시된 플러스 / 오 플러스 | 배타적 또는-xor | x ⊕ y |
| ~ | 틸데 | 부정 | ~ x |
| ⇒ | 암시 | ||
| ⇔ | 동등한 | (iff) 경우에만 | |
| ↔ | 동등한 | (iff) 경우에만 | |
| ∀ | 모든 | ||
| ∃ | 존재 | ||
| ∄ | 존재하지 않는다 | ||
| ∴ | 따라서 | ||
| ∵ | 왜냐하면 / 이후 |