modelos de capa

ˆ
Princ´pios de Inferencia ı Dedutiva e Indutiva
´
´
Nocoes de Logica e Metodos de Prova
¸˜

Teoria, aplicacoes e exerc´cios resolvidos
¸˜
ı

Adriano Azevedo Filho

CreateSpace
2010

Princ´pios de Inferˆncia Dedutiva e Indutiva: ı e
Noc˜es de L´gica e M´todos de Prova
¸o
o e c 2010 por Adriano J. B. V. Azevedo Filho
Todos os direitos reservados.

ISBN 978-1-4421-5143-7
1a Edic˜o - 2a tiragem (com revis˜o)
¸a
a
´
E proibida a reproduc˜o total ou parcial
¸a
em qualquer meio ou forma.

Dados Internacionais de Catalogação na Publicação (CIP)
Azevedo Filho, Adriano J. B. V.
Princípios de Inferência Dedutiva e Indutiva:
Noções de Lógica e Métodos de Prova /
Adriano Azevedo Filho – 1a ed. – Scotts Valley:
CreateSpace, 2010. xii, 137 f. : il.; 21,6cm
ISBN 978-1-4421-5143-7

1.Lógica 2. Métodos de prova 3. Inferência
I. Azevedo Filho, Adriano J. B. V. II. Título.
CDD-160

e-mail do autor: [e-mail] site do livro: www.LaplaceBooks.com/inferencia

Sum´ rio a Lista de Tabelas

ix

Lista de Figuras

x xi ´
Prefacio
1

1.1 Introduc˜o . . . . . . . . . . . . . .
¸a
1.2 Inferˆncia informal × formal . . e 1.3 Inferˆncia informal: dificuldades e 1.4 Consideracoes finais . . . . . . . .
¸˜
Exerc´ ıcios . . . . . . . . . . . . . . . . . .
Referˆncias . . . . . . . . . . . . . . . . . . e 2

.
.
.
.
.
.

1
1
2
7
18
19
20

.
.
.
.
.
.

23
23
25
29
32
47
48

ˆ
´
Inferencia: Nocoes Basicas
¸˜

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

´
Logica e Silogismos: bases para a deducao
¸˜

2.1
2.2
2.3
2.4
2.5
2.6

Introduc˜o . . . . . . . . . . . . . . . . . . . .
¸a
Conceitos b´sicos: declaracoes e vari´veis a ¸˜ a Proposicoes . . . . . . . . . . . . . . . . . . . .
¸˜
Operacoes l´gicas com proposicoes . . .