biconditionnelle

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

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é.