2014-2015 Logique
Démonstration par contraposée
Pour démontrer qu’une implication est vraie, on démontre que sa contraposée est vraie.
Exemple
•Démontrons par contraposée l’implication suivante :
« Pour tout entier naturel n,si n2est pair,alors nest pair ».
•La contraposée de cette implication est :
« Pour tout entier naturel n,si nest impair,alors n2est impair ».
•Démontrons que cette contraposée est vraie :
Soit nun entier naturel impair. Alors il existe un entier naturel ktel que n= 2k+ 1.
On a alors n2= (2k+ 1)2= 4k2+ 4k+ 1 = 2(2k2+ 2k) + 1, n2est donc impair.
•Conclusion :
On a démontré que :
« Pour tout entier naturel n,si nest impair,alors n2est impair ».
On a démontré par contraposée que :
« Pour tout entier naturel n,si n2est pair,alors nest pair ».
2