Lógica

Índice

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
Resolução dos Exercícios
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ógicas complementares
Lógica Modal
Lógica temporal
Lógicas alternativas
Lógicas trivalentes
Lógica fuzzy
Lógica Intuicionista
Lógicas Relevantes
Lógicas lineares
Lógicas paraconsistentes
Apêndice
Geral
Problema da Indução
Paradoxos
Notações Alternativas
Lógica Digital
CPC
CQC
O homem mascarado e os limites de aplicabilidade do CQC
Lógicas não-classicas
Propriedades antiintuitivas da implicação
Lógicas paraconsistentes
Desafios
Desafios de lógica
Bibliografia
Créditos
Este artigo é emitido por Wikilivros. O texto é licenciado sob Creative Commons Attribution-Share Alike 4.0. Termos adicionais podem ser aplicados aos arquivos de mídia.