En
logique classique, deux
propositions P et
Q sont dites
logiquement équivalentes ou simplement
équivalentes quand elles ont même valeur logique, il est possible de déduire
Q à partir de
P et de déduire
P à partir de
Q. En
logique classique, cela revient à dire que
P et
Q ont même valeur de vérité :
P et
Q sont soit toutes les deux vraies, soit toutes les deux fausses. L'équivalence logique s'exprime souvent sous la forme
si et seulement si, dans des cadres comme l'enseignement ou la
métamathématique pour parler des propriétés de la logique elle-même, et non du connecteur logique qui lie deux propositions.