Open AccessLógica de las tautologías
Author(s) -
Manuel Sierra-Aristizábal
Publication year - 2012
Publication title -
ingeniería y ciencia/ingeniería y ciencia
Language(s) - Spanish
Resource type - Journals
eISSN - 2256-4314
pISSN - 1794-9165
DOI - 10.17230/ingciencia.8.15.5
Subject(s) - humanities , philosophy , physics
Se presenta como extensión del cálculo proposicional clásico, el sistema deductivo LT: lógica de las tautologías. En el sistema LT, se formalizan las nociones meta-lógicas de tautología, contradicción, satisfacible, refutable y contingencia. El sistema LT, es caracterizado con una semántica al estilo Kripke, y puede ser visto como una extensión del sistema de lógica modal S5.