Livro de matemática

Christian Q. Pinedo

ii

Fundamentos da Matemática

A minha esposa: Karyn Siebert A meus filhos: Milagros, André, Matheus, Nykolas e Kevyn.

iii

iv

Fundamentos da Matemática

Título do original Fundamentos da Matemática

Primeira Edição, janeiro de 2008

Direitos exclusivos para língua portuguesa: GEPEM UFT - CAMPUS DE ARAGUAÍNA

Pinedo. Christian Quintana, 1954 519.5 Fundamentos da Matemática/ Christian José Quintana Pinedo : Universidade Federal do Tocantins. Campus de Araguaína, Curso de Ciências Habilitação plena em Matemática, 2007. 250 p. il. CDD 519.5 ed. 297mm CDU I. Lógica matemática. Christian Q. Pinedo. II. Série. III. Título

Araguaína - TO - 2007

SUMÁRIO
Notações . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Prefácio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 LÓGICA MATEMÁTICA 1.1 EVOLUÇÃO DA LÓGICA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.1.1 1.1.2 1.2 1.2.1 1.2.2 1.2.3 1.2.4 1.3 1.3.1 1.3.2 1.3.3 1.3.4 1.3.5 1.3.6 1.3.7 1.3.8 1.4 Introdução. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Evolução da lógica. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Lógica Indutiva. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Lógica Dedutiva. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . O que a lógica não é. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . O que é a lógica matemática? . . . . . . . . . . . . . . . . . . . . . . . . . Noção de raciocínio. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Noção de verdade. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Enunciados abertos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Composição de proposições. . . . . . . . . . . . . . . . . . . . . . . . . . .