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