SOLEDAD H.

BERMÚDEZ

EL CÁLCULO EN SISTEMAS
DEDUCTIVOS I:
Diferentes cálculos hacen diferentes caracterizaciones
de la noción de derivabilidad

Cada uno de los cuatro sistemas vistos anteriormente constituye una caracterización
alternativa de la noción de derivabilidad.
La distancia que separa las técnicas y procedimientos característicos de cada uno de
ellos es suficiente como para que su equivalencia necesite de demostración.

No sucede así en el dominio de la consecuencia semántica, donde sólo tenemos en

cuenta una única definición cuyo formato se reutiliza constantemente en contextos
sustancialmente distintos a este.

1) SISTEMAS AXIOMÁTICOS:
Establecen la teorematicidad de fórmulas o, dicho de otra manera, su derivabilidad a
a partir de conjuntos vacíos de premisas. Obtener nuevos teoremas a partir de otros
existentes es complejo así. Las dos únicas operaciones que están a nuestra
disposición son: el Modus Ponens y el reemplazo de letras esquemáticas por
fórmulas del lenguaje de la lógica de enunciados o por otras expresiones
esquemáticas.
La única estrategia realmente digna es localizar un axioma cuya forma pueda,
mediante las oportunas substituciones, contener como consecuente la fórmula cuya
teorematicidad se desea probar. Una vez que la localizamos, el proceso se repite
buscando el antecedente de esa instancia del axioma. El proceso termina si el
antecedente coincide con la instancia de substitución de algún axioma o teorema ya
demostrado.

2) CÁLCULO DE DEDUCCIÓN NATURAL:

Con el cálculo de Deducción natural nos situamos de pleno en el dominio de la
derivabilidad. Su atención está dirigida a establecer argumentos derivables siendo un
caso límite el que representa la prueba de una fórmula a partir del conjunto vacío de
premisas. En tal caso, como el el cálculo de sistemas axiomáticos, decimos que
estamos ante un teorema. Los teoremas demostrables en Ax. y DN son los mismos.
Para derivar ser anota en líneas sucesivas, las fórmulas que figuran como premisas
y a continuación se procede, según patrones heurísticos más o menos estructurados,
a añadir nuevas fórmulas con cuyo concurso se llega finalmente a la conclusión.