Signes et symboles logiques
| symbole | Nom du symbole | Signification / définition | Exemple |
|---|---|---|---|
| ⋅ | et | et | x ⋅ y |
| ^ | caret / circonflexe | et | x ^ y |
| & | esperluette | et | x & y |
| + | plus | ou | x + y |
| ∨ | caret inversé | ou | x ∨ y |
| | | ligne verticale | ou | x | y |
| x ' | simple citation | non - négation | x ' |
| x | bar | non - négation | x |
| ¬ | pas | non - négation | ¬ x |
| ! | point d'exclamation | non - négation | ! X |
| ⊕ | encerclé plus / oplus | exclusif ou - xor | x ⊕ y |
| ~ | tilde | négation | ~ x |
| ⇒ | implique | ||
| ⇔ | équivalent | si et seulement si (iff) | |
| ↔ | équivalent | si et seulement si (iff) | |
| ∀ | pour tous | ||
| ∃ | il existe | ||
| ∄ | il n'existe pas | ||
| ∴ | par conséquent | ||
| ∵ | parce que / depuis |