DEMOSNTRAES MATEMTICAS E ASPECTOS HISTRICOS DA LGICA

MATEMTICA: SIGNIFICADOS E RELEVNCIAS

Nicanor Felix dos Santos TCC, Matemtica, Fecilcam, npastor@zipmail.com.br
Veridiana Rezende
1
(OR), Fecilcam, rezendeveridiana@gmail.com

1. Introduo

Este trabalho consiste dos resultados parciais de uma pesquisa que se encontra em
andamento referente ao Trabalho de Concluso de Curso TCC do primeiro autor sobre
orientao da autora supracitada. O objetivo principal da pesquisa (para o TCC) que
estamos desenvolvendo estudar dois tipos distintos da construo dos Nmeros Reais
existentes na literatura, a saber, a construo dos Reais elaborada por Cantor e por
Dedekind. Pretendemos fazer uma breve pesquisa na Histria da Matemtica de como
aconteceram estes dois modos da construo dos nmeros reais.
Porm, como j espervamos, no decorrer deste estudo surgiram diversos conceitos
e resultados matemticos tais como teoremas, corolrios, proposies, postulados, axiomas,
diferentes tipos de demonstraes para os resultados matemticos, entre outros conceitos.
Com a inteno de melhor compreender cada um destes conceitos, a importncia
das demonstraes em Matemtica, da Lgica Matemtica, bem como investigar seus
aspectos histricos realizamos uma pesquisa que apresentada neste trabalho.

2. Aspectos Histricos da Lgica Matemtica, a Importncia e Si gnificados das
Demonstraes Matemticas

O conhecimento matemtico, principalmente o numrico, importante para o avano
de praticamente todas as reas do saber humano, alm de contribuir para a formao de um
cidado cnscio, responsvel e crtico, visto que A Matemtica faz muito bem a passagem
da realidade para a abstrao do conhecimento, alm de fornecer instrumentos que
possibilitam interpretar um acontecimento de maneira sistematizada e quantificada (SOUZA;
SPINELLI, 2001, p.6). Por exemplo, a partir do momento em que o homem aprendeu a
contar, pde controlar a produo de cereais, elaborar calendrios, quantificar seres
inanimados e vivos; e, de posse dos processos de medies tornou se capaz de
compreender as formas geomtricas presentes na natureza, bem como desenvolver
processos de comparaes (medies) entre grandezas, possibilitando o a descobrir
propriedades intrnsecas da constituio do Universo.

Num nvel mais avanado, o saber matemtico proporciona meios para se
compreender a dinmica do mundo subatmico, atmico, molecular e planetrio, por meio
das leis que regem os movimentos das partculas, molculas e dos astros; decifrar os
arcanos do desenvolvimento e evoluo dos fenmenos naturais, bem como auxiliar na
produo de equipamentos para o aprimoramento da pesquisa bsica; propiciar tomadas de
decises de forma estratgica e eficiente; automatizar os meios de produo em sries;
desenvolver tecnologia de ponta; e, projetar sistemas dotados de inteligncia artificial. No
entanto, evidente que para esse conhecimento ser aceito pela comunidade cientfica ele
necessita ser demonstrado, fundamentado num sistema lgico e estruturado, sob a tica da
prpria natureza matemtica. Cabe ressaltar, que demonstrar ou fazer uma demonstrao
em Matemtica significa utilizar-se de uma Seqncia de argumentos lgicos que partem
de fatos conhecidos e provam que outro fato verdadeiro (IMENES; LELLIS, 2007, p. 301).
Ratificamos que as demonstraes matemticas surgem devido a necessidade dos
matemticos em tornarem os enunciados matemticos verdadeiros e convincentes.
notvel que o estudo das demonstraes em Matemtica requer um domnio pleno dos
raciocnios lgicos, ou seja, um conhecimento aprimorado das premissas da Lgica que
so usados para demonstrar e/ou validar um conceito matemtico.
Notamos em textos da literatura, como por exemplo, em Silva (2002) e Keller e
Bastos (2005) referente s demonstraes matemticas e/ou Lgica, que as provas da
validade de resultados matemticos se fundamentam nas premissas da Lgica Matemtica,
pois esta a cincia que perscruta as leis que concatenam o raciocnio lgico matemtico
e envida o mximo para explicar de forma consistente os resultados matemticos. Por outro
lado, a Lgica Simblica (Matemtica) tambm busca a estatuir uma simbologia e/ou uma
linguagem universal e peculiar inerentes natureza do fazer matemtico. Pois,

