La contraposée

Définition

La contraposée de la proposition (p ⇒ q) est la proposition (qp).


Tables de vérités

p q p⇒q q p qp
1 1 1 0 0 1
1 0 0 1 0 0
0 1 1 0 1 1
0 0 1 1 1 1

Propriété

La contraposée et la proposition directe ont même valeur de vérité.


Exemple :

S'il n'a pas trois côtés alors ce n'est pas un triangle.