Équivalence logique

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.