Lógica de las tautologías.
Archivos
Fecha
2012-01-01
Título de la revista
ISSN de la revista
Título del volumen
Editor
Fondo Editorial Universidad EAFIT
Resumen
Se presenta como extensión del cálculo proposicional clásico, el sistema deductivo LT: lógica de las tautologías.
Descripción
Palabras clave
Tautología, contradicción, contingencia, lógica modal, mundos posibles