Démonstration (logique et mathématiques)
Établissement d'une proposition mathématique à partir d'axiomes et de règles de déduction / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Démonstration (logique et mathématique)?
Résumez cet article pour un enfant de 10 ans
Pour les articles homonymes, voir Démonstration.
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 »[2] 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.