Lógica/Cálculo Proposicional Clássico: mudanças entre as edições
imported>Raylton P. Sousa Sem resumo de edição |
imported>He7d3r.bot (correção de afluentes) |
||
Linha 17: | Linha 17: | ||
{{versão em PDF|Cálculo_Proposicional_Clássico}} | {{versão em PDF|Cálculo_Proposicional_Clássico}} | ||
{{ | {{medalha|tipo=capítulo}} | ||
[[Categoria:Cálculo Proposicional Clássico|Cálculo Proposicional Clássico]] | [[Categoria:Cálculo Proposicional Clássico|Cálculo Proposicional Clássico]] |
Edição das 16h24min de 26 de dezembro de 2010
Predefinição:Estrela-topo Voltar para o Índice de Lógica
Í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