Sintaxis (L.Prop)

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.