#s/maths/logique

Soient $A$ et $B$ deux [[proposition|propositions logiques]]
$A$ et $B$ sont _équivalentes_ ssi **elles ont le même sens pour toute [[interprétation]]**

# Notation
L'équivalence entre $A$ et $B$ se note $A\iff B$