L’inverse

Définition

L'inverse de la proposition (p ⇒ q) est la proposition (pq).


Tables de vérités

p q p⇒q p q pq
1 1 1 0 0 1
1 0 0 0 1 1
0 1 1 1 0 0
0 0 1 1 1 1

Propriété

L'inverse d'une implication J est la contraposée de la réciproque de J.