Logické znaky a symboly
| Symbol | Název symbolu | Význam / definice | Příklad |
|---|---|---|---|
| ⋅ | a | a | x ⋅ y |
| ^ | stříška / circumflex | a | x ^ y |
| & | ampersand | a | x & y |
| + | Plus | nebo | x + y |
| ∨ | obrácená stříška | nebo | x ∨ y |
| | | svislá čára | nebo | x | y |
| x ' | jediný citát | ne - negace | x ' |
| X | bar | ne - negace | X |
| ¬ | ne | ne - negace | ¬ x |
| ! | vykřičník | ne - negace | ! X |
| ⊕ | zakroužkované plus / oplus | exkluzivní nebo - xor | x ⊕ y |
| ~ | vlnovka | negace | ~ x |
| ⇒ | znamená | ||
| ⇔ | ekvivalent | tehdy a jen tehdy, když (iff) | |
| ↔ | ekvivalent | tehdy a jen tehdy, když (iff) | |
| ∀ | pro všechny | ||
| ∃ | tady existuje | ||
| ∄ | neexistuje | ||
| ∴ | proto | ||
| ∵ | protože / od té doby |
Advertising