Beweislänge

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Die Anzahl der Inferenzschritte in einer formalen Ableitung oder Beweis innerhalb eines bestimmten Beweissystems; jeder Schritt ist die Anwendung einer Regel, die aus vorherigen Formeln oder Sequenzen eine neue erzeugt.