CAPTULO 1

Introduo ao Raciocnio Lgico

A palavra lgica vem do grego logos e seu significado razo. A lgica
aplicada na filosofia, matemtica, informtica e lingustica. Antes de
explicarmos o que raciocnio lgico, precisamos dizer o que uma
proposio: uma proposio o conjunto de palavras ou smbolos que
representa um pensamento, no podem ser sentenas declarativas fechadas,
interrogativas, exclamaes ou frases no imperativo, uma proposio deve
transmitir um pensamento que pode ser classificado em verdadeiro ou falso e
apenas um destes. Por exemplo, a sentena
Todo homem mortal.
uma proposio e verdadeira. Agora vejamos um exemplo de
sentena que no uma proposio,
Amanh voc ir aula?
uma sentena interrogativa.
Princpios do raciocnio lgico:
1) Princpio da identidade: Todo objeto idntico a si mesmo .
2) Princpio da no-contradio: uma proposio no pode assumir valor lgico
falso e verdadeiro simultaneamente.
3) Princpio do terceiro excludo: dadas duas proposies contraditrias, uma
delas verdadeira.

CAPTULO 2

Introduo histria da matemtica

Sistemas de numerao
Os mais antigos sistemas de numerao conhecidos so dos egpcios e
dos babilnios, aproximadamente 3500 a.C.
Os egpcios usavam um sistema de agrupamento de smbolos com base
10. A barra vertical valia 1, o smbolo
valia 10000 e
forma:

valia 10,

valia 100,

valia 1000,

valia 100000. Por exemplo, o nmero 13124 era escrito da

..

Os babilnios tambm usavam um sistema posicional, mas alm da

base 10, eles utilizavam tambm a base 60. O smbolo
valia 100 e

valia 1,

valia 10,

valia 1000. No sistema sexagesimal, os nmeros de 1 a 59

eram escrito por agrupamentos e os maiores em grupos com base 60, por
exemplo, o nmero 123 era escrito como

= (2

60) + 3.

O nosso sistema de numerao o indo-arbico, um sistema

posicional de base 10, ele preciso, e sem ambigidades, pois utilizamos o
smbolo 0 para significar a falta de uma casa .

Principais matemticos e suas descobertas

De 3000 a 1600 a.C. datam os textos mais antigos de matemtica
conhecidos at hoje. O papiro Golonishev ou de Moscou e o papiro de Rhind
so as principais obras matemtica egpcias desse perodo. A lgebra e a
geometria comeam a ser desenvolvidas.

No perodo de 625 at 546 a.C., para alguns historiadores da matemtica,

Tales de Mileto foi o percursor do mtodo dedutivo em geometria. Pouco se
sabe sobre sua vida, pois no h obras sua que sobreviveram ao tempo. Entre
o perodo 580 a 500 a.C. temos o importante Pitgoras de Samos, conhecido
principalmente pelo famoso teorema que leva seu nome, fundou a Escola
Pitagrica que era dedica ao estudo da matemtica, filosofia e cincias.
Aproximadamente 300 a.C., Euclides de Alexandria escreve Os Elementos
uma das mais importantes obras da matemtica antiga, consiste de um tratado
de 13 livros e aborda as reas de geometria, teoria dos nmeros e lgebra
elementar.
Entre aproximadamente 287 e 212 a.C. viveu Arquimedes de Siracusa,
escreveu vrios tratados sobre geometria plana e espacial, fsica,
considerado como um dos precursores do Clculo, usando o mtodo da
exausto calculou a rea do crculo obtendo uma aproximao para o nmero
. Erasttenes viveu entre 276 a 194 a.C. aproximadamente, criou o Crivo

de Erasttenes, um algoritmo que servia para determinar nmeros primos,

uma de suas faanhas mais importantes foi a tentativa de medir a
circunferncia da Terra e a diferena com a medida atual de apenas 320
quilmetros. Entre os anos 300 e 600 d.C. o povo hindu cria o sistema decimal
que usado hoje. Em 825 d.C. temos Mohammed ibu-Musa Al-Khowrizm, um
matemtico e astrnomo persa, escreveu o livro Al-jabr wa'l muqabalah que
deu origem a palavra lgebra.
Entre 1545 e 1642 temos: Cardano publica o mtodo para resolver
equaes do 3 grau, Napier inventa os logaritmos, Descartes cria a geometria
analtica, Blaise Pascal cria a primeira mquina de calcular. Fermat enuncia,
sem demonstrar, um famoso teorema que hoje conhecido como O ltimo
teorema de Fermat, e que vrios matemticos quebraram a cabea para
demonstrar e no conseguiram. O ltimo teorema de Fermat s foi
demonstrado em 1994 por Andrew Wiles. Em 1684 aproximadamente, Newton
e Leibniz criam, de forma independente, o Clculo Infinitesimal. Entre 1746 e
1985 temos: Johan Lambert prova que

um nmero irracional, Leonhard

Euler usa o smbolo i para raz quadrada de -1, Cantor cria a Teoria dos
Conjuntos.