[...] sendo preocupao da lgica o conceito como entidade abstrata,
universal e unvoca, por um lado, e a linguagem natural tida como uma fonte
de equvocos, na medida em que lnguas diferentes possuem termos
diferentes para express los, e, mesmo, uma mesma lngua se utiliza de
vrios termos para expressar uma idia ou conceito, ou ainda, um mesmo
termo com sentidos conceituais diferentes, a lgica matemtica nasce da
tentativa de elaborar uma linguagem cientfica universal que elimine os
erros ou falcias que podem ocorrer a partir da linguagem natural na
construo do discurso cientfico (KELLER; BASTOS, 2005, p.111).

Diante disso, salientamos que a Lgica possibilita conhecer as formas do raciocnio
matemtico abstrato, visto que este [...] de fundamental importncia para aprender
Matemtica e para empregar resultados matemticos em aplicaes nas mais diversas
reas cientficas e tecnolgicas (PALIS; MALTA, 1998, p.1).

A Lgica tem sua origem em tempos remotos quando o conhecimento matemtico na
antiguidade ainda era incipiente desprovido de qualquer rigor lgico. Em outras palavras,
quando as conjecturas matemticas no eram demonstradas mediante um sistema lgico
bem fundamentado com as premissas da Lgica Simblica. possvel detectar trs formas
de lgica: a forma clssi ca antiga que predominou entre os sculos IV a.C at o sculo I
d.C, destacando trs escolas: a dialtica sofstica, a lgica aristotlica e a lgica megrico
estica. Para esta forma, as proposies lgicas so estabelecidas por meio de palavras da
linguagem comum e sua base o pensamento como aquele encontrado na linguagem
natural, o qual possibilita as leis e as regras formais; forma escol stica ou medieval
desenvolvida entre os sculos XI e XV; e, a forma matemtica que se inicia no sculo
XVII com o intuito de estatuir uma simbologia lingustica especfica e sem contradies, de
modo a permitir a elaborao de um sistema que domine as formas corretas do raciocnio e
que seja aplicvel a todos os domnios do pensamento (KELLER; BASTOS, 2005).
Convm ressaltarmos que a forma matemtica se desenvolveu devido ao avano
cientfico acelerado do sculo XVII, no qual os pesquisadores passaram a investigar campos
mais complexos do conhecimento matemtico. Isso ocorreu tambm porque o
desenvolvimento de muitas teorias da construo de novos saberes matemticos exigiam
uma elucidao matemtica mais aprimorada, tais como as relacionadas ao clculo que
necessitava de uma fundamentao lgica, alm de raciocnios heursticos geomtricos
para explicar diversos resultados com aspectos paradoxais (DOMINGUES, 2002, p. 62).
A fundamentao da Matemtica embora seja uma tarefa complexa, estabelecida
juntamente com a prpria evoluo da matemtica, pois convm notar que todo esse
desenvolvimento mais recente da Matemtica, sobretudo nos sculos XVII e XVIII, se deu
graas atitude dos matemticos, que no se deixaram vencer pelas dificuldades naturais
da falta de uma teoria dos fundamentos (VILA, 2006, p.54).
A fundamentao de muitos conceitos matemticos s ocorreu recentemente, pois
as premissas da lgica no mundo cientfico antes do sc. XVII, ou at mesmo nos limiares
do sculo XIX no eram suficiente para explicar a complexidade e a necessidade de rigor
que as teorias matemticas exigiam.
Mediante a necessidade do rigor que a elaborao e construo dos conceitos mais
abstratos da Matemtica passaram a demandar, muitos matemticos procuraram estudar as
demonstraes matemticas sob a tica da Lgica Simblica, uma vez que

