Beweiskonstruktion

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Beweiskonstruktion ist die Tätigkeit, eine Sequenz gerechtfertigter inferentieller Schritte zusammenzustellen, die eine Zielformel aus Prämissen oder Axiomen innerhalb eines bestimmten formalen Systems begründet.