Preuve directe

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.

Texte : extrait de l'article Wikipédia « Preuve directe », sous licence CC BY-SA 4.0.