Lógica/Cálculo Proposicional Clássico
Predefinição:Estrela-topo Voltar para o Índice de Lógica
Índice
- O que é o Cálculo Proposicional Clássico
- Operadores e Tabelas de Verdade
- 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