[...] no final do sculo XIX, a demonstrao em matemtica tinha um carter
grandemente material. A demonstrao de uma proposio era uma
atividade intelectual que visava nos convencer e a convencer os outros,

racional, mas tambm psicologicamente, da veracidade dessa proposio. A
partir de algum momento, porm, tornou se necessrio submeter a noo
de demonstrao a uma anlise mais profunda, com vistas a reduzir o
recurso ao uso da evidncia intuitiva (DOMINGUES, 2002, p.62).

possvel afirmarmos que aps o seu extenso desenvolvimento a Lgica pode ser
considerada como uma cincia relevante, que por meio da aplicao dos seus ditames a
outras cincias possibilita aos estudiosos desvendar saberes obscuros e a se aventurar do
saber Universal, pois [...] a lgica a disciplina que trata das formas de pensamento, da
linguagem descritiva do pensamento, das leis de argumentao e raciocnios corretos, dos
mtodos e dos princpios que regem o pensamento humano (KELLER; BASTOS, 2005,
p.15).
Do ponto de vista da Lgica, as demonstraes matemticas apresentam os
seguintes aspectos:

[...] lgico epistemolgico que as mostra como objetos lgicos ideais,
rvores ou seqncias ordenadas no espao lgico, segundo relaes de
dependncia, ou conseqncia, lgica. [...] retrico o aspecto das
demonstraes, segundo o qual, elas aparecem como portadoras de fora
coercitiva de aquiescncia s teses demonstradas. Demonstraes podem
ter tambm uma funo heurstica. Isto , elas podem ser indutoras de
descoberta matemtica (SILVA, 2002, p. 69).

Cabe ressaltar que

[...] uma demonstrao no uma demonstrao propriamente dita, do
aspecto lgico epistemolgico; se no for logicamente impecvel, ela
pode desempenhar sua funo retrica, mesmo se for logicamente falha,
mas no tem certamente, ou assim, parece, nenhum papel heurstico, a
menos que seja logicamente imperfeita (SILVA, 2002, p. 70)

Desta forma, no podemos exigir que uma mesma demonstrao tenha todas essas
caractersticas. No obstante, possvel conciliar os trs aspectos acima descritos, visto
que

[...] uma demonstrao correta do ponto de vista lgico pode constituir se
em desafio epistemolgico se sua fora racionalmente coercitiva puder
induzir, talvez como uma reao de insubmisso do sujeito, a uma revolta
da imaginao subjetiva, que se disporia a encontrar variantes interessantes
das noes envolvidas nessa demonstrao que pudesse produzir contra
exemplos da tese demonstrada (SILVA, 2002, p. 70).

Ratificamos que o aspecto lgico das demonstraes matemticas podem ser
investigadas matematicamente, pois [...] podemos considerar demonstraes, para efeito

de uma teoria matemtica, como seqncias, ou rvores, de formas declarativas (formas de
enunciados) relacionadas entre si por conseqncia lgica (SILVA, 2002, p. 74).
Contudo os aspectos heursticos e retricos no podem ser tratados
matematicamente, visto que [...] o aspecto heurstico das demonstraes no , a rigor, um
aspecto das demonstraes, se entendermos por isso algo intrnseco a elas. E, que as
demonstraes [...] s desempenha sua funo heurstica se move o sujeito a reagir a ela,
aceitando seu desafio (SILVA, 2002, p. 74). Por outro lado, o aspecto retrico ocorre quando
uma demonstrao convence algum da sua validade (SILVA, 2002, p.75).
Evidenciamos que as demonstraes matemticas tm por base o sistema
axiomtico que para vila (2006) deve

