Lógica: Cálculo Proposicional Clássico

Voltar para o Índice de Lógica Matemática

Índice

• O que é o Cálculo Proposicional Clássico
• Operadores e Tabelas de Verdade
• Fórmulas Contingentes, Contradições e Tautologias
• Implicação 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