Deducción Natural

Una técnica de cálculo de pruebas que deriva conclusiones de premisas aplicando reglas de introducción y eliminación para cada conectivo lógico y cuantificador; las pruebas se estructuran como cadenas de aplicaciones de reglas en lugar de instanciar esquemas axiomáticos.