Terme
Contraposée d’une implication
- Nom
- contraposée, contraposées, contraposition, contrapositions
- Termes plus larges
- Implication
- Équivalent à
- Implication
Définition
Propriété Équivalence d’une implication et de sa contraposée
On a \(P\Rightarrow Q\) si, et seulement si, on a \(\neg Q\Rightarrow\neg P\).
Module : Raisonnement par contraposée