Logique Implication Exemple d'implication contraposée

précédent

 suivant résumé résumé

Exemple d'implication contraposée

L'implication : "ab = 0 implique (a = 0 ou b = 0)"
sa contraposée : "(a 0 et b 0) implique ab 0" ;

l'implication "x = 1 implique x 2 = 1" est vraie (x supposé réel), ainsi bien sûr que l'implication contraposée "x 2 1 implique x 1",
tandis que l'implication réciproque "x 2 = 1 implique x = 1" est fausse.