Semne și simboluri logice
| Simbol | Numele simbolului | Înțeles / definiție | Exemplu |
|---|---|---|---|
| ⋅ | și | și | x ⋅ y |
| ^ | caret / circumflex | și | x ^ y |
| & | ampersand | și | x & y |
| + | la care se adauga | sau | x + y |
| ∨ | caret inversat | sau | x ∨ y |
| | | linie verticala | sau | x | y |
| x ' | citat unic | nu - negare | x ' |
| x | bar | nu - negare | x |
| ¬ | nu | nu - negare | ¬ x |
| ! | Semnul exclamarii | nu - negare | ! X |
| ⊕ | cerculat plus / oplus | exclusiv sau - xor | x ⊕ y |
| ~ | tilde | negare | ~ x |
| ⇒ | presupune | ||
| ⇔ | echivalent | dacă și numai dacă (dacă) | |
| ↔ | echivalent | dacă și numai dacă (dacă) | |
| ∀ | pentru toți | ||
| ∃ | exista | ||
| ∄ | nu există | ||
| ∴ | prin urmare | ||
| ∵ | pentru că / de când |