Los métodos de la lógica

Abstract

Lección sobre los distintos métodos lógicos que se pueden aplicar para la resolución de un planteamiento cualquiera. Entre los métodos sintácticos se encuentran el método axiomático y el de deducción natural. Entre los métodos semánticos, se utilizan el de las tablas semánticas y la utilización de interpretaciones y modelos para pruebas de independencia. Entre los métodos algorítmicos, destacan los métodos de decisión y los problemas conectados con la decibilidad.