Loginiai ženklai ir simboliai
| Simbolis | Simbolio pavadinimas | Reikšmė / apibrėžimas | Pavyzdys |
|---|---|---|---|
| ⋅ | ir | ir | x ⋅ y |
| ^ | caret / circumflex | ir | x ^ y |
| & | ampersandas | ir | x & y |
| + | pliusas | arba | x + y |
| ∨ | atvirkštinė kilimėlė | arba | x ∨ y |
| | | vertikali linija | arba | x | y |
| x ' | viena citata | ne - neigimas | x ' |
| x | baras | ne - neigimas | x |
| ¬ | ne | ne - neigimas | ¬ x |
| ! | šauktukas | ne - neigimas | ! x |
| ⊕ | apskrito plius / oplus | išskirtinis arba - xor | x ⊕ y |
| ~ | tilde | neigimas | ~ x |
| ⇒ | reiškia | ||
| ⇔ | lygiavertis | jei ir tik jei (iff) | |
| ↔ | lygiavertis | jei ir tik jei (iff) | |
| ∀ | visiems | ||
| ∃ | egzistuoja | ||
| ∄ | nėra | ||
| ∴ | todėl | ||
| ∵ | nes / nuo tada |