Logické značky a symboly
| Symbol | Název symbolu | Význam / definice | Příklad |
|---|---|---|---|
| ⋅ | a | a | x ⋅ y |
| ^ | stříška / háček | a | x ^ y |
| & | ampersand | a | x & y |
| + | Plus | nebo | x + y |
| ∨ | obrácený stříška | nebo | x ∨ y |
| | | svislá čára | nebo | x | y |
| x ' | jednoduchá nabídka | ne - negace | x ' |
| x | bar | ne - negace | x |
| ¬ | ne | ne - negace | ¬ x |
| ! | vykřičník | ne - negace | ! X |
| ⊕ | v kroužku plus / oplus | exkluzivní nebo - xor | x ⊕ y |
| ~ | vlkodlak | negace | ~ x |
| ⇒ | naznačuje | ||
| ⇔ | ekvivalent | jen a jen pokud (iff) | |
| ↔ | ekvivalent | jen a jen pokud (iff) | |
| ∀ | pro všechny | ||
| ∃ | tady existuje | ||
| ∄ | neexistuje | ||
| ∴ | proto | ||
| ∵ | protože / od té doby |