Logični znaki in simboli
| Simbol | Ime simbola | Pomen / opredelitev | Primer |
|---|---|---|---|
| ⋅ | in | in | x ⋅ y |
| ^ | kareta / cirkumfleks | in | x ^ y |
| & | ampersand | in | x & y |
| + | plus | ali | x + y |
| ∨ | obrnjena kareta | ali | x ∨ y |
| | | navpična črta | ali | x | y |
| x ' | en citat | ne - negacija | x ' |
| x | bar | ne - negacija | x |
| ¬ | ne | ne - negacija | ¬ x |
| ! | klicaj | ne - negacija | ! x |
| ⊕ | zaokroženo plus / oplus | izključno ali - xor | x ⊕ y |
| ~ | tilda | negacija | ~ x |
| ⇒ | pomeni | ||
| ⇔ | enakovreden | če in samo, če (iff) | |
| ↔ | enakovreden | če in samo, če (iff) | |
| ∀ | za vse | ||
| ∃ | obstaja | ||
| ∄ | ne obstaja | ||
| ∴ | torej | ||
| ∵ | ker / odkar |