Logički znakovi i simboli
| Simbol | Naziv simbola | Značenje / definicija | Primjer |
|---|---|---|---|
| ⋅ | i | i | x ⋅ y |
| ^ | karata / cirkumfleks | i | x ^ y |
| & | ampersand | i | x & y |
| + | plus | ili | x + y |
| ∨ | obrnuta kareta | ili | x ∨ y |
| | | vertikalna linija | ili | x | g |
| x ' | jedan navodnik | ne - negacija | x ' |
| x | bar | ne - negacija | x |
| ¬ | nije | ne - negacija | ¬ x |
| ! | uskličnik | ne - negacija | ! x |
| ⊕ | zaokružen plus / oplus | ekskluzivni ili - xor | x ⊕ y |
| ~ | tilda | negacija | ~ x |
| ⇒ | podrazumijeva | ||
| ⇔ | ekvivalent | ako i samo ako (iff) | |
| ↔ | ekvivalent | ako i samo ako (iff) | |
| ∀ | za sve | ||
| ∃ | postoji | ||
| ∄ | ne postoji | ||
| ∴ | stoga | ||
| ∵ | jer / budući da |