En la teoría estructural de la prueba, una prueba analítica es una prueba cuya estructura es simple de una manera especial. El término no admite una definición incontrovertida, pero para varios cálculos de la prueba hay una noción aceptada de la prueba analítica. Por ejemplo:

en el cálculo natural de la deducción de Gentzen las pruebas analíticas está ésos en forma normal; es decir, no hay ocurrencia de la fórmula la premisa principal de una regla de la eliminación y la conclusión de una introducción gobierna;
En el cálculo siguiente de Gentzen las pruebas analíticas están las que no utilizan la regla del corte.

Sin embargo es posible ampliar ambos cálculos de modo que haya las pruebas que satisfacen la condición pero no sea analítico: un ejemplo particularmente difícil de esto es la regla analítica del corte del : éste es un caso especial de la regla del corte donde está un la fórmula del corte Subformula de las fórmulas laterales de la regla del corte; una prueba que contiene un corte analítico está en virtud de esa regla no analítica. ¡semántica prueba-teórica -->

Ver también

.