Longitud de la Prueba
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
El número de pasos de inferencia en una derivación o prueba formal dentro de un sistema de prueba especificado; cada paso es la aplicación de una regla que produce una nueva fórmula o secuencia a partir de anteriores.