Lógica/Cálculo Proposicional Clássico
< Lógica
Saltar para a navegação
Saltar para a pesquisa
Existem alterações a predefinições ou ficheiros a aguardar revisão.
A versão publicada foi verificada a 8 de junho de 2020.
Í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.