Assertions équivalentes : définition (MPSI)

Deux assertions construites à partir de $P,Q,\dots$ sont dites logiquement équivalentes lorsqu'elles ont la même valeur de vérité dans tous les cas, c'est-à-dire la même colonne dans la table de vérité. On peut alors remplacer l'une par l'autre dans tout raisonnement.