## [Construction de Preuve](/fr/node/59910) Définition La construction de preuve est l'activité consistant à assembler une séquence d'étapes inférentielles justifiées qui établit une formule cible à partir de prémisses ou d'axiomes dans un système formel donné. ## Principe Principe Chaque étape doit être justifiée par une règle d'inférence autorisée, un lemme déjà démontré ou un axiome ; la séquence doit préserver la correction et tendre vers l'objectif en respectant le contexte et le domaine d'application. ## Démonstration Démonstration Construire une preuve en déduction naturelle qui, à partir de A→B et A, dérive B en écrivant l'hypothèse, en appliquant modus ponens en tant qu'étape justifiée, puis en libérant les hypothèses si nécessaire pour conclure une implication. ## Mauvaise application Mauvaise application Assembler une chaîne d'énoncés sans justification explicite, recourir à un raisonnement circulaire où une étape présuppose la conclusion, ou omettre des conditions accessoires nécessaires conduit à des preuves invalides ou non reproductibles. ## Conséquence Conséquence Une preuve correctement construite fournit un certificat vérifiable que la conclusion découle des prémisses ; elle permet la relecture par des pairs, la réutilisation de lemmes et la vérification mécanisée par des assistants de preuve. ## Inversion Inversion L'inverse est la déconstruction de preuve ou la construction d'un contre-modèle : au lieu d'édifier une dérivation, on exhibe un contre-exemple ou on démonte des étapes supposées pour montrer que la conclusion n'est pas dérivable. ## Limite Limite La construction de preuve se réfère aux dérivations formelles dans un calcul ou système de preuve choisi ; elle exclut l'exposition informelle dépourvue de structure justificatoire pas à pas et les heuristiques créatives qui n'aboutissent pas à des dérivations formelles. ## Tension sémantique Tension sémantique Il existe une tension entre des preuves élégantes et lisibles par un humain et des preuves générées mécaniquement, longues ou de bas niveau ; les deux établissent la correction mais diffèrent par leur valeur explicative et leur structure. ## Synthèse Synthèse La construction de preuve est le processus discipliné d'enchaînement de mouvements inférentiels justifiés selon les règles du système pour produire une dérivation vérifiable certifiant une formule à partir de prémisses ou d'axiomes.