Lógica/Cálculo Proposicional Clássico
< Lógica
Índice
[editar | editar código-fonte]- 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.