Biconditionnelle
Relation entre deux formes propositionnelles P et Q, notée « P ↔ Q » ou « P équivaut à Q », qui est vraie lorsque P et Q ont simultanément la même valeur de vérité et fausse dans les autres cas.
Synonyme de forme propositionnelle biconditionnelle.
La table de vérité de la biconditionnelle est la suivante :
| P | Q | P ↔ Q |
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | V |