Sintaxis de la Lógica Proposicional
Método demostrativo o Deducción Natural: Es un método sintáctico que consiste en tratar de probar que la conclusión de un razonamiento se infiere legítimamente de las premisas. Para ello se recurre a cierto conjunto de reglas de inferencia y de leyes de equivalencia. Solo puede derivarse un esquema de argumento válido, ya que la verdad de las premisas garantiza la verdad de la conclusión.
Las reglas de Introducción de todas las conectivas y la negación forman parte de la Lógica Minimalista. Si a éstas les agregamos la regla EFSQ estamos dentro de la Lógica Intuicionista. Y a su vez, si a todas estas le agregamos la eliminación de la doble negación, es una deducción de la Lógica Clásica.
No hay comentarios.:
Publicar un comentario