Serviços Personalizados
Journal
Artigo
Indicadores
- Citado por SciELO
- Acessos
Links relacionados
- Citado por Google
- Similares em SciELO
- Similares em Google
Compartilhar
Ingeniería y Ciencia
versão impressa ISSN 1794-9165
Resumo
SIERRA-ARISTIZABAL, Manuel. Lógica de las tautologías. ing.cienc. [online]. 2012, vol.8, n.15, pp.97-119. ISSN 1794-9165.
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.
Palavras-chave : Tautología; contradicción; contingencia; lógica modal; mundos posibles.