Construction de Preuve
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
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é.