Wikilivros:Livros/Lógica

Origem: Wikilivros, livros abertos por um mundo aberto.
Saltar para a navegação Saltar para a pesquisa
Lógica
Por favor escolha uma imagem apropriada para este livro.
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