Lógica matemática

INTRODUÇÃO
À
LÓGICA MATEMÁTICA

Prof. Antonio A. Pinho

Rio de Janeiro
Julho de 1999

1

INTRODUÇÃO À LÓGICA MATEMÁTICA
Prof. Antonio de Almeida Pinho

ÍNDICE
I.

II.

III.

IV.

V.

INTRODUÇÃO
1. Lógica Formal.
2. Dedução e Indução.
3. Lógica Clássica e Lógica Simbólica.
4. Proposições e Predicados.
5. Princípios da Lógica.
6. Raciocínio Lógico.

2
3
3
4
5
6

CÁLCULO PROPOSICIONAL
1. Proposições Simples.
2. Proposições Compostas. Conectivos.
3. Ordem de Precedência das Operações. Fórmulas.
4. Construção de Tabelas Verdade.
5. Eqüivalência Lógica.
6. Inferência Lógica.

8
9
13
16
18
21

DEDUÇÃO NO CÁLCULO PROPOSICIONAL
1. Argumentos.
2. Dedução.
3. Eqüivalências e Inferências Básicas.
4. Simplificação da Conclusão.
5. Validade e Invalidade.

24
27
29
31
36

CÁLCULO DE PREDICADOS
1. Predicados e Variáveis.
2. Operações Lógicas.
3. Quantificadores.
4. Silogismos Categóricos.
5. Diagramas de Venn.

40
42
44
50
53

DEDUÇÃO NO CÁLCULO DE PREDICADOS
1. Eliminação e Inserção de Quantificadores.
2. Eqüivalências e Inferências.
3. Dedução.
4. Invalidade.
5. Subargumentos.

57
63
69
72
74

Bibliografia

81
Direitos Reservados
Registro MEC 191240

INTRODUÇÃO À LÓGICA MATEMÁTICA
Prof. Antonio de Almeida Pinho

I.

2

INTRODUÇÃO

1. Lógica Formal.
Embora existam muitas definições para o campo de estudo da lógica, essas definições não diferem essencialmente umas das outras; há um certo consenso entre os autores de que a Lógica tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigação da verdade.
Embora tenham sido encontrados na Índia, textos sobre esse assunto, escritos em épocas remotas, é tradicionalmente aceito que a Lógica tenha nascido na Grécia Antiga, por volta do século IV antes de Cristo. Os primeiros trabalhos sobre Lógica são devidos a Parmênides, Zenão, e ao grupo conhecido como