Logische tekens en symbolen
| Symbool | Symboolnaam | Betekenis / definitie | Voorbeeld |
|---|---|---|---|
| ⋅ | en | en | x ⋅ y |
| ^ | dakje / circumflex | en | x ^ y |
| & | ampersand | en | x & y |
| + | plus | of | x + y |
| ∨ | omgekeerde caret | of | x ∨ y |
| | | verticale lijn | of | x | y |
| x ' | alleenstaande citaat | niet - negatie | x ' |
| x | bar | niet - negatie | x |
| ¬ | niet | niet - negatie | ¬ x |
| ! | uitroepteken | niet - negatie | ! X |
| ⊕ | omcirkeld plus / oplus | exclusief of - xor | x ⊕ y |
| ~ | tilde | negatie | ~ x |
| ⇒ | impliceert | ||
| ⇔ | gelijkwaardig | als en slechts als (iff) | |
| ↔ | gelijkwaardig | als en slechts als (iff) | |
| ∀ | voor iedereen | ||
| ∃ | Er bestaat | ||
| ∄ | er bestaat niet | ||
| ∴ | daarom | ||
| ∵ | omdat / sinds |