Loogiset merkit ja symbolit
| Symboli | Symbolin nimi | Merkitys / määritelmä | Esimerkki |
|---|---|---|---|
| ⋅ | ja | ja | x ⋅ y |
| ^ | caret / circumflex | ja | x ^ y |
| & | ja | ja | x & y |
| + | plus | tai | x + y |
| ∨ | käänteinen caret | tai | x ∨ y |
| | | pystysuora viiva | tai | x | y |
| x ' | yksi lainaus | ei - kielto | x ' |
| x | baari | ei - kielto | x |
| ¬ | ei | ei - kielto | ¬ x |
| ! | huutomerkki | ei - kielto | ! x |
| ⊕ | ympyröity plus / oplus | yksinomainen tai - xor | x ⊕ y |
| ~ | tilde | kieltäminen | ~ x |
| ⇒ | viittaa | ||
| ⇔ | vastaava | jos ja vain jos (iff) | |
| ↔ | vastaava | jos ja vain jos (iff) | |
| ∀ | kaikille | ||
| ∃ | on olemassa | ||
| ∄ | ei ole olemassa | ||
| ∴ | siksi | ||
| ∵ | koska / siitä lähtien |