Démonstration (logique et mathématiques)

Carte Peu commune · n° 157710

En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle. Les prémisses sont soit des axiomes, soit des propositions déjà obtenues comme conclusions de l'application d'autres règles. Une proposition qui est la conclusion de l'étape ultime d'une démonstration est un théorème. Le terme « preuve » est parfois employé comme un synonyme de « démonstration » par attraction de l'anglais proof[réf. souhaitée]. La démonstration est foncièrement différente de l'argumentation, qui est une autre forme de raisonnement, employant des arguments qualitatifs, en faisant référence éventuellement à des données chiffrées, dans le but de pousser quelqu'un à agir.

Lire sur Wikipédia · Image Euclid, Public domain