Lógica/Cálculo Proposicional Clássico

Índice

• O que é o Cálculo Proposicional Clássico
• Operadores e Tabelas Veritativas
• Fórmulas Contingentes, Contradições e Tautologias
• Consequência Semântica
• Funções de Verdade e Valorações
• Tablôs semânticos
• Dedução Natural - Parte I
• Dedução Natural - Parte II
• Axiomática
• Cálculo de Sequêntes

Este capítulo foi eleito pelos colaboradores como um dos melhores do Wikilivros. Para mais informações, consulte a página de votações.