I simboli principali sono:
| Simbolo | Codice html | Significato | |||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ⇒ | ⇒ | Implica. Se la parte sinistra è vera, allora è vera anche la parte destra | |||||||||||||||
| ⇔ ↔ |
⇔ ↔ |
Se e solo se (SSe). Se la parte sinistra è vera, allora è vera anche la parte destra e viceversa.
|
|||||||||||||||
| ¬ | ¬ | Negazione (operatore unario) | |||||||||||||||
| ∧ | ∧ | And: la proposizione è vera solo se sono veri entrambi i termini
|
|||||||||||||||
| ∨ | ∨ | Or: la proposizione è vera se è vero almeno uno dei termini
|
|||||||||||||||
| ⊕ | ⊕ | Or esclusivo: la proposizione è vera se i due termini sono differenti. è complementare a SSe
|