[...] ser consistente, quer dizer, os postulados no podem contradizer uns
aos outros, por si mesmos ou por suas conseqncias; deve ser completo,
no sentido de serem suficientes para provar verdadeiras ou falsas todas as
proposies formuladas no contexto da teoria em questo; e, por fim, cada
postulado dever ser independente dos demais, no sentido de que no
conseqncia deles, sob pena de ser suprfluo (p.70).

Ao estudarmos qualquer ramo da Matemtica nos deparamos com objetos
matemticos
1
, smbolos e conceitos tais como axiomas, postulados, proposies, funes
proposicionais, teoremas, corolrios, lema, diferentes tipos de demonstraes e enunciados
de resultados matemticos, entre outros. Com a inteno de esclarecer, exemplificar e
detalhar estes conceitos discorreremos a seguir cada um deles.

2.1. Definies e Exempl ificaes de Conceitos Util izados nas Demonstraes
Matemticas

2.1.1. Proposies e Funes Proposicionais

Segundo Domingues (2002) as noes de verdadeiro e falso que os matemticos
usam para validar um resultado matemtico esto associadas a proposies. Assim,
podemos definir proposio como sentenas declarativas s quais se pode atribuir um valor
lgico verdadeiro ou falso, exclusivamente (DOMINGUES, 2003, p.17).
Exemplo: O nmero 3 irracional. Essa sentena uma proposio, pois
podemos lhe atribuir um valor lgico. Neste caso, a proposio verdadeira.

1
Um objeto matemtico um nmero, uma expresso algbrica, uma funo, uma figura geomtrica,
etc. (LA ROQUE & MALTA, 1998, p.2).

As sentenas declarativas sero funes proposicionais se em suas afirmaes
conter variveis (DOMINGUES, 2003, p.17). Por exemplo: Seja x e

