Je suis étudiant en première année de DUT Informatique, et j'aurais voulu savoir si vous aviez des conseils à me donner pour mener à bien mes démonstrations. Je connais mon cours, je sais qu'il y a 3 manières de prouver qu'un théorème est vrai ou non :
- par preuve directe : supposer que A est vraie et prouver par des calculs, des axiomes, ... que B est vraie.
- par contraposée : supposer que B est fausse et prouver par des calculs, des axiomes, ... que A est fausse.
- par l'absurde : supposer que A est vraie et que B est fausse et arriver au moyen de calculs, de propriétés, d'axiomes, ... à un résultat absurde (2 = -2 par exemple).
Seulement je n'arrive jamais à mener à bien mes démonstrations, je ne sais même pas par où commencer ! Par exemple sur cet exercice, quelqu'un pourrait m'indiquer la méthode, la marche à suivre svp ?
A = "x est un entier naturel" ; B="2x est un entier naturel pair"
1. Démontrer que A => B est un théorème.
(autres questions du même style...)
Merci d'avance
