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 |
Exemple
Une équation est une forme propositionnelle.
2x + 8y = 16 ↔ x + 4y = 8
L’expression ci-dessus est une forme propositionnelle biconditionnelle qui pourrait aussi se traduire par : on peut multiplier ou diviser tous les termes d’une équation par un nombre non nul sans en changer la valeur de vérité.