Segni e simboli logici
Simbolo | Nome simbolo | Significato/definizione | Esempio |
---|---|---|---|
⋅ | E | E | x ⋅ a |
^ | accento circonflesso / circonflesso | E | x ^ a |
& | e commerciale | E | x e y |
+ | più | O | x + a |
∨ | cursore invertito | O | x ∨ y |
| | linea verticale | O | x | si |
x ' | singola citazione | non - negazione | x ' |
X | sbarra | non - negazione | X |
¬ | non | non - negazione | ¬x _ |
! | punto esclamativo | non - negazione | ! X |
⊕ | cerchiato più / oplus | esclusivo o - xor | x ⊕ a |
~ | tilde | negazione | ~ x |
⇒ | implica | ||
⇔ | equivalente | se e solo se (se) | |
↔ | equivalente | se e solo se (se) | |
∀ | per tutti | ||
∃ | lì esiste | ||
∄ | non esiste | ||
∴ | Perciò | ||
∵ | perché / poiché |
Advertising