peut les remplacer l’un par l’autre, sans que la véracité du discours soit affectée.

Autrement dit, deux propositions sont équivalentes si elles ont la même table de
vérité, ce qui explique le fait que l’on puisse utiliser les tables pour démontrer
un énoncé. Cela dit, ce que nous allons faire maintenant ne signifie pas que les
énoncés ainsi démontrés sont prouvables (p6 définition 7).

Exemples. La commutativité du "OU" ∨ :

P Q P ∨Q Q∨P
V V V V
V F V V
F V V V
F F F F

Les tables de vérité des deux membres sont bien les mêmes, ils sont donc
bien équivalents.
L’associativité du "OU" ∨ :

P Q R Q∨R Q∨R (P ∨ Q) ∨ R P ∨ (Q ∨ R)
V V V V V V V
V V F V V V V
V F V V V V V
V F F V F V V
F V V V V V V
F V F V V V V
F F V F V V V
F F F F F F F

Les tables de vérité des deux membres sont bien les mêmes, ils sont donc
bien équivalents.
!