Logické znaky a symboly
| Symbol | Názov symbolu | Význam / definícia | Príklad |
|---|---|---|---|
| ⋅ | a | a | x ⋅ r |
| ^ | strieška / háčik | a | x ^ y |
| & | ampersand | a | x & y |
| + | plus | alebo | x + r |
| ∨ | obrátený vsuvka | alebo | x ∨ r |
| | | zvislá čiara | alebo | x | r |
| x ' | jediný citát | nie - negácia | x ' |
| x | bar | nie - negácia | x |
| ¬ | nie | nie - negácia | ¬ x |
| ! | výkričník | nie - negácia | ! X |
| ⊕ | zakrúžkované plus / oplus | exkluzívne alebo - xor | x ⊕ r |
| ~ | tilda | negácia | ~ x |
| ⇒ | naznačuje | ||
| ⇔ | ekvivalent | keby a len keby (iff) | |
| ↔ | ekvivalent | keby a len keby (iff) | |
| ∀ | pre všetkých | ||
| ∃ | existuje | ||
| ∄ | neexistuje | ||
| ∴ | preto | ||
| ∵ | pretože / od |