Cet article est orphelin. Moins de trois articles lui sont liés ().
Vous pouvez aider en ajoutant des liens vers [[Preuve directe]] dans les articles relatifs au sujet.
En mathématiques et plus précisément logique, une preuve directe est un moyen d'affirmer ou d'infirmer une proposition, par une combinaison directe de faits établis, comme des axiomes, des lemmes et des théorèmes déjà démontrés. Afin de prouver directement une assertion logique conditionnelle de la forme "Si , alors " où et sont des propositions logiques, il suffit de se restreindre aux situations où est vraie, et de déduire logiquement la conclusion, à partir de cette hypothèse et des faits établis. Par exemple, les disjonctions de cas ou les preuves par induction sont des preuves directes.
À l'inverse, une preuve indirecte est une preuve où l'on ne montre pas simplement l'implication , mais obtenir un résultat équivalent par un autre raisonnement. Un exemple est la preuve par contraposition : au lieu de montrer , on montre , qui se trouve être équivalent à l'implication que l'on cherche. D'autres exemples sont la preuve par l'absurde ou la méthode de descente infinie.