R. Ento, podemos ter a
seguinte funo proposicional: x um nmero real maior que 3.
De fato, essa sentena uma funo proposicional, pois no lhe podemos atribuir
um valor lgico especfico, j que ela est relacionada com uma varivel real.
Em conformidade com Palis e Malta (1998), podemos dizer que existem diversas
formas proposicionais. Entre elas citamos: proposies do tipo se A, ento B; proposies
do forma A se, e somente se, B.
No caso das proposies se A, ento B, a proposio (frase) A denominada
hiptese e B de tese. Sentenas declarativas como essas so verdadeiras quando for
possvel tanto a hiptese quanto a tese serem verificadas em todas as situaes a que se
destinam, sendo falsa se a hiptese se verifica e a tese no, ou seja, uma proposio deste
tipo falsa quando h um ente
2
matemtico que satisfaz a hiptese A, mas no a tese B.
Neste caso, necessrio exibir apenas um contra exemplo que garante a falsidade da
proposio. No entanto, um objeto matemtico que satisfaa tanto a hiptese quanto a tese
apenas um exemplo para a proposio supracitada (PALIS; MALTA, (1998), KELLER;
BASTOS (2005).
mister destacarmos enquanto um s contra exemplo permite concluir que um
enunciado falso, no basta exibir exemplos para mostrar que uma proposio seja
verdadeira (PALIS; MALTA, 1998, p.3). Vejamos um exemplo:
Exemplo: Se n um inteiro positivo, ento
41
2
+ + n n
um nmero primo.
Demonstrao: fcil verificar que essa proposio verdadeira para n =1, n =2,
n =3, ..., at n =39. Porm, para n =40, obtemos:
41 41 ) 1 40 ( 41 41 41 40 41 ) 1 40 ( 40 41 40 40
2
= + = + = + + = + +

que nmero primo e portanto a proposio falsa.
Em relao s proposies da forma A se, e somente se, B so verdadeiras quando
Se A, ento B e se B, ento A so ambas verdadeiras. Caso contrrio falsa (PALIS;
MALTA, 1998, p.2). Em outras palavras, sentenas lgicas como essas so verdadeira se A
e B so ao mesmo tempo condies suficientes e necessrias uma da outra.





2
Nesta pesquisa os termos entes, elementos e objetos matemticos tm o mesmo significado.

2.1.2. Axiomas, Postulados e Teoremas

Em conformidade com vila (2006) ratificamos que postulado e axiomas so
proposies evidentes por si s. Em outras palavras, podemos dizer que so conceitos
primitivos e/ou intuitivos aceitos sem necessidade de prova.
De acordo com vila (2006) podemos dizer que teoremas so proposies
verdadeiras da forma P implica Q, sendo P e Q tambm so proposies.
Exemplo: Sejam P e Q as seguintes proposies:
P: n um nmero que possui somente dois divisores.
Q: n um nmero primo.
Essas proposies formam um teorema, cujo enunciado pode ser: Todo nmero n
que possui dois divisores primo.
Convm ressaltarmos que num teorema escrito na forma P

Q , P a condio
suficiente de Q, ou seja, basta a hiptese P ter valor lgico verdadeiro para que a tese Q
tambm tenha. Por outro lado, a tese Q condio necessria da hiptese P; quer dizer se
P for verdadeiro, a tese Q dever ser necessariamente verdadeira. Quando a recproca de
um teorema for verdadeira, as proposies P e Q passam a serem condies necessrias e
suficientes para a validade da outra (VILA, 2006, p.6).
Exemplo: A equivalncia x par
2
x par, sendo x um nmero inteiro, pode
ser formulada da seguinte forma: uma condio necessria e suficiente para que
2
x seja
par que x seja par (DOMINGUES, 2003, p.17).

2.1.3. Corolri o e Lema

De acordo com vila (2006) ratificamos que corolrio um teorema que
conseqncia imediata de outro, por isso, comum encontrarmos aps um teorema um ou
mais corolrios.
O lema um teorema que pretende subsidiar ou preparar a demonstrao de outro
teorema, e por isso, muitas vezes antes do enunciado de um teorema nos deparamos com
um lema.

3. Princpi os Clssi cos da Lgica Matemti ca



3.1. Princpio de No Contradio

De acordo com Keller e Bastos (2005), destacamos que esse princpio aplicado
Lgica Matemtica nos diz que uma proposio P(n) no pode ser verdadeira ou falsa
simultaneamente.

3.1.1. Princpio do Terceiro Termo Excludo

Devido a esses princpios da Lgica, podemos averiguar que esta essencialmente
binria, ou seja, que uma proposio P(n) s pode assumir dois valores lgicos: verdadeiro
ou falso (KELLER e BASTOS, 2005).
Para Keller e Bastos (2005), uma das falibilidade da lgica formal que seu
raciocnio dedutivo opera com no mximo trs proposies de cada vez, [...]. Por outro lado,
afirmam que a lgica matemtica permiti usar n... proposies em seus clculos (p.113).
Sendo assim, o raciocnio dedutivo utilizado na Matemtica nos possibilita lidarmos com
interaes sucessivas, raciocinando, por exemplo, fazendo uso do mtodo de induo
matemtica.

4. Modalidades de Demonstraes Matemticas

4.1. Demonstrao Direta e por mei o de Argumentos Lgicos

Demonstrao direta aquela pelo qual se verifica a tese para todos os casos em
que a hiptese de uma proposio P(n) seja verdadeira. Quando se verifica a veracidade de
uma tese para todas as situaes em que se validam a hiptese, por meio de argumentos
encadeados logicamente, temos a chamada demonstrao por argumentos lgicos (PALIS;
MALTA, 1998, p.5).

4.2. Demonstrao por Induo

A demonstrao por induo um recurso muito utilizado para demonstrar uma srie
de proposies e teoremas. Ela consiste em verificar, primeiramente, se uma determinada
proposio P(n) vlida para n = 1, onde n e N, em seguida, para n = k e depois averigu
la para n = k +1. Se essas seqncias de raciocnios se verificar, ento, a veracidade da

proposio P(n) fica comprovada. O princpio da induo definido (VILA, 2006, p.13)
como:
Princpio de induo matemtica. Seja r um nmero natural, e P(n) uma
propriedade referente ao nmero natural r n > . Suponhamos que:
a) P(r) verdadeira;
b) P (k) P(k + 1) para todo nmero natural r k > .
Ento P(n) verdadeira, qualquer que seja r n > .
Em conformidade com vila (2006) podemos dizer que esse princpio conhecido
como a propriedade fundamental dos nmeros naturais, e, que ele, s possvel de ser
aplicado, se for provado as duas proposies P(r) e P (k) P(k + 1) separadamente,
r k > .
Exemplo: Prove por induo que 1+3 +5 +7 +... + (2n 1) =n
2
, n =1,2,3, ...
Demonstrao: Temos que:
Para n =1 1 =1
2
=1.
Para n =k 1 +3 +5 +7 +... +(2k 1) =k
2
(I).
Assim, se adicionarmos k +1 em ambos os membros de (I), obtemos:
1 +3 +5 +7 +... +(2k 1) +k +1 =k
2
+k +1 (II).
Observe que o lado direito da igualdade (II) igual a
2
) 1 ( + k , portanto conclumos
que se P(k) verdadeira, ento P(K+1) tambm o , ou seja, P(k) P(k + 1) para todo
nmero natural r k > .

4.3. Demonstrao por Reduo ao Absurdo

Esta uma modalidade de prova matemtica que a partir da negao da tese de um
teorema, chega se a uma contradio das conjecturas explcitas na hiptese deste. De
acordo com (VILA, 2006, p.8) se quisermos mostrar que A B, necessrio comear
supondo A verdadeira e B falsa, sendo que B denominada de hiptese de reduo ao
absurdo, pois uma suposio temporria, at que se segue a uma contradio ou um
absurdo. Se assim for, rejeita se a hiptese do raciocnio por absurdo, concluindo que B
verdadeira.
Exemplo: Demonstre que se m
2
mpar, ento m tambm mpar (m nmero
inteiro).
Demonstrao: Inicialmente, comeamos negando a tese. Suponhamos por
absurdo que m seja par. Assim, podemos escrever:
m =2t, onde t nmero inteiro.

Logo, m
2
=(2t)
2
, ou seja, m
2
=4t
2
=2 . (2t
2
) tambm seria par, o que um absurdo,
pois supomos que m par. Portanto, conclumos que m um nmero mpar.

4.4. Demonstrao de Existncia

Dentre os teoremas da Matemtica comum nos deparamos com os chamados
teoremas de existncia, cuja demonstrao fica estabelecida se conseguirmos exibir um
elemento ou ente matemtico que satisfaa as condies requeridas por ele.
Exemplo: Mostre que dados dois nmeros racionais, a e b, com a <b, existir um
nmero irracional tal que a < <b.
Demonstrao: Note que o elemento matemtico
2
a b
a

+ = (I) satisfaz as
condies requeridas. Salientamos primeiro que, pelo modo como o definimos, o nmero
maior que a e menor que b. De (I) obtemos:
a
a b

2 .
Desta forma, se fosse racional, o segundo membro da ltima igualdade tambm
seria um nmero racional e teramos o seguinte absurdo: 2 racional. Assim, conclumos
que irracional.

4.5. Demonstrao por Contra Exempl o

uma forma de demonstrao utilizada em Matemtica, cujo intuito provar uma
conjectura, se possvel, explicitando um elemento matemtico que faz com que ela no se
verifique.
Exemplo: Considere a proposio: Se a um divisor de b +c, ento a um divisor
de b e c.
Demonstrao: evidente que 6 divisor de 3 + 9. Porm, no divisor de
nenhuma das parcelas da adio 3 +9.

4.6. Demonstrao por Arti fci o

So usadas quando necessitamos de algum artifcio matemtico para validar um
resultado matemtico. Essa modalidade de demonstrao muita usada para demonstrar
certos teoremas envolvendo limites, sries e seqncias na disciplina de Clculo e Anlise

Matemtica, identidade trigonomtricas, etc. Esse tipo de demonstrao exige uma boa
experincia matemtica e muita persistncia, pois nem sempre conseguimos ver qual
artifcio nos possibilita argumentar e convencer logicamente sobre o que nos propomos
mostrar.

4.7. Demonstrao Usando a Geometria

Demonstramos geometricamente um resultado matemtico, quando fazemos uso de
figuras e/ou argumentos geomtricos para provar um teorema. Esse tipo de demonstrao
utilizado, por exemplo, para provar que (a +b)
2
=a
2
+2ab +b
2
;
o teorema de Pitgoras, a
frmula de Bhaskara, a existncia de nmeros irracionais, entre outros conceitos
matemticos.
Tambm usado para elucidar conceitos mais complexos e abstratos, tais como as
propores num retngulo ureo (VILA, 2006, p. 49).

5. Consideraes Finais

Esta pesquisa sobre demonstraes matemticas, tem nos possibilitado
compreender como estas so estudadas sob o ponto de vista da Lgica, bem como
aprimorar nosso saber sobre objetos matemticos inerentes ao desenvolvimento das teorias
que elucidam e tornam consistentes os conceitos abstratos da Matemtica.
Observamos que h diversos tipos de resultados matemticos, vrias maneiras de
enunciar os teoremas, bem como diversas formas de se realizar as provas desses
resultados. A forma a ser utilizada depender dos entes matemticos que se deseja validar.
Desta forma, cabe ao matemtico e os estudantes das cincias exatas perscrutar como
realizar uma demonstrao de modo convincente, lgico e heurstico.
Assim, ratificamos que esse estudo nos permitir analisar a natureza da Matemtica,
por meio de ditames inerentes a construo do saber matemtico, indispensvel para a
evoluo e concatenao das cincias exatas, engenharias e suas tecnologias.

6. Referncias

VILA, Geraldo. Anlise Matemtica para licenci atura. 3
a
edio revista e ampliada, 1
a

reimpresso (2008), Editora Edgard Blcher, So Paulo SP, 2006.

DOMINGUES, Hygino H.; IEZZI. A Demonstrao ao Longo dos Scul os. Bolema, Ano
15, n 18, pp. 55 a 67, 2002.


DOMINGUES, Hygino H.; IEZZI, Gelson. lgebra Moderna. 4
a
edio reformulada, Atual
Editora, So Paulo - SP, 2003.

IMENES, Luiz Mrcio; LELLIS, Marcelo Cestari. Matemtica para todos. 2 Edio ,Editora
Scipione, So Paulo SP, 2007.

KELLER, Vicente; BASTOS, Cleverson L. Aprendendo Lgica. 14
a
edio, Editora Vozes,
Petrpolis RJ , 2005.

PASQUINI, Regina Clia Guapo. Um Tratamento para os Nmeros Reais via Medio de
Segmentos: uma proposta, uma investigao. 2007 (Doutorado em Educao
Matemtica), Instituto de Geocincias e Cincias Exatas, Universidade Estadual Paulista,
Rio Claro.

SILVA, J airo J os da. Demonstrao Matemtica da Perspectiva da Lgica Matemtica.
Bolema, Ano 15, n 18, pp. 68 a 78, 2002.

ROQUE, Gilda de La; MALTA, Iaci. Somos Todos Mentirosos? RPM 37, 1998.

SOUZA, Maria Helena; SPINELLI, Walter. Matemtica. 1
a
Edio 3
a
Impresso, Editora
tica, 5
a
8
a
sries, So Paulo SP, 2001.