Signes i símbols lògics
| Símbol | Nom del símbol | Significat / definició | Exemple |
|---|---|---|---|
| ⋅ | i | i | x ⋅ y |
| ^ | caret / circumflex | i | x ^ y |
| & | signe de senyal | i | x & y |
| + | més | o | x + y |
| ∨ | cursor invertit | o | x ∨ y |
| | | línia vertical | o | x | y |
| x ' | cita única | no - negació | x ' |
| x | barra | no - negació | x |
| ¬ | no | no - negació | ¬ x |
| ! | signe d'exclamació | no - negació | ! x |
| ⊕ | encerclat plus / oplus | exclusiu o - xor | x ⊕ y |
| ~ | titlla | negació | ~ x |
| ⇒ | implica | ||
| ⇔ | equivalent | si i només si (si) | |
| ↔ | equivalent | si i només si (si) | |
| ∀ | per a tot | ||
| ∃ | existeix | ||
| ∄ | allà no existeix | ||
| ∴ | per tant | ||
| ∵ | perquè / des que |