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