Mantıksal işaretler ve semboller
| Sembol | Sembol Adı | Anlamı / tanımı | Misal |
|---|---|---|---|
| ⋅ | ve | ve | x ⋅ y |
| ^ | imleç / inceltme işareti | ve | x ^ y |
| & | ve işareti | ve | x & y |
| + | artı | veya | x + y |
| ∨ | ters düzeltme | veya | x ∨ y |
| | | dikey çizgi | veya | x | y |
| x ' | tek alıntı | değil - olumsuzluk | x ' |
| x | bar | değil - olumsuzluk | x |
| ¬ | değil | değil - olumsuzluk | ¬ x |
| ! | ünlem işareti | değil - olumsuzluk | ! x |
| ⊕ | daire içine alınmış artı / oplus | özel veya - xor | x ⊕ y |
| ~ | tilde | olumsuzluk | ~ x |
| ⇒ | ima eder | ||
| ⇔ | eşdeğer | ancak ve ancak (iff) | |
| ↔ | eşdeğer | ancak ve ancak (iff) | |
| ∀ | hepsi için | ||
| ∃ | var | ||
| ∄ | yok | ||
| ∴ | bu nedenle | ||
| ∵ | çünkü / o zamandan beri |