Wikilivros:Livros/Lógica
|
Esta é a coleção de páginas associada ao wikilivro chamado "Lógica". Ela pode ser facilmente salva, renderizada eletronicamente ou encomendada como um livro impresso. Para informações gerais sobre as coleções do Wikilivros, veja Ajuda:Livros (dicas em geral). | ||||||||
| [ Sobre ] [ FAQ ] [ Feedback ] [ Ajuda ] [ Mudanças recentes ] | |||||||||
Lógica
[editar código-fonte]- Introdução
- Lógica Tradicional
- Princípios e as Proposições Categóricas
- O Silogismo
- Ontologia e Predicação
- Cálculo Proposicional Clássico
- O que é o Cálculo Proposicional Clássico
- Operadores e Tabelas Veritativas
- Resolução dos Exercícios
- Fórmulas Contingentes, Contradições e Tautologias
- Resolução dos Exercícios
- Consequência Semântica
- Funções de Verdade e Valorações
- Tablôs semânticos
- Respostas
- Dedução Natural - Parte I
- Resolução dos Exercícios
- Dedução Natural - Parte II
- Resolução dos Exercícios
- Axiomática
- Cálculo de Sequêntes
- Cálculo Quantificacional Clássico
- Introdução
- Constantes, Variáveis e Quantificadores
- Estruturas
- Tablôs semânticos no CQC
- Dedução Natural no CQC
- Resolução dos exercícios
- Identidade e Símbolos Funcionais
- Lógicas não-clássicas
- Introdução
- Lógica Modal
- Lógica temporal
- Lógicas trivalentes
- Logíca fuzzy
- Lógica Intuicionista
- Lógicas relevantes
- Lógicas lineares
- Lógicas paraconsistentes
- Apêndice
- Problema da Indução
- Paradoxos
- Notações Alternativas
- O homem mascarado e os limites de aplicabilidade do CQC
- Princípio da Explosão, Lei de Dun Scot, Prefixação e as propriedades antiintuitivas da implicação
- Lógicas paraconsistentes
- Desafios de lógica
- Bibliografia