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 das tautologias. ing.cienc. [online]. 2012, vol.8, n.15, pp.97-119. ISSN 1794-9165.
Apresenta-se como extensão do cálculo propocicional clássico, o sistema dedutivo LT: lógica das tautologias. No sistema LT, formalizam-se as noções meta-lógicas de tautologia, contradição, satisfatível, refutável e contingência. O sistema LT, é caraterizado com uma semántica ao estilo Kripke, e pode ser visto como uma extensão do sistema de lógica modal S5.
Palavras-chave : Tautologia; contradição; contingência; lógical modal; mundos possíveis.