Longueur de Preuve
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Le nombre d'étapes d'inférence dans une dérivation ou preuve formelle au sein d'un système de preuve donné ; chaque étape est l'application d'une règle produisant une nouvelle formule ou séquent à partir des précédents.