Deducción natural

De Enciclopedia Symploké, la enciclopedia libre.
Saltar a: navegación, buscar

Modo de presentación de un cálculo deductivo distinta a la de los cálculos axiomáticos. Los cálculos de deducción natural utilizan reglas de razonamiento muy parecidas a las maneras cotidianas de razonar de las personas, y de ahí su denominación. El más conocido es el cálculo de Gentzen, caracterizado por hacer corresponder a cada conectiva lógica dos reglas de inferencia: una de introducción y otra de eliminación.