Técnicas de Demostración: Natural y Automática (Ejercicios)

Abstract

Vamos a estudiar distintas técnicas de demostración lógica, partiendo de la Deducción Natural hasta llegar a la demostración automática. Para ello nos serviremos de ejemplos: un ejemplo formalizado en el lenguaje de proposiciones, que permite un tratamiento más sencillo y otro formalizado en el lenguaje de predicados, que tiene mayor potencia expresiva pero que a cambio requiere un cálculo más complejo.