Вы находитесь на странице: 1из 58

207

Disciplina: Argumentao em Matemtica


Prof. Ms. Antonio Sales da Silva
Curso de Licenciatura em Matemtica UFPBVIRTUAL
sales@mat.ufpb.br

Ambiente Virtual de Aprendizagem: Moodle www.ead.ufpb.br
Site da UFPBVIRTUAL www.virtual.ufpb.br
Site do curso www.mat.ufpb.br/ead
Telefone UFPBVIRTUAL (83) 3216 7257
Carga horria: 60 horas Crditos: 04
Ementa

Semitica e terminologia matemticas. Clculo Proposicional. Quantificadores.
Demonstraes. Induo Matemtica.

Descrio

Todo processo de ensino e aprendizagem em Matemtica envolve um forte apelo
comunicativo, seja nas formas escrita, falada, gestual ou em uma combinao destas. por estas
vias que so construdos e compartilhados conceitos e relaes no mbito da Matemtica. Para a
apreenso deles concorrem, portanto, as maneiras pelas quais so representados a fim de
impressionar os nossos sentidos, uma vez que os objetos matemticos no guardam uma efetiva
relao de semelhana com a natureza das pores estruturadas da realidade fsica: os objetos
matemticos so, sob esta perspectiva, imateriais.
A disciplina Argumentao em Matemtica integra a estrutura curricular deste curso de
licenciatura com a finalidade de prover ferramental terico para o desenvolvimento de uma prtica
interpessoal, mas autnoma, visando compreenso e construo de discursos significativos
em Matemtica. Particular ateno dedicada aqui s funes que desempenham o sistema
simblico e a terminologia, que na Matemtica assumem caractersticas muito peculiares.
Buscaremos ver o grau de imbricao da linguagem natural com o registro da Matemtica. A falta
de conscincia desta gradao pode acarretar srios obstculos para a instaurao de um
processo de efetiva aprendizagem de conceitos matemticos.
Aqui voc ter contato com contribuies que a lgica das proposies e os
quantificadores do Matemtica, para a elaborao de sentenas equivalentes; ver como negar
rigorosamente uma dada sentena, o quanto importante avaliar se h reciprocidade entre duas
sentenas. Pode parecer pouco, mas trata-se de um projeto ambicioso, que, se concretizado, ter
como resultado imediato o desenvolvimento de habilidades que o(a) tornaro independente,
rigoroso(a) e transparente, tanto na emisso quanto na compreenso de discursos em
Matemtica.
Apesar de parecer exclusivamente abstrato, todo este aparato intelectual tem uma
importante destinao social, pois a apropriao deste conjunto de aptides pode determinar as
208
formas e o contedo de sua postura como cidado() no mundo, uma vez que este o(a) desafia
permanentemente a perceb-lo e interpret-lo, para nele intervir.
Seguindo o esprito essencialmente virtual do nosso curso, vale destacar que o presente
texto no tem a pretenso de ser auto-suficiente e, por isso, pores importantes, seja de material
terico ou prtico, so apresentadas de modo complementar na plataforma moodle.


Objetivos

Conhecer termos matemticos, seus smbolos, suas origens e seus usos.
Distinguir raciocnio dedutivo de raciocnio indutivo.
Compreender o significado formal dos quantificadores lgicos e identificar padres nas
estruturas de sentenas em que estes ocorrem.
Conhecer princpios que do sustentao a elaborao de demonstraes em Matemtica.
Compreender e elaborar demonstraes em Matemtica.
Elaborar e compreender discursos em Matemtica.

Contedo

Unidade I Comunicao em Matemtica

Objetos matemticos: significados e representaes.

Unidade II Rudimentos de Lgica Matemtica

Conectivos lgicos;
Conjuno e Disjuno;
Negao;
O Condicional Q P ;
Sentenas equivalentes;
O Bicondicional Q P ;
209
Quantificadores Lgicos.

Unidade III Demonstrao em Matemtica

Demonstraes envolvendo conectivos lgicos;
Teoremas cujas concluses so do tipo Q P ;
Teoremas cujas concluses so do tipo Q P ;
Demonstrao por contradio (ou reduo a um absurdo).
Unidade IV Induo Matemtica

Tipos de raciocnio
Raciocnio por analogia
Raciocnio indutivo
Raciocnio dedutivo
O Princpio de Induo Finita









210

Unidade I Comunicao em Matemtica

1. Situando a Temtica

Nesta unidade comearemos a pr em prtica as idias que, na apresentao,
anunciamos sobre o papel da comunicao nos processos de ensino e aprendizagem de
Matemtica. Ou seja, abordaremos aspectos da construo de significados em Matemtica tendo
como foco genrico o ambiente escolar. Com isto queremos dizer que o palco para o desenrolar
do enredo ser a sala de aula, espao este que ponto de convergncia de algumas necessrias
ante-salas, as quais, por essa configurao, teremos de visitar.
Vale aqui observar que a generalidade a que nos referimos h pouco devida ao fato de
considerarmos a sala de aula como resultado de um feixe de relaes que se do entre pessoas,
entre pessoas e objetos ou instrumentos e entre estes e outros dessa mesma natureza, todos
mobilizados para atos de ensino e aprendizagem. Portanto, vemos a materializao desse
entendimento como suporte indispensvel fluidez do nosso trabalho, que tem a especificidade
de ser conduzido base de trocas semipresenciais de informaes visando construo de
conhecimentos.
Estudar processos comunicativos em qualquer mbito essencialmente voltar-se
para a explorao de aspectos vitais da linguagem, o que, por sua vez, exige uma espcie de
caminhada reveladora de como so construdos conceitos e seus significados. A comunicao
em Matemtica no escapa a essa cadeia de procedimentos. Na verdade, vistas desse ngulo, as
coisas parecem ganhar especial dimenso quando abraamos a tarefa de examinar os meandros
da comunicao em Matemtica.
Mas, afinal, do que se ocupam interlocutores engajados em eventos de
comunicao em Matemtica? De modo simplificado, diramos que esto promovendo uma
recproca veiculao de fatos matemticos, isto , compartilham relaes entre objetos da
Matemtica. Por esta razo que nesta unidade nos deteremos - sem forte rigor mas com
abrangncia e profundidade adequadas aos propsitos da disciplina Argumentao em
Matemtica a examinar a natureza dos objetos matemticos, a multiplicidade de suas
representaes e a construo de seus significados.

2. Problematizando a Temtica

Quem de ns no j se flagrou falando Bombril quando queria se referir a uma esponja
de ao qualquer, ou dizendo Gillette querendo fazer referncia a uma lmina de barbear
qualquer? Ou, ainda, quantas vezes no j ouvimos algum tentando se referir ao grande ator
Lima Duarte dizer aquele que era o Sinhozinho Malta na novela Roque Santeiro? Pois bem,
que, por razes que vo desde o pioneirismo qualidade, objetos dessas marcas viraram
211
sinnimos das categorias s quais eles pertencem. Estamos a diante de um problema de
tomarmos um representante por aquilo que ele representa. Na maioria dos casos, uma
substituio dessas no traz qualquer transtorno. Da a adotarmos involuntariamente ou
propositadamente no dia-a-dia.
Voc j se perguntou por que o poema musicado Asa Branca, pea marcante do
nosso cancioneiro popular, de autoria de Luiz Gonzaga e Humberto Teixeira, pode ser executado
indistintamente em uma sanfona, um violo ou um piano? Aqui, uma questo que surge saber
onde moram os sons que compem a melodia de Asa Branca. Habitam todo e qualquer
instrumento musical? Ou a sua existncia independe da existncia de tais instrumentos, servindo
estes apenas para promover uma espcie de materializao de acordes, harmonias e ritmos? Se
assim, qual o mundo dos sons musicais? Em suma, qual a natureza da msica?
Antes de passar para o nosso prximo tpico, Conhecendo a Temtica, procure
descobrir relaes entre as situaes acima apresentadas e algumas que voc porventura tenha
encontrado em suas experincias matemticas.
Esse prembulo tem por finalidade preparar o seu esprito para lidar com uma
questo central na filosofia da Matemtica: Qual a natureza dos objetos matemticos? Opa, no
se assuste! A nossa inteno no faz-lo mergulhar profundamente nesse assunto. Isso
escaparia aos objetivos da nossa disciplina. O que temos, sim, a pretenso de trazer ao seu
conhecimento aspectos determinantes nos processos de ensino e aprendizagem da Matemtica
que, na grandessssima maioria dos casos, so deixados de lado. Por puro desconhecimento
mesmo. Portanto, de bom grado que lhe dirigimos o convite com a firme expectativa de poder
conduzi-lo(a) a fazer uma espcie de reconhecimento de to frtil terreno. Vamos l!

3. Conhecendo a Temtica

3.1 A natureza dos objetos matemticos

A existncia dos seres humanos, vista como parte de um complexo conglomerado
de formas de vida e de coisas, acha-se impregnada de um permanente ir e vir em ambientes nos
quais eles so convocados a realizar discriminaes e efetuar identificaes. Estes so processos
que, de certo modo, se complementam: na identificao, dizemos o que algo ou como est; na
discriminao, dizemos o que esse algo no ou como no est. Por trs disso est uma
extremada compatibilidade do sistema sensrio-motor, comum aos indivduos da espcie humana,
com os meios em que atuam.
Na maioria dos casos, discriminar e identificar no so atos que comeam e se encerram
em um nico indivduo. Mais explicitamente, so estimulados por um outro ato que visa a se
consubstanciar num outro indivduo: o compartilhar. Essa uma ao-chave nos projetos e na
execuo de intervenes que realizamos nos vrios mundos a que nos expomos ou que a ns
so expostos, pois nessa via de mo dupla que enriquecemos o nosso repertrio de conceitos.
essa tal via que sustenta o que costumamos chamar de comunicao.
212
A propsito, vamos encontrar na verso eletrnica do Dicionrio Hoauiss da lngua
portuguesa (http://houaiss.uol.com.br/busca.jhtm?verbete=comunicar&stype=k) algumas acepes
para o verbete comunicar, tais como: transmitir, passar (conhecimento, informao, ordem,
opinio, mensagem etc.) a algum; estar ou entrar em contato mais ou menos direto (falando,
escrevendo, gesticulando etc.) com; manter relaes com; trocar idias; passar (algo) de um
possuidor ou detentor para outro; transmitir, transferir; pr em comum, dividir, partilhar, ter
relaes com. A partir da, podemos considerar cada acepo dessas como um mapa daquilo
que um ato comunicativo engloba. Mas, de olho nos nossos propsitos, podemos nos restringir a
recortes desses mapas e determinar que basta-nos considerar o ato de comunicar como aquele
em que se transmite, passa (conhecimento, informao, mensagem) a algum, falando,
escrevendo, gesticulando; em que se divide, partilha, tem relaes com; em que algo de um
possuidor ou detentor passado para outro.
Agora, recortando mais ainda, detenhamo-nos um pouco no comunicar como ato em que
se transmite, passa (conhecimento, informao, mensagem) a algum, falando, escrevendo,
gesticulando. Pois bem, justamente nessa confluncia que parece nascer uma explicao para o
modo como se d a comunicao em Matemtica. Segundo essa acepo que tomamos agora, o
ato comunicativo envolve a transmisso de uma mensagem, que pode ser falada, escrita, gestual.
Ora, lembrando que o nosso foco a Matemtica tal qual ela se d em um ambiente de ensino e
aprendizagem, vemos que, com pouqussimas variaes de uma para outra, essa ocorrncia
tpica dos eventos que as salas de aula de Matemtica abrigam. Ou seja, praticamente em todo e
qualquer empreendimento de ensino e aprendizagem de Matemtica h pelo menos uma
mensagem a ser transmitida cuja veiculao feita quase sempre por uma conjuno de escrita,
fala e gestos.
A mensagem acima referida tem como contedo central algum objeto ou relaes entre
objetos matemticos. Agora, voc deve estar se perguntando: Afinal de contas, o que vem a ser
um tal objeto matemtico? Tomados de supeto por essa pergunta, arriscamos afirmar que
quase certo que uma resposta salvadora ser buscada na geometria ou na aritmtica, pores da
Matemtica com as quais nos relacionamos de um modo particularmente natural. Assim, num
primeiro mpeto, apelaramos para as formas geomtricas que enchem de valores estticos e
funcionais as paisagens que nos rodeiam, ou pescaramos no oceano dos algarismos alguns
exemplares com os quais damos vida s contas que fazemos cotidianamente.
Mas, deixando de lado o supeto e o mpeto, verificamos que os objetos matemticos so
dotados de uma configurao que extrapola as formas geomtricas e os algarismos que nos
pareceram cho firme na hora da resposta impetuosa. De sada, formas geomtricas e algarismos
so descartados como exemplos de objetos matemticos porque um ingrediente que no faz parte
da configurao de um objeto matemtico a concretude fsica. Os objetos matemticos no
ocupam um lugar em qualquer poro estruturada do mundo fsico. Em outras palavras, eles
escapam s familiares intervenes de que so capazes nossos velhos conhecidos cinco
sentidos: olfato, viso, tato, audio e paladar. Com isso, somos guiados para bem longe das
213
coisas que se realizam em ns atravs desses cinco sentidos. Ento para onde ir se quisermos
explorar o mundo dos objetos matemticos? A resposta mais natural, mas tambm cheia de
redundncia, seria: vamos Matemtica. Neste caso, a naturalidade sobressai redundncia, e l
vamos ns, rumo Matemtica.
Logo ali acima, falamos que a concretude fsica no atributo de um objeto matemtico.
Olhando atenciosamente o que dissemos parece que sinalizamos com a possibilidade de
ocorrncia de algum tipo de concretude na configurao dos objetos matemticos. De fato, fora do
plano fsico, a nossa experincia faz-nos, por complementaridade, conjecturar que fica ento
reservada aos objetos matemticos uma concretude essencialmente mental. O advrbio de modo
essencialmente vem como que qualificar a natureza mental dessa concretude porque a
existncia de um objeto matemtico se consubstancia nos atos comunicativos, ou seja, a partir de
alguma ao negociada e acatada por indivduos que dele se aperceberam, assim como de
conexes dele com outros cronologicamente anteriores a ele. Isso faz lembrar a quase
consensual metfora de que a Matemtica um edifcio, no sentido de que erguida a partir de
adequadas conexes entre seus componentes: tijolo a tijolo (conceito a conceito), parede a
parede (proposio a proposio).
No poderamos falar dos objetos matemticos sem nos reportarmos ao que sobre eles
pensa a corrente platnica da natureza da Matemtica. Para essa corrente de pensamento,
conceitos e relaes so dotados de uma concretude que ignora os humanos como necessrios
materializao de tais objetos. So, portanto, preexistentes ao que pode ser captado pela nossa
conscincia. Dessa forma, para os adeptos desse pensamento, no mbito da Matemtica no
cabe o criar e sim o descobrir. Mesmo considerando que assim que as coisas se do,
haveremos de levar em conta os obstculos que se nos so apresentados quando pretendemos
transmitir um discurso matemtico.
A presena marcante de um ato comunicativo na consubstanciao de um objeto
matemtico encontra sua razo de ser na severa dependncia da escrita que parece ser inerente
Matemtica. Impossibilitados de discorrer oral ou gestualmente sobre uma idia matemtica, por
um razovel perodo ininterrupto de tempo, somos empurrados ao recurso da escrita para garantir
a conduo do raciocnio, para nos fazermos entendidos. Em suma, a oralidade ,
indubitavelmente, uma drstica limitao de que padece a Matemtica vista como uma linguagem.
Ento, o que so mesmo aquelas garatujas ( )
6
( , 81 log ), ( , , , , , ,
3

sen ) que
povoam densamente um discurso matemtico escrito? Pelo que vimos anteriormente, no podem
ser objetos matemticos, pois as percebemos com a viso ou com o tato, quando a escrita feita
em alto relevo, por exemplo. Ah, as tais garatujas so smbolos, e tm papel crucial na
formulao de conceitos. Representam algo. Representam o qu? Objetos, relaes entre
objetos, operaes. das conexes entre objetos matemticos, seus significados e suas
representaes que nos ocuparemos na prxima seo.


214
3.2 Objetos matemticos: significados e representaes

A fim de estruturar as conexes anunciadas no final da seo anterior, vamos imprimir um
pouco mais de rigor abordagem que daremos aqui por tratar-se de um tpico que tem atrado a
ateno de estudiosos com as mais variadas formaes, o que nos leva a considerar de bom
alvitre estirar o fio condutor do nosso raciocnio a partir dessas fontes abalizadas.
Nunca ser demais lembrar que o nosso interesse central so as teias de relaes que
sustentam e/ou nascem durante a construo de discursos matemticos em ambientes de ensino
e aprendizagem de Matemtica. Tendo isso em mente, centraremos nossa ateno para o que
tm a dizer sobre o tema o professor Bruno DAmore e pesquisadores a quem recorreu para
escrever o interessantssimo livro Epistemologia e didtica da Matemtica.
Comecemos por atentar para o fato de que ao tratar da natureza dos objetos matemticos
estaremos lidando essencialmente com duas importantes dimenses deles: seus significados e
suas representaes. Isso nos remete inescapavelmente para um mergulho nas estruturas da
linguagem subjacente a tais objetos. No toa que DAmore (2003, p. 24) vai buscar em A. A.
E. Dummet a seguinte reflexo sobre essas ligaes:









Com o olhar voltado simultaneamente para uma sala de aula de Matemtica e para o que
nos fala Dummet na frase acima, somos levados a considerar que a apreenso de um conceito
passa necessariamente pelo que nele revelado pelas estruturas da linguagem, assim como por
aquilo que ele empresta linguagem a fim de se revelar. Cabe, portanto, ao professor buscar
permanentemente a construo colaborativa dessa dupla troca. Quem sero os colaboradores
nesse processo? Os alunos, naturalmente. Assim, vo o esforo de ensinar um conceito quando
o tratamos de modo hipercentrado nos smbolos envolvidos na sua formulao. Queremos com
isso dizer que a explorao adequada do enunciado de um conceito deve levar em conta, acima
de tudo, a teia de significados ali presentes. Para complementar a idia de Dummet citada acima,
DAmore (2003, p. 24) convida ento A. Sierpinska:





Uma teoria do significado uma teoria da
compreenso. Isso quer dizer que tudo aquilo a respeito do qual
uma teoria do significado deve prestar contas o que se conhece
quando se conhece a linguagem, isto , quando se conhecem os
significados das expresses e dos discursos da linguagem.

Ampliando o seu conhecimento...
215











Um aspecto aqui enfatizado por Sierpinska para a apreenso de um conceito que merece
especial ateno a necessidade de se instaurar um processo que inclui uma decomposio do
enunciado em significados de outros conceitos nele presentes, assim como a compreenso do
que significa uma sntese deles. Sierpinska faz ento uma espcie de teorizao de uma prtica
corrente entre professores e estudantes de Matemtica. Tomemos, a ttulo de ilustrao, o
seguinte enunciado: Dois conjuntos, A e B , so iguais quando A subconjunto de B e B
subconjunto de A. Trata-se de um enunciado que tem como ponto central o conceito de
igualdade de conjuntos. Uma decomposio desse enunciado leva-nos a detectar a presena de
um outro conceito nele presente, qual seja: subconjunto. Para a apreenso do significado do
conceito de igualdade a partir desse enunciado torna-se necessrio que compreendamos o
significado do conceito de subconjunto. Feito isso, hora de realizarmos uma sntese dos
elementos conceituais que figuram no enunciado: no caso presente, descobrir o que significa a
conjuno A subconjunto de B e B subconjunto de A. Portanto, da confluncia de uma
tal decomposio com uma tal sntese que emerge o conceito que buscamos.
A partir da vemos que a apreenso de um conceito exige sobretudo o estabelecimento de
relaes que envolvem elementos do conceito em questo e o indivduo ou a instituio, aqui
considerada como conjunto de pessoas, no existindo portanto aqui qualquer dicotomia entre
sujeito e objeto. Nesse sentido, DAmore (2003, p.30) vai buscar em Y. Chevallard uma
formalizao para esse processo:











Compreender o conceito ser (...) concebido como o ato
de apreender o seu significado. Tal ao provavelmente ser uma ao
de generalizao e de sntese de significados em relao a elementos
particulares da estrutura do conceito (a estrutura do conceito a rede
de significaes dos enunciados que foram considerados). Esses
particulares significados devem ser apreendidos com aes de
compreenso. (...) A metodologia dessas aes de compreenso
preocupa-se principalmente com o processo de construo do
significado dos conceitos.
Trocando Experincia...
Um objeto existe a partir do momento em que uma pessoa X (ou uma instituio
I ) reconhece o objeto como existente (para si). Mais exatamente, dir-se- que o objeto O
existe para X (respectivamente para I ) se existe um objeto representado por ) , ( O X R
(respectivamente ) , ( O I R ), denominado relao pessoal de X a O (respectivamente
relao institucional de I a O).
216







Neste ponto, cabe ressaltar o papel da representao na apreenso de um conceito. As
relaes de que fala Chevallard tm como elo fundamental a captura do significado mediada por
smbolos, coisa que possibilitada, como j dissemos, por essa estonteante homogeneidade do
sistema perceptivo da espcie humana. Na verdade, o recurso representacional vai alm da
funo de organizador do pensamento; as representaes parecem estar impregnadas de
partculas de conceitos mutuamente atraentes, mas que se acham encapsulados. a efetivao
de operaes materializadas no plano simblico que ir promover uma revelao do que est no
plano mesmo do conceito. Para reforar essa idia, DAmore (2003, p. 56) lembra que durante a
aprendizagem de Matemtica, os estudantes so introduzidos em um mundo novo, conceitual e simblico
(sobretudo representativo).
No mbito da semitica, o termo registro designa o conjunto de conceitos, palavras, gestos
e smbolos utilizados nos processos comunicativos de uma determinada comunidade. Assim,
poderamos falar de registro da Matemtica, da Qumica, do Direito, da Medicina etc. Fizemos
essa apresentao aqui para partilhar com vocs a seguinte reflexo de Chevallard encontrada
em Damore (2003, p. 29), que consideramos relevante para essa nossa discusso. Ele diz que
um objeto matemtico :

um emergente de um sistema da prxis no qual so manipulados objetos materiais que se
decompem em diferentes registros semiticos: registro oral, das palavras ou das expresses
pronunciadas; registro gestual; domnio das inscries, ou seja, aquilo que se escreve ou se desenha
(grficos, frmulas, clculos,...), isto , registro da escrita.










Aqui fica patente a complexidade presente na apreenso de um conceito matemtico, uma
vez que, em geral, esta se realiza atravs do concurso dessas vrias instncias do registro
matemtico. A depender da metodologia utilizada, na prtica a construo de um conceito
matemtico ser efetivada na medida em que: o representemos em um dado registro; tratemos
Na plataforma moodle apresentamos ilustraes de como
esse processo se instaura. L abordaremos tambm situaes
referentes a um tema correlato: o papel das imagens mentais na
construo de conceitos em matemtica. Visite-a!


No Moodle...
Que tal uma consulta a um bom dicionrio
para explorar a riqueza que o verbete prxis abriga?! Em que
acepo ele foi usado na citao acima?
Sugerimos tambm que voc faa uma pequena lista
de termos que integram os registros da Matemtica, da
Biologia, da Fsica, do Direito, da Informtica, da Medicina,
da Economia etc.

Ampliando o seu conhecimento...
217
essas representaes no interior de um mesmo registro; faamos a converso de um dado
registro para outro (DAmore, 2003, p. 62).
Adotando um comedido otimismo, podemos afirmar que a combinao dessas trs aes
parece estar no cerne da tarefa de conduzir o processo de apropriao da natureza dos objetos
matemticos. Apiam-se nesse paradigma professores que, por exemplo, no ensino de Clculo
do nfase explorao balanceada dos seus aspectos simblicos, grficos e numricos. Agora,
caros alunos, esperamos que possam perceber que, longe de, gratuitamente, querer imprimir a
vocs uma sobrecarga, o professor que assume tal postura acha-se pedagogicamente muito bem
ancorado.
Porm, isso no quer dizer que esse processo se realiza em cada indivduo segundo uma
mesma seqncia de procedimentos. Mesmo nos casos em que isso ocorre, quase sempre
haver uma discrepncia no que diz respeito ao ritmo. Essa construo fortemente individual e,
portanto, est intimamente ligada histria pessoal.
Entretanto, no estamos fazendo nenhuma apologia do cada um por si. No, o que
estamos tentando ressaltar uma bidimensionalidade do processo. Ou seja, na sala de aula, o
debate sobre fatos matemticos salutar para a instaurao de um ambiente em que as
informaes fervilhem em abundncia. Nesse clima, cada um as captura e organiza de um modo
muito peculiar, que tem muito a ver com o grau de familiaridade com o tema central abordado,
assim como com conceitos correlatos e interesse. Essa uma situao que demonstra com
eloqncia a indissociabilidade entre diversidade (multiplicidade) e singularidade (especificidade).
Se a sesso de resoluo de problemas, o clmax , por exemplo, alcanado com uma chuva de
diferentes solues para uma mesma situao problema.


















Vocs j notaram que no dia-a-dia no fazemos qualquer distino entre os termos
dados, informao e conhecimento? Cuidado! Do ponto de vista tcnico eles significam
coisas distintas. A este respeito, vejamos o que nos diz o site
http://www.contentious.com/archives/2004/07/29/what-do-we-know-the-great-info-
knowledge-debate/
Informao geralmente inclui fatos, observaes, sensaes, e mensagens. Informao
contedo que informa nossas mentes. combustvel.
Conhecimento, ao contrrio, a experincia humana da informao o que as nossas
mentes fazem com todo aquele contedo. o fogo na forja.
No site http://prkarve.wordpress.com/2006/03/06/difference-between-knowledge-and-
information/ vamos encontrar o seguinte: Conhecimento o que possumos e informao
o que intercambiamos. Portanto, informao algo objetivo e o conhecimento subjetivo.
Procure pesquisar sobre o significado de dados, e sobre a etimologia da palavra
informao.

Ampliando o seu conhecimento...
218
O apelo esttico outro aspecto a considerar quando est na mira a apropriao de um
conceito matemtico. isso mesmo, gente. O interesse a que nos referimos acima pode ter pelo
menos duas vertentes: uma, de carter prtico (a apreenso de um determinado conceito ser
primordial para a resoluo de um problema, por exemplo) e outra, que tem aquela faculdade de
fazer bem ao esprito. Neste caso, a beleza se manifesta (ou percebida), tanto na esfera mental
como no plano fsico da viso.
Quem, diante de um quadro-de-giz tomado por grficos e frmulas matemticas,
entremeados com palavras em portugus, no j se regozijou e disse (nem que tenha sido de si
para si): Que beleza! O termo elegante no exclusividade do registro dos(as) costureiros(as),
estilistas e modelos; matemticos costumam ver em certas solues o atributo da elegncia. Fala-
se de soluo elegante. Isso tem tudo a ver com os modos como ela foi concebida e
representada. Portanto, a Matemtica, particularmente no que diz respeito aos seus discursos,
tem muito a ver com a semitica.




Em tudo o que fizemos at agora o nosso conhecimento da lngua portuguesa foi decisivo.
Isso porque os leitores que so destinatrios dessa nossa mensagem so tambm proficientes
nesse idioma. Nosso tema central tem sido a natureza dos objetos matemticos, aqui tratados
com o que nos permite essa linguagem natural. Se fosse um outro o contexto cultural, talvez
precisssemos optar por um outro idioma, uma outra linguagem natural. Voc deve estar se
perguntando por que trouxemos para c essa chamada de ateno. De fato, trata-se de uma
chamada de ateno, uma sacudidela no intelecto. que a naturalidade com que esto
imbricadas a Matemtica e as lnguas naturais tamanha que nem nos damos conta de que uma
alimenta a outra mas sem perda de suas respectivas identidades. Inspirados no que pode ser
encontrado no mundo da ecologia, diramos que h entre elas uma relao simbitica. No
pargrafo anterior, demos nfase na necessidade de trabalharmos com o sentido de que a sala de
aula de Matemtica seja um ambiente frtil para o debate. nessa prxis que nos tornaremos co-
autores da simbiose que acabamos de mencionar.
Voc seria capaz de partilhar com algum um simples discurso matemtico sem recorrer a
pelo menos uma palavra ou um signo de alguma lngua natural? E que tal um discurso em alguma
lngua natural sem sequer um ingrediente matemtico? Experimente. Esse um exerccio que
serve para nos deixar conscientes da imbricao da qual temos falado. Imbricao sim, mas
autonomamente.
No caso da Matemtica, diramos que h uma reciprocidade na constituio de um
discurso matemtico e seus objetos, como aprendemos com A. Sfard (Sfard, 1991): a atividade
discursiva que cria a necessidade de objetos matemticos e so os objetos matemticos que
influenciam o discurso matemtico conduzindo-o para novas direes. Isso equivale a dizer que a
apreenso de um objeto matemtico inclui duas dimenses: uma que essencialmente conceitual
Na plataforma moodle voc encontrar mais
informaes sobre temas dos quais a semitica se ocupa.
No Moodle...
219
e outra, de carter eminentemente lingstico, como bem observa G. Vergnaud (Vergnaud, 1998).
Essa , em suma, uma observao que confere s lnguas naturais um status de
imprescindibilidade para a construo de objetos matemticos.
Como j vimos, a apreenso de um objeto no uma ao isolada, isto , no se realiza
sozinha. Ela se faz acompanhar de um feixe de relaes e representaes. Isto mesmo, a
Matemtica no escapa de um processo que inerente cinemtica de uma lngua natural, qual
seja: somos movidos por uma rigorosa necessidade de dar nomes a objetos, relaes deles com
outras entidades, atitudes, gestos, eventos e sentimentos. Mas essa tal necessidade no pra por
a, ou seja, na nomeao.
Etapa fortemente importante a da representao. Tudo se passa como se a existncia de
um objeto fosse impossvel de se firmar sem que ele ganhasse algum tipo de representao.
exatamente isso o que acontece na Matemtica: objetos, relaes, fatos so manipulados a partir
de alguma representao, uma espcie de dimenso material deles.
Agora, experimente estabelecer conexes entre as perguntas com que abrimos esta
unidade e a enunciao de um discurso matemtico. Viu como a apreenso de um objeto
matemtico est intimamente ligada ao modo como se estrutura a lngua natural em que o
discurso matemtico est sendo feito? Pois , no cerne de uma tarefa como essas est, de um
modo expresso ou implcito, a imbricao entre objetos, nomes e representaes. Para corroborar
o que estamos dizendo, apresentamos abaixo tabelas com smbolos que esto entre os mais
usados em Matemtica.

O alfabeto grego

Tabela 1.1
Maiscula Minscula Nome Equivalncia
de uso no
Portugues
Maiscula Minscula Nome Equivalncia
de uso no
Portugues

Alfa A

Csi X


Beta B

micron O (breve)


Gama G
Pi P

Delta D

R R

psilon E (pronncia
breve)

Sigma S


Zeta Z
Tau T


Eta E (pronncia
longa)

psilon Y

Tta Th (t)

Fi Ph (f)

Iota I

Qui Ch (c)

220
Tabela 1.2 Notaes comumente usadas na comunicao escrita em Matemtica
Uso do smbolo Significado
possvel
Uso do smbolo Significado
possvel
B A = A igual a B B A A unio B
B A A diferente de
B
B A A interseo B
y x > x maior do que
y
B A A est contido
em B
y x < x menor do que
y
B A A contm B
y x
x maior do que
ou igual a y
B x
x pertence ao
conjunto B
y x
x menor do que
ou igual a y
A y
y no pertence
ao conjunto A
y x ou y x
x
aproximadamente igual a
y
c
A
Complemento do
conjunto A
T S S cngruo com
T ou S equivalente a T
) (x xP
Existe (algum,
pelo menos um) x
satisfazendo propriedade
) (x P
+ x
x tende a mais
infinito
) ( ! x xP
Existe um nico
x satisfazendo
propriedade ) (x P
x
x tende a menos
infinito
) (x xQ
Para cada (para
todo, para qualquer que
seja) x ocorre ) (x Q

c x
x tende a c por
valores menores do que c
P ou P ~ No P (a negao
de P )
+
c x
x tende a c por
valores maiores do que c
Q P Conjuno de P
com Q
100 ... 3 2 1 + + + +
Soma de todos os
nmeros naturais de 1 at
100
Q P
Disjuno entre
P e Q

=
100
1 j
j
Soma de todos os
nmeros naturais de 1 at
100
Q P P implica
(acarreta) Q
100 ... 3 2 1
Produto de todos
os nmeros naturais de 1
at 100
Q P P implica
(acarreta) Q e Q implica
(acarreta) P
221

=
100
1 k
k
Produto de todos
os nmeros naturais de 1
at 100

Da (portanto,
ento, donde conclui-se
que)







Chamamos sua ateno para o fato de que o uso adequado desses e de tantos outros
smbolos na comunicao escrita em Matemtica tem como seus principais atributos conciso e
preciso. Ou seja, em variadas situaes podem auxiliar decisivamente na transmisso de
quantidades de informaes muito densas ocupando pouco espao. Se usados sem a devida
conscincia do papel que desempenham, porm, podem acarretar srios transtornos. Ao us-los
devemos mant-los imbricados aos possveis significados que pretendemos sejam por eles
comunicados. Com isso, podemos, por exemplo, evitar corriqueiras confuses entre smbolos e
objetos que os primeiros representam.
A ttulo de ilustrao, tomemos o caso da funo modular,

<

= =
0 ,
0 ,
) (
x se x
x se x
x x f , no
modo como habitualmente definida.
Em grande medida, a confuso entre objeto e smbolo que deixa embaraados muitos
aprendizes de Matemtica quando lhes pedimos, por exemplo, que expressem 1 t atravs de
duas sentenas matemticas (abertas). comum que nos dem, incorretamente, como retorno a
seguinte resposta:

<

=
0 ), 1 (
0 , 1
1
t se t
t se t
t .
Se levassem em conta que o x que aparece na definio da funo modular representa
um nmero real, tenha ele a cara que tiver, os aprendizes veriam que o 1 t simplesmente
uma outra cara para um nmero real qualquer, ou seja, um representante genrico dos nmeros
reais. Com isso em mente, dariam, corretamente, a seguinte resposta:

<

=
0 1 ), 1 (
0 1 , 1
1
t se t
t se t
t , ou, ainda,

< +

=
1 , 1
1 , 1
1
t se t
t se t
t .

Portanto, nunca ser demais enfatizar que o x uma espcie de guardador de lugar de
nmeros reais, qualquer que seja a aparncia deles. Nessa linha de pensamento, no
cometeramos nenhum excesso se apresentssemos a definio em questo da seguinte
maneira:
Ampliando o seu conhecimento: Na pgina 15 do livro Um convite Matemtica (vide
bibliografia no final deste nosso texto sobre Argumentao em Matemtica), voc
encontrar interessantes informaes adicionais sobre smbolos listados na tabela 1.2.
Para um exame da histria dos primeiros usos de uma variedade enorme de smbolos
matemticos, sugerimos a explorao do site http://jeff560.tripod.com/mathsym.html


Ampliando o seu conhecimento...
222

<

=
0 @ @,
0 @ @,
@
se
se
,
em que @ um guardador de lugar de nmeros reais, qualquer que seja a configurao
que assumam, estejam sob a ao de quaisquer que sejam as operaes. A escolha do smbolo
@ aqui declaradamente proposital, uma vez que o seu uso incomum na comunicao escrita
em Matemtica e, portanto, tem a serventia primeira de quebrar o mito de que nmeros reais s
podem ser representados por x , y , z etc.
Ainda na linha de ter em mente que a construo de um conceito em Matemtica pode ser
facilitada pelo carter de forte indissociabilidade do universo vocabular da Matemtica com a
linguagem natural tal como usada no cotidiano, achamos que vale a pena lanar mo dos
seguintes exerccios lingsticos: buscar associar ao significado dos objetos matemticos a
etimologia dos seus nomes; procurar ver as eventuais aproximaes existentes entre significados
de termos que so usados, tanto na Matemtica quanto na linguagem natural.
Voc j parou para pensar sobre a etimologia das palavras geometria, logaritmo,
escalonamento, eqipolente, perpendicular, polgono? E que tal procurar ver at que ponto os
significados assumidos por certos termos no dia-a-dia podem auxiliar na compreenso dos seus
usos na Matemtica? Veja, por exemplo, o que acontece com expresses tais como: ngulos
adjacentes, discriminante de uma funo quadrtica, pontos colineares, derivada de uma funo,
tringulos congruentes, ngulo agudo.
Encerraremos essa unidade trazendo para sua reflexo uma situao do cotidiano em uma
noo matemtica que evidencia uma autonomia desta ao se projetar para alm daquilo que o
senso comum incorporou. Pois bem, tendo falado de aproximaes entre a linguagem do dia-a-dia
e o universo vocabular da Matemtica, no poderamos deixar de chamar a ateno para a
ocorrncia de distanciamentos que se verificam entre esses dois ambientes.
Uma ilustrao emblemtica pode ser feita com o que se d com a multiplicao entre
nmeros reais. Trata-se de uma ao cujo resultado, no modo como ela concebida no dia-a-dia,
est intimamente associado a aumento, crescimento. Quando partimos para observar certos
efeitos do ato de multiplicar em um ambiente rigorosamente matemtico deparamo-nos com
situaes em que o resultado da multiplicao menor do que a quantidade sobre a qual essa
operao foi realizada. Veja, por exemplo, o que acontece quando multiplicamos 45 por
3
1
.
Aproveite a deixa para elaborar observao semelhante quando a operao a diviso, tomando
por base que, no dia-a-dia, o resultado dessa operao acha-se fortemente associado a
diminuio, decrscimo.
A conscincia de tais aproximaes e distanciamentos de importncia vital para uma
explorao adequada do vastssimo universo do que convencionou-se chamar argumentao em
Matemtica.


223








































No deixe de visitar a plataforma moodle para enriquecer o seu
repertrio de situaes que explicitam essa relao de simbiose
da linguagem natural com a Matemtica, no que diz respeito a
apreenso de conceitos desta ltima

No Moodle...
224
Unidade II Rudimentos de Lgica Matemtica
1. Situando a Temtica

Dando continuidade nossa tarefa de explorar o mundo da construo de significados em
Matemtica, reservamos para esta unidade um breve passeio pelo que se convencionou chamar
Lgica Matemtica, hoje um campo de conhecimentos cujas ramificaes podem ser encontradas
nas mais variadas reas do saber. sobre pilares dessa cincia que a Matemtica assenta
grande parte de seus fundamentos.
Esse tpico comparece aqui em plena sintonia com os propsitos da disciplina
Argumentao em Matemtica que, indo alm de propiciar maestria na manipulao de
algoritmos, pretende mesmo estimul-lo(a) a, quando do desempenho de uma atividade
matemtica, buscar compreend-la no como, nos porqus e no quando. Ou seja, sempre que lhe
for proposto um desafio ao seu repertrio matemtico, esperamos que a sua postura seja a de
pinar as ferramentas (argumentao) adequadas situao sabendo por que as convocou. Com
isto queremos dizer que uma soluo para um problema matemtico ou assemelhado passa
necessariamente por um planejamento, uma execuo, uma interpretao e, finalmente, exige um
registro escrito de como voc foi impactado intelectualmente pelo conjunto dessas aes. De
modo bastante simplificado, diramos que a que reside a essncia dessa nossa disciplina.
A Lgica Matemtica ter entre ns um papel especial: o de um poderoso recurso
organizador do pensamento. Com ela, estaremos em boa companhia para nos apropriarmos de
objetos matemticos, suas representaes e definies, teoremas e suas demonstraes. Como
pano de fundo de tudo isso se situa a nossa meta de penetrar nos modos peculiares de raciocnio
dos quais a Matemtica se utiliza.

2. Problematizando a Temtica
Considere a afirmao: Quem envereda por uma atividade matemtica est sempre s
voltas com a necessidade de emitir juzos de valor de dois tipos: falso ou verdadeiro, mas no
ambos. De fato, o labutar matemtico consiste em viver em um mar de situaes cujo
desvendamento requer a invocao de fatos consagrados da Matemtica com os quais montamos
uma teia para dar sustentao aos juzos a serem emitidos. No nos esqueamos de que para
que tudo isso seja possvel necessrio que os interlocutores compartilhem uma lngua natural
atravs da qual a troca de idias se realiza.
Fazemos, pois, uso desse pressuposto para convid-lo(a) a julgar como falsa ou
verdadeira cada uma das seguintes afirmaes:
1. Todo tringulo eqiltero issceles.
2. Ser um tringulo issceles condio necessria para ser um tringulo eqiltero.
3. Ser um quadrado condio suficiente para ser um retngulo.
4. Se x um nmero primo, ento 2 = x ou x mpar.
5. Se x um nmero par ou x mpar, ento x um nmero natural.
225
Guarde suas respostas de agora para confront-las com as que dar ao final da nossa
viagem por esta unidade.

3. Conhecendo a Temtica

3.1 Conectivos lgicos
Logo ali acima, dissemos que uma lngua natural suporte indispensvel para
proferimento de discursos. Um discurso concatenado caracterizado por conexes apropriadas
de idias e a materializao dessas conexes realizada por partculas da linguagem comumente
chamadas conectivos. Se o discurso sobre matemtica, ento devemos dar ateno a
conotaes peculiares que tais partculas podem expressar. A no-observncia desse cuidado
pode levar-nos a cometer erros ou tropear em imprecises.
As palavras que aparecem negritadas no pargrafo anterior assim o foram
propositadamente. Recorremos a esse dispositivo grfico para realar a inteno de apresentar-
lhe um exemplo da ocorrncia de conectivos atravs de uma poro viva da lngua portuguesa.
Vale salientar que o vocbulo conectivo est sendo usado aqui no no sentido estrito que o seu
sinnimo conjuno tem no mbito da gramtica portuguesa. Da, a incluso do no,
sabidamente um advrbio, nessa nossa lista de termos destacados. Mas, a inteno maior tratar
de peculiaridades que eles assumem quando o discurso essencialmente matemtico. Mais
explicitamente, veremos at que ponto as funes que eles denotam na lngua portuguesa se
aproximam ou se afastam daquelas de que se revestem no discurso matemtico. Dediquemos,
pois, a devida ateno aos usos dos conectivos ali destacados: e, ou, no, Se ... ento.
Comecemos por tecer uma breve considerao sobre o conectivo e. Em portugus, a
presena do conectivo dele numa frase expressa conjuno (simultaneidade, concomitncia) de
eventos (fatos). Exemplos disto:
gua potvel incolor e inspida.
A Paraba e o Maranho so dois estados nordestinos.
O Brasil rico em minrio de ferro e o teor de umidade relativa do ar de Braslia
muito baixo.
J o conectivo ou aparece em uma frase para exprimir disjuno (separao no tempo, no
espao) de fatos (eventos) como a declar-los mutuamente excludentes, isto , no ocorrem dois
deles concomitantemente. o que podemos ver em:
Joo toma caf com adoante lquido ou com acar mascavo.
Agende uma audincia ou prepare-se para um ch de cadeira.
Pague R$3,00 ou leve 1kg de alimento no-perecvel.
Agora, passemos a examinar o que ocorre com esses conectivos em discursos proferidos
no mbito da Matemtica. Antes, porm, precisamos introduzir a noo de sentena em
Matemtica. Diremos que uma sentena matemtica (ou, simplesmente, uma sentena) uma
frase declarativa portadora de um valor-verdade (ou valor lgico): falso ou verdadeiro. Assim, por
226
exemplo, 1
47
6
+

,
a
b
4

e h r
2
no so sentenas, uma vez que no faz sentido classific-
las como falsas ou verdadeiras.

Na Matemtica, conectivos tm essencialmente o mesmo papel que assumem em um
idioma, isto , interligam sentenas para gerar sentenas mais complexas (mais ricas em
significados). Sentenas assim formadas so denominadas sentenas compostas. Assim, o
conectivo e permanece expressando carter de concomitncia de fatos em uma sentena
matemtica composta. Vejamos alguns exemplos:
Trs um nmero mpar e a funo
3
) ( x x f = contnua.
A rea de um quadrado cujo lado tem medida igual a l
2
l e o nmero dois no
primo.
Para dois conjuntos dados, A e B , sua interseo, B A , definida como o
conjunto formado por todos os elementos, x , que pertencem ao conjunto A e ao conjunto B .
Detenhamo-nos um pouco nesta definio que acabamos de apresentar. Ali, a poro
pertencem ao conjunto A e ao conjunto B indica enfaticamente em que circunstncias
dizemos que um elemento pertence interseo B A : quando tal elemento pertence tanto ao
conjunto A como ao conjunto B .

Agora, vejamos mais de perto quais cuidados devemos ter quanto ao uso do conectivo ou
em sentenas matemticas. Primeiramente, observemos que a presena do conectivo ou em
uma sentena matemtica composta d a esta um carter mais liberal no seguinte sentido: as
sentenas que a compem no precisam mais ser mutuamente excludentes. Mais explicitamente,
cada uma das sentenas componentes deve ser interpretada como uma ocorrncia possvel. As
situaes pontuadas a seguir servem de ilustrao para o que acabamos de afirmar.
Para dois conjuntos dados, A e B , sua unio, B A , definida como o conjunto
formado por todos os elementos, x , que pertencem ao conjunto A ou ao conjunto B . No se
esquea de que dizer que x um elemento do conjunto B A significa que estamos falando de
trs possibilidades: x elemento apenas do conjunto A, x elemento apenas de B , x
elemento de ambos, A e B .
Admita que t represente genericamente um nmero real. fato bastante conhecido
que 1 t l-se: t maior do que 1 ou t igual a 1 . No dia-a-dia, esta leitura
abreviada para: t maior do que ou igual a 1 . Trata-se de uma sentena composta, que, por
ao do conectivo ou, formada pelas sentenas t maior do que 1 e t igual a 1 .




227
Exercitando o seu senso crtico:
1. Em que circunstncias, a sentena t maior do que 1 ou t igual a 1
verdadeira? Sob quais condies ela falsa?
2. A partir do raciocnio adotado para dar respostas s duas perguntas acima, classifique
como falsa ou verdadeira cada uma das seguintes sentenas:
a) 9 13 , b) 1
7
2
, c) 8 8 , d) 12 27 , e)
9
8
5
4

.
3. Agora, suponha que x represente, genericamente, um nmero real. sabido que
6 2 x l-se: x maior do que ou igual a 2 e x menor do que ou igual a 6 . Estamos
aqui diante de uma sentena composta, que, pela ao do conectivo e, formada pelas
sentenas: x maior do que ou igual a 2 e x menor do que ou igual a 6 .
a) Quais condies um nmero real x deve satisfazer, de modo que a sentena x
maior do que ou igual 2 e x menor do que ou igual a 6 seja falsa?
b) Quais devem ser as caractersticas de um nmero real x para que a sentena x
maior do que ou igual 2 e x menor do que ou igual a 6 seja verdadeira?
4. De acordo com o raciocnio utilizado para dar respostas s perguntas da questo 3
acima, classifique como falsas ou verdadeiras as sentenas seguintes:
a)
46
45
45 8 .
b) 7 mpar e 243 3
4
= .
c) Se a e b so nmeros reais, ento ( )
3 2 2 3 3
3 3 b ab b a a b a + + = + e 1
4
=

tg .
d) 9 9 9 < .


A idia por trs de convid-lo(a) a trabalhar com os casos particulares acima foi prepar-
lo(a) para uma tarefa mais arrojada, qual seja: estabelecer critrios para julgar como falsas ou
verdadeiras sentenas matemticas quaisquer em que comparecem os conectivos ou e e.
Nestes casos, eles recebem uma adjetivao: so chamados conectivos lgicos. Inicialmente,
veremos como estes conectivos podem contribuir para a gerao de novas sentenas a partir de
sentenas dadas. o que vamos encontrar na definio seguinte.

Conjuno e Disjuno
Definio 3.1-1
Consideremos que P e Q representem duas sentenas. Usamos a notao Q P para
representar a sentena P e Q, denominada conjuno de P e Q. Adotamos a notao Q P
para representar a sentena P ou Q, chamada disjuno entre P e Q. Neste contexto, e
so conhecidos como smbolos de conectivos lgicos.

228
No ambiente matemtico, para que a conjuno Q P seja verdadeira necessrio
que, tanto a sentena P como a sentena Q sejam verdadeiras. Portanto, basta que uma das
sentenas componentes, P ou Q, seja falsa para que a sentena Q P seja falsa. No caso da
disjuno Q P , esta s ser falsa se ambas as componentes, P e Q, forem falsas. Para que
Q P seja verdadeira, basta que uma das sentenas componentes seja verdadeira.

Pelo que temos visto, o valor lgico de sentenas compostas fortemente determinado
pelos valores lgicos de suas componentes, assim como pelo modo como estas se combinam (ou
seja, depende tambm do conectivo que as liga). Considerando que a quantidade de
componentes de uma sentena composta finita, conclumos que so tambm finitas as
possibilidades de se combinarem os valores lgicos de sentenas compostas. Tais possibilidades
podem ser organizadas em tabelas especiais que recebem a denominao de tabelas-verdade.
Nelas, o valor lgico de uma sentena verdadeira representado pela letra V enquanto o valor
lgico de uma sentena falsa denotado pela letra F .

Com as consideraes acima, podemos, por exemplo, construir tabelas-verdade para a
conjuno Q P e para a disjuno Q P .
Fig. 3.1-1 Tabela-verdade de Q P .
P Q Q P
V V V
V F F
F V F
F F F

Fig. 3.1-2 Tabela-verdade de Q P .
P Q Q P
V V V
V F V
F V V
F F F

Exerccios 3.1-1
Com base nas tabelas 3.1-1 e 3.1-2, realize as tarefas seguintes.
1. Tomando como universo de discurso o conjunto dos nmeros reais R , e
considerando a sentena 0 > x ou 0 > y , classifique como verdadeira ou falsa cada uma das
seguintes afirmaes:
a) x pode ser negativo.
229
b) y pode ser zero.
c) y no pode ser negativo.
2. Determine o valor lgico da sentena Existem dois nmeros primos entre os
nmeros
2
3 e
4
2 , ou 2
2
>

.
3. Considere os conjuntos { } 4 ; = y R y A , { } 4 ; > = t R t B e { } 4 = C . Ento,
podemos afirmar:
C B A =
C B A =
4. Se x e y so nmeros reais tais que 0 < y x , ento classifique como falsas ou
verdadeiras as seguintes sentenas:
a) 0 > x e 0 > y
b) 0 < x ou 0 > y
c) 0 > x ou 0 > y
d) 0 < x e 0 > y
e) 0 ( > x ou ) 0 < y e 0 ( < x ou ) 0 > y
f) 0 ( < x e ) 0 > y ou 0 ( > x e ) 0 < y
5. Classifique, justificadamente, como falsa ou verdadeira a sentena Para todo nmero
real, a , ocorre a a =
2
e 1
4
cos <

.

Como na vida, saber negar (dizer um no) em Matemtica requer muita cautela.
chegada a hora de trabalharmos com o conectivo lgico que expressa a negao de uma
sentena.

Negao
Definio 3.1-2
Se P representa uma sentena, a negao de P a sentena no ocorre P (ou,
simplesmente, no P ), e denotada por P . tambm comum o uso da notao P ~ para
representar a negao de P .


A definio 3.1-2 fica materializada nas seguintes relaes: Se P falsa, ento P
verdadeira e Se P verdadeira, ento P falsa. Esta materializao pode ser expressa
da seguinte maneira em uma tabela-verdade.
Fig. 3.1-3 Tabela da negao P

230
P P
V F
F V

Por achar que a compreenso do uso deste conectivo ganha mais densidade em situaes
que envolvam todos os quatro aqui destacados: ou, e, no, se ... ento, que vamos voltar a
ateno para este ltimo agora.

O Condicional Q P
Definio 3.1-3
Sendo P e Q so sentenas, a sentena no formato Se P , ento Q chamada
implicao (ou condicional), e representada por Q P . A sentena P chama-se antecedente
enquanto Q recebe a denominao de concluso (ou conseqente).

Faremos a construo da tabela-verdade deste conectivo com inspirao na anlise de um
caso bem particular da ocorrncia dele no nosso idioma. Adiantamos que a tabela-verdade para o
conectivo Se P , ento Q a seguinte:

Fig. 3.1-4 Tabela-verdade da implicao Q P
P Q Q P
V V V
V F F
F V V
F F V

Suponhamos que um amigo tenha afirmado: Se amanh fizer sol, ento irei praia. Em
que circunstncias diramos que o amigo no falou a verdade ao afirmar isso? Examinemos as
possibilidades segundo o que est expresso na tabela 3.1-4.

No primeiro caso (primeira linha da tabela), em que realmente fez sol e o amigo foi
praia, ele falou a verdade.
No segundo caso (segunda linha da tabela), em que fez sol e o amigo no foi
praia, ele no falou a verdade.
Nos terceiro e quarto casos, no fez sol. Nestes, no razovel considerar o amigo
mentiroso, porque ele fez uma afirmao que dependia da ocorrncia de um dia ensolarado.

Vale observar que o conectivo Se P , ento Q pode ser formulado de vrias maneiras.
Aqui listamos algumas:
231
Q verdadeira sempre que P verdadeira
Q, se P
P condio suficiente para Q (significando que basta que P ocorra, para que Q
tambm ocorra).
Q condio necessria para P (significando que para que P acontea
necessrio que Q acontea).
P ocorre somente se Q ocorre.
Uma outra observao que vale a pena ser feita que, diferentemente do que se passa na
linguagem natural, em que dizer P implica Q afirmar que entre P e Q existe uma relao de
causa e efeito, a implicao, nos mbitos da Lgica e da Matemtica, no est sujeita a tal
relao. Em outras palavras, o valor lgico de Q P depende unicamente dos valores lgicos
de P e de Q, no sendo necessria qualquer conexo factual (palpvel, perceptvel) entre P
e Q. Por isso, faz sentido atribuir um valor lgico a sentenas do tipo Se um nmero
racional, ento 216 no mltiplo de 9. A propsito, voc consegue enxergar alguma relao de
causa e efeito entre as componentes desta sentena? Qual o valor lgico desta sentena?
Aproveite para se lembrar de situaes do cotidiano em que o uso do se .., ento expressa
claramente relaes de causa e efeito.

Ainda sobre o condicional Q P , h algo importante a ser dito. Trata-se de sentenas
correlacionadas a ela que tm papel fundamental na comunicao em Matemtica. Vejamos isto.
A sentena P Q chamada recproca de Q P .
A sentena P Q denominada contrapositiva de Q P .















Desmanchando uma confuso. Como dissemos ali atrs, recprocas e contrapositivas de
sentenas so peas-chave na comunicao em Matemtica. Por causa disso, vale a pena
examinar algumas particularidades delas. O que queremos ressaltar pode ser obtido a partir
de uma comparao de tabelas-verdade. Portanto, compare as tabelas-verdade de
Q P
,
P Q
e
P Q
. A que concluso chegou?
isto mesmo:
- O grau de parentesco entre uma sentena e a sua recproca incerto.
- J o parentesco entre uma sentena e a contrapositiva dela total: elas so equivalentes.
Em termos puramente simblicos, isto pode ser expresso assim:
) ( ) ( P Q Q P
.
Uma aplicao. Considere a proposio Se
n
um inteiro par, ento
n
um mltiplo de
2. Formule a recproca e a contrapositiva desta proposio.
232
A versatilidade da linguagem natural possibilita-nos dispor de vrias sentenas para
expressar uma mesma informao. No cotidiano, o contexto que determina qual, entre vrias
sentenas, mais adequada para transmitir a informao que queremos. Versatilidade e
convenincia como essas quando aplicadas a situaes matemticas do origem noo de
equivalncia entre sentenas. Informalmente, diramos que duas sentenas que transmitem uma
mesma informao so equivalentes. Pondo certa dose de formalidade, poderamos adotar a
seguinte definio para sentenas equivalentes.

Sentenas equivalentes
Definio 3.1-4
Sendo
n
R R R R ..., , , ,
3 2 1
representaes de n sentenas simples, usaremos a notao
) ..., , , , (
3 2 1 n
R R R R P para representar uma sentena, P , composta pelas sentenas
n
R R R R ..., , , ,
3 2 1
. De modo anlogo, adotaremos a notao ) ..., , , , (
3 2 1 n
R R R R Q para representar a
sentena composta, Q, cujas componentes so as sentenas simples
n
R R R R ..., , , ,
3 2 1
. Diremos
que as sentenas P e Q so equivalentes quando possuem valores lgicos iguais para cada
combinao possvel dos valores lgicos das sentenas simples
n
R R R R ..., , , ,
3 2 1
. Para indicar que
duas sentenas, P e Q, so equivalentes ser usada a notao Q P .

A essncia do contedo da definio 3.1-4 que duas sentenas equivalentes possuem
tabelas-verdade iguais. Sendo assim, sugerimos que voc recorra a tabelas-verdade para
constatar as equivalncias listadas logo depois deste pargrafo. Com isso, ter dado incio
organizao de uma pequena coletnea de sentenas equivalentes que esto entre as mais
usadas. As referidas equivalncias so algumas importantes propriedades da conjuno e da
disjuno:
1. Idempotncia
a) P P P b) P P P
2. Comutatividade
a) P Q Q P b) P Q Q P
3. Associatividade
a) ) ( ) ( R Q P R Q P
b) ) ( ) ( R Q P R Q P

4. Distributividade
a) ) ( ) ( ) ( R P Q P R Q P
b) ) ( ) ( ) ( R P Q P R Q P


233
Exerccios 3.1-2
Parece que agora reunimos condies para armar um caleidoscpio de sentenas em que
os conectivos lgicos que vimos estudando tm papel determinante. Construa tabelas-verdade
para verificar as equivalncias, quando for o caso. Vamos l.
1. P P (Dupla negao)
2. Leis de De Morgan
a) Q P Q P ) (
b) Q P Q P ) (
c) Estabelea um paralelo entre as Leis de De Morgan e as seguintes conhecidas relaes
encontradas na Teoria dos Conjuntos envolvendo a operao de complementao de unio e
interseo de dois conjuntos, A e B :
c1)
C C C
B A B A = ) (
c2)
C C C
B A B A = ) (
d) Pesquise sobre a vida e a obra do matemtico e lgico Augustus De Morgan.
3. Considere que x e y representem nmeros reais quaisquer. Escreva por meio de
smbolos lgicos e matemticos a negao de cada uma das seguintes sentenas:
a) 0 x
b) 0 < x
c) 0 z
d) 0 > z
4. Encontre sentenas equivalentes s sentenas dadas a seguir. Por meio de tabelas-
verdade confira a veracidade dos resultados encontrados.
a) ) ( Q P
b) ) ( Q P
c) ) ( Q P
d) ) ( Q P
5. Examine a tabela-verdade para a sentena ) ( Q P que voc construiu no item c) da
questo anterior. Compare-a com a tabela da implicao (Fig. 3.1-4). A que concluso chegou?
6. Considere a sentena Se i um nmero natural par, ento i um nmero inteiro no-
negativo. Formule uma sentena equivalente a esta, baseando-se no que obteve na questo
anterior.

Esperamos que, trabalhando na questo 5 acima, voc tenha concludo que as sentenas
) ( Q P e Q P so equivalentes. Agora, aplicando De Morgan sentena ) ( Q P ,
chegamos tambm seguinte concluso: Q P equivalente a Q P .

234
Como falamos anteriormente, no nosso cotidiano somos levados a conviver com
formulao e compreenso de modos distintos de expressar uma mesma informao. Tambm
dissemos que a escolha por essa ou aquela formulao , em grande medida, ditada pelo
contexto. Ou seja, s vezes fala mais alto a agilidade na veiculao/captao da informao,
enquanto em outras ocasies a preciso o item que deve sobressair. Parece claro que
situaes ideais seriam aquelas em que consegussemos reunir as duas coisas. Pois bem, em
ambientes formais, como no caso da Matemtica e da Lgica, isso tambm se passa.

Tomemos como exemplo o contedo do pargrafo anterior. Como voc formularia a
negao da implicao Q P ? Saiba que esta no uma tarefa muito fcil se partimos dela
prpria. Entretanto, se partimos de uma sentena equivalente a ela, digamos, Q P , temos:
Q P Q P , e, assim, vem: ) ( ) ( Q P Q P , o que, por De Morgan, leva-
nos a: Q P Q P Q P Q P ) ( ) ( . Vale a pena observar que esta cadeia de
equivalncias uma espcie de retrato de um especfico processo mental que experimentamos
para construir modos diferentes de veicular uma mesma informao. Ressalte-se, porm, que a
marca da individualidade em cada um de ns imprime modos peculiares de organizar o
pensamento e, portanto, a cadeia a que chegamos acima pode sofrer alteraes de pessoa para
pessoa. Depois desta breve digresso acerca de processo mentais, voltemos ao ponto em
questo.

Da cadeia obtida no pargrafo anterior, fiquemos com a equivalncia Q P Q P ) ( .
Esta equivalncia, como voc deve ter notado no trabalho que pedimos para fazer, permite-nos
formular textualmente a negao da implicao Q P a partir de sua equivalente, Q P .
Portanto, no modo textual, esta equivalncia pode ser interpretada da seguinte maneira: Dizer que
no ocorre a implicao Q P significa dizer que podem acontecer, simultaneamente, P e
Q . Em outros termos, pode ocorrer P sem que Q ocorra.

Com o que acabou de ver, formule textualmente uma negao para a sentena Se k
um nmero real qualquer, ento 0
2
> k .





Rigorosamente falando, o que fizemos at aqui foi trabalhar com formas de sentenas, isto
, com representaes delas, e no com sentenas propriamente ditas. Assim, por exemplo, ao
tratar de ) ( Q P Q estaremos, na verdade, falando de todas as sentenas que so da forma
) ( Q P Q . Para ilustrar mais explicitamente isto, observemos que a sentena Se todo losango
No moodle exploraremos mais abundantemente estas relaes
de equivalncia. Prepare-se para a viagem.
No Moodle...
235
um paralelogramo, ento 12 menor do que 39 ou todo losango um paralelogramo dota de
significado (matemtico) a forma de sentena ) ( Q P Q . Ou, ainda, a sentena acima referida
uma instncia da forma de sentena ) ( Q P Q . Para exercitar esta distino (entre sentena
e forma de sentena), faa o que pedimos a seguir.

Exerccios 3.1-3
Construa tabelas-verdade para as sentenas a seguir. Procure atribuir significados a cada
uma delas, isto , associe-as a situaes reais do universo matemtico.
1a) ) ( Q P P
Uma soluo:
P Q Q P ) ( Q P P
V V V V
V F V V
F V V F
F F F V

A sentena Se x um nmero real satisfazendo 3 > x , ento x um nmero real
satisfazendo 3 > x ou 39 , 2 6 < do tipo ) ( Q P P .
1b) ) ( Q P Q
2a) P Q P ) (
2b) Q Q P ) (
3) ) ( ) ( Q P Q P

Vejamos agora mais um interessante carter utilitrio de tabelas-verdade. Alm do que j
aprendemos atravs delas, estas podem sinalizar quando no trabalho com sentenas estamos em
uma das seguintes situaes crticas (extremas): sendo redundantes ou caindo em contradio.
Definio 3.1-5
Uma sentena denominada tautologia se, para cada possvel combinao dos valores
lgicos de suas componentes, ela sempre assume o valor lgico verdadeiro (V ). Por outro lado,
dizemos que uma sentena uma contradio quando, diante de tais combinaes, ela assume
apenas o valor lgico falso ( F ).

Percebeu como uma tabela-verdade pode ser de grande utilidade na deteco de
tautologias e contradies? Exercite esta percepo construindo tabelas-verdade para as
seguintes sentenas. Em seguida, classifique-as como tautologias ou contradies.
P P
P P
236
) ( ) ( Q P Q P

Agora, assumindo uma postura bastante informal, experimente construir uma pequena lista
de expresses lingsticas, comuns no nosso cotidiano, que lembram as formais tautologias e
contradies. Aqui vai uma mozinha: Durante muito tempo, o rdio foi um dos principais elos de
ligao entre o campo e a cidade. Esta lembra uma tautologia, por ser redundante. Um lingista
diria que trata-se de um pleonasmo.










O Bicondicional Q P
H situaes matemticas em que, metaforicamente, poderamos dizer que ocorre uma
simbiose (aproveite para vasculhar o seu repertrio conceitual da Biologia, e veja o que vem a ser
simbiose no registro dela): duas sentenas alimentando-se mutuamente. Estamos falando de
situaes envolvendo duas sentenas, P e Q, em que so verdadeiras ambas as sentenas
Q P e P Q .

Quando isto ocorre, dizemos que estamos diante de um bicondicional, que, como o prprio
nome indica, formado por dois condicionais. Formalmente falando, o bicondiconal definido
pela conjuno ) ( ) ( P Q Q P , e , abreviadamente, denotado por Q P . Usando o
registro da Matemtica, dizemos que a ocorrncia do bicondicional, Q P , significa que:
P implica Q e Q implica P , ou, equivalentemente,
P condio suficiente para Q e Q condio suficiente para P , ou, ainda,
Q condio necessria para P e P condio necessria para Q. Tambm,
Q, se P e P , somente se Q.

Vejamos como fica a tabela-verdade do bicondicional Q P .




Benditas contradies! No dia-a-dia, vivemos evitando redundncias e
contradies. Particularmente, as contradies parecem s encontrar guarida em mbitos
muito restritos, tais como as esferas de trabalho investigativo, pois ali uma condenao
quase sempre acontece a partir de contradies em que se metem eventuais suspeitos
(indiciados). Por mais incrvel que possa parecer, fizemos esta pequena pausa para
anunciar que na Unidade III lidaremos com situaes matemticas em que contradies
sero objetos de desejo.
237
Fig. 3.1-5 Tabela do bicondicional Q P

P Q Q P P Q Q P
V V V V V
V F F V F
F V V F F
F F V V V

Esta tabela fornece algumas informaes importantes. A sentena Q P verdadeira
em duas situaes: quando ambas P e Q so verdadeiras ou quando as duas so falsas, isto ,
quando as duas possuem o mesmo valor lgico. Quando P e Q tm valores lgicos contrrios, a
sentena Q P falsa.

Vamos aproveitar a ocasio para ver uma aplicao do significado do bicondicional.
Deixando de lado as razes de cunho pedaggico que levam a isto, o certo que a presena do
bicondicional em proposies matemticas tem altssimas chances de trazer embaraos para o
aprendiz, seja no entendimento da prpria proposio ou na compreenso de uma demonstrao
sua.

Vamos abordar esta questo a partir de um caso particular. Tomemos a seguinte
proposio: Considere que A e B sejam conjuntos. Sendo assim, A B A = se, e somente
se, B A . Tente encontrar a presena do bicondicional nesta proposio. Se no encontrou,
siga nossos passos a partir daqui. Primeiramente, comecemos por observar que esta proposio
tem a presena de duas sentenas, quais sejam: A B A = , que representaremos por Q e
B A , que ser denotada por P . Agora, dirija a ateno para aquela listinha de significados
de proposies do tipo Q P que apresentamos logo acima da tabela 3.1-5. Uma delas diz que
Q P significa Q, se P e P , somente se Q. Com isto, vemos que, na verdade, a
proposio que estamos estudando aqui composta de duas sentenas, a saber: A B A = , se
B A e B A , somente se A B A = . Em termos puramente simblicos, a proposio em
questo pode muito bem ser traduzida como ) ( ) ( P Q Q P , ou seja, Q P . Em suma,
a proposio que estamos analisando pode ser reescrita da seguinte maneira: Considere que
A e B sejam conjuntos. Sendo assim, so vlidas as sentenas: Se A B A = , ento
B A e Se B A , ento A B A = .

Aps esta breve discusso, uma concluso a que podemos chegar que uma proposio
do tipo P se, e somente se Q evidencia a ocorrncia de um bicondicional. Portanto, sempre
que voc sentir algum desconforto para compreender o que um bicondicional quer dizer, no
238
hesite em reescrev-lo como a conjuno de dois condicionais. Tudo comea, claro, com a
escolha adequada das sentenas que comporo a conjuno. Deste modo, o famoso se, e
somente se no passa de uma forma abreviada para exprimir a conjuno de duas sentenas
do tipo se ... ento.

Faa agora mais aplicaes do que j foi discutido at aqui.

Exerccios 3.1-4
1. Justifique por que razovel ler-se Q P como P condio necessria e
suficiente para Q.
2. Recorra a uma tabela-verdade para mostrar que a sentena Q P equivalente
a ) ( ) ( Q P Q P .
3. E, sem o uso de uma tabela-verdade, como voc resolveria a questo do item 2?
4. Mostre que so equivalentes as sentenas ) ( ) ( R Q R P e R Q P ) ( .
5. Encontre uma forma de sentena que seja equivalente negao de Q P .
6. Formule a negao da proposio A B A = se, e somente se, B A .

3.2 Quantificadores lgicos

Nesta seo trataremos de um tpico que tambm tem funo de destaque nos
processos comunicativos em Matemtica: os quantificadores lgicos. Surgem naturalmente como
so na comunicao em geral. Sempre que precisamos nos referir a caractersticas de seres ou
coisas de determinadas categorias, conveniente destacar a quantidade dos que so detentores
de tais propriedades: So todos? Somente alguns? Nenhum?

Estes cuidados so fundamentais para a comunicao em Matemtica, pois esto
intimamente ligados s operaes de identificao e de discriminao. Previnem contra erros e
imprecises, por exemplo. Ser par caracterstica de quantos nmeros divisveis por 2 ?
Quantos so os nmeros pares que so primos? So quantos os tringulos retngulos cuja soma
dos ngulos internos menor do que
o
180 ? Nossa experincia permite responder, segundo a
ordem das perguntas acima, o seguinte: Todos, um e nenhum.

Aqui, trataremos de variados conjuntos, que sero nossos universos de discurso cujas
denominaes e representaes sero anunciadas conforme a necessidade. Usaremos letras
minsculas de alfabetos conhecidos, para representar elementos genricos de tais conjuntos: x ,
y , , entre outras. Estas sero chamadas variveis. Vale observar que expresses tais como:
para cada, para todo(a), algum(a), existe algum(a) exprimem quantificao. Da serem
denominadas quantificadores.
239

Seguindo notao convencionalmente adotada, usaremos o smbolo para representar
expresses tais como: para todo(a), para cada, qualquer que seja. Dada a natureza daquilo
que representa, o smbolo , de modo simplificado, chamado quantificador universal.
Analogamente, o smbolo , associado a expresses do tipo algum(a), existe algum(a),
chamado quantificador existencial.

Uma sentena, ) (x P , que exprime algo a respeito da varivel x , em um dado universo de
discurso U , pode ser falsa para certos valores de x ou verdadeira, para outros valores de x .
Para significar que ) (x P verdadeira para todo U x , escrevemos )) ( ( x P x . De modo
semelhante, para dizer que ) (x P verdadeira para algum (pelo menos um) U x , escrevemos
)) ( ( x P x .
)) ( ( x P x l-se: Para todo x , ocorre ) (x P .
)) ( ( x P x l-se: Existe (pelo menos) um x para o qual ocorre ) (x P .

Fixado o universo de discurso, U , o conjunto formado pelos elementos U x que tornam
a sentena ) (x P verdadeira chamado conjunto-verdade de ) (x P . Assim, quando ) (x P
verdadeira para todo U x , o conjunto-verdade de ) (x P o prprio U . Se existe algum U x ,
para o qual acontece ) (x P , o conjunto-verdade de ) (x P no-vazio.

Vejamos alguns usos dos smbolos de quantificao.
Se R U = o conjunto dos nmeros inteiros, a forma de sentena ) 0 ( < x x
significa que existe (pelo menos) um nmero inteiro negativo. Trata-se, portanto, de uma sentena
verdadeira. Qual seria o valor lgico desta sentena se U fosse o conjunto dos nmeros
naturais?
Se U o conjunto dos nmeros reais, a sentena ) 0 4 (
2
+ y y significa que
existe um nmero real y , tal que 0 4
2
+ y . Uma sentena falsa, portanto. Agora, estamos
diante de uma sentena falsa. O que aconteceria com o valor lgico desta sentena se U fosse o
conjunto dos nmeros complexos?
Se Q U = o conjunto dos nmeros racionais, a forma de sentena ) ( y x y x >
significa que para cada nmero racional x , existe um nmero racional y de tal modo que y x > .


J vimos a necessidade de trabalhar com a negao de sentenas suportadas por
implicao, disjuno e conjuno. Chegou a vez de lidarmos com a negao de sentenas que
exprimem quantificao. A formalizao deste tipo de negao parte de situaes bastante
intuitivas, inspiradas no cotidiano. Por exemplo, negar que todo animal mamfero equivale a
240
dizer que existe pelo menos um animal que no mamfero. Por sua vez, negar que existe pelo
menos um boi alado equivale a dizer que qualquer que seja o boi, ele no alado.

A formalizao da negao de sentenas que expressam quantificao pode ser
apresentada da seguinte maneira:
)) ( ( )) ( ( ( x P x x P x
)) ( ( )) ( ( ( x P x x P x

Para os dois exemplos a seguir, considere que o universo de discurso seja o conjunto dos
nmeros reais. Assim, temos:
) 0 ( )) 0 ( ( )) 0 ( ( < < x x x x x x
) 0 ( )) 0 ( ( )) 0 ( ( > z z z z z z
A esta altura, vale lembrar que o valor lgico de uma sentena est intimamente ligado ao
contexto. Porque o universo de discurso o conjunto dos nmeros reais, para os exemplos dados
acima, a primeira seqncia de sentenas falsas. J a segunda seqncia formada por
sentenas verdadeiras. Experimente o jogo de alterar o universo de discurso, para ver o que
acontece.

Achamos conveniente apresentar aqui dois importantes casos particulares dos tipos de
negao sobre os quais estamos falando, desta feita envolvendo o condicional.
)) ( ) ( ( ))) ( ) ( ( ( ))) ( ) ( ( (
2 1 2 1 2 1
x P x P x x P x P x x P x P x
)) ( ) ( ( ))) ( ) ( ( ( ))) ( ) ( ( (
2 1 2 1 2 1
x P x P x x P x P x x P x P x

Baseados nisto que acabamos de estabelecer, temos, por exemplo:
- A negao da proposio Para qualquer que seja o nmero natural x , se x primo
ento x mpar ou x igual a 2 pode ser feita observando que a sentena que queremos
negar do tipo: )) ( ) ( ( (
2 1
x P x P x em que ) (
1
x P representa a sentena x primo e ) (
2
x P
representa a sentena x mpar ou x igual a 2 . Recorrendo primeira das duas cadeias de
equivalncias vistas acima, notamos que para chegar negao pedida precisaremos construir a
conjuno ) ( ) (
2 1
x P x P . Ora, mas ) (
2
x P uma disjuno ( x mpar ou x igual a 2 ) e,
para sua negao, o recurso a De Morgan recomendvel. Por uma de suas leis, a negao de
) (
2
x P a conjuno da negao de x mpar com a negao de x igual a 2 , isto , x
par e x diferente de 2 . Com isto, a tarefa est realizada e negao dada por: Qualquer
que seja o nmero natural x , se x primo ento x par e x diferente de 2 . claro que o
que fizemos aqui foi uma traduo literal do rigor da Lgica para o Portugus, resultando em um
linguajar pouco elegante. Reunindo elegncia e rigor, a negao que foi solicitada poderia ser
expressa assim: Qualquer que seja o nmero natural x , se x primo ento x um nmero par
diferente de 2 .
241

Que tal um efetivo exerccio intelectual agora? As questes que apresentamos no seguinte
bloco de exerccios tm por finalidade faz-lo(a) usar adequadamente os quantificadores lgicos
que estamos estudando nesta seo.

Exerccios 3.2-1
Considere, aqui, o conjunto dos nmeros reais como o universo de discurso.
1. Use smbolos da Lgica e da Matemtica para traduzir as seguintes sentenas.
a) Todo nmero real t , diferente de zero, satisfaz relao 0
2
> t .
Uma soluo: ) 0 ) 0 ( (
2
> = t t t .
b) Existe um nmero irracional, y , tal que 0 3
2
= y .
c) No existe um nmero racional w que seja um natural.
d) Nem todo nmero real, z , tal que 0 z , satisfaz 5 < z e 2 > z .
e) Para todo nmero real, x , tal que 3 > x , ocorre 0 3 2
2
= x x .
f) Existe um nmero inteiro, w, tal que, para cada nmero real s , tem-se w s < .

2. Expresse, por escrito, a negao de cada uma das sentenas que aparecem na questo
1 acima.











242
Unidade III Demonstrao em Matemtica
1. Situando a Temtica
Esta afirmao, Cassandra, voc vai ter de provar por a mais b. Voc arriscaria afirmar
que a frase que acabou de ler, dita em tom to imperativo assim, s poderia ter como contexto
uma sala de aula de Matemtica? Ns, mesmo sem poder ouvir o que voc tem a falar diante
desta pergunta, arriscamos dizer que acabou de pronunciar, nem que tenha sido de si para si, um
sonoro No. que as nossas (minhas e suas) interconexes culturais garantem que a frase em
questo cabe em qualquer ambiente social. Ela habita o imaginrio popular, e apenas toma de
emprstimo o rigor com que, ainda segundo este mesmo imaginrio, a Matemtica trata a verdade.
Falando de modo bastante simplificado, diramos que a verdade em Matemtica
materializa-se atravs de uma complexa teia de objetos e relaes entre eles, que so
estabelecidas atravs de afirmaes indefectveis: axiomas e teoremas. Os axiomas so, para
uma dada teoria (geometria, lgebra etc.), sentenas geradoras, sobre as quais se assenta todo e
qualquer processo de deduo ou resultado. Os teoremas constituem as afirmaes que so
geradas pelos axiomas. Cada teorema segue uma estrutura padronizada, em que sobressaem
dois blocos: o das hipteses e o da concluso. As primeiras renem as condies sob as quais
algo acontece; a concluso justamente o algo.
Parece que a engenharia desta articulao, apresentada de modo supersimplificado
acima, que provoca uma sensibilizao no senso comum sempre que esto em jogo rigor ou
harmonia para uma tomada de deciso. Tudo se passa como se o senso comum se apropriasse
profundamente de um uma espcie de modo matemtico de ser. Exemplos disto no faltam:
expresses tais como provar por a mais b, chegar a um denominador comum, como dois e
dois so quatro, juntamente com outras tantas, caram no domnio pblico.
Vale salientar que o estabelecimento de um teorema requer um processo de elaborao
que inclui etapas importantes. Por vezes, acontece um lampejo e o matemtico parece apossar-se
de um palpite segundo o qual o que ele tem diante de si um fato matemtico; em outros casos,
levado a uma suspeita destas pelo reconhecimento de padres que surgem de um apurado senso
de observao de interligaes. Achamos oportuno trazer ao seu conhecimento que esta ltima
modalidade ganhou mais nfase com o advento de recursos de clculos computacionais de alta
preciso e velocidade.
Enquanto um lampejo e uma suspeita, da maneira como foram descritos acima, no so
provados ou refutados estes assumem a condio de uma conjectura. Aquilo que serve para
refutar uma conjectura denominado contra-exemplo, isto , um exemplo que contradiz a
conjectura.
243
2. Problematizando a Temtica
A histria da Matemtica registra o aparecimento de conjecturas que se tornaram
mundialmente famosas, quer pela temtica envolvida ou pela simplicidade dos seus enunciados.
Entre estas, destaca-se a conjectura que por mais de 350 anos ficou conhecida como O ltimo
Teorema de Fermat, hoje reverenciada como Teorema de Fermat-Wiles, em homenagem ao
matemtico britnico Andrew Wiles, que, em 1995, apresentou uma prova deste teorema.
Segundo a literatura sobre o tema, por volta do ano 1637, o matemtico francs Pierre de Fermat
afirmou ter elaborado uma prova cabal e simples (mas que no cabia naquele espao onde
escreveu tal declarao) para o seguinte: Se 2 > n um inteiro, ento no existem inteiros, no
simultaneamente nulos, x , y , e z , que satisfaam relao
n n n
z y x = + .
O termo ltimo foi atrelado quela conjectura porque era a ltima que, dentre vrias
conjecturas de Fermat, ficou durante muito tempo sem soluo. Todas as outras foram provadas
verdadeiras ou foram refutadas. No meio das poucas que foram refutadas, est a seguinte: Se p
um nmero natural, ento o nmero 1 2
2
+
p
primo. A refutao foi apresentada pelo
matemtico suo Leonhard Euler, mostrando que, para 5 = p , a afirmao falsa, pois
641 6700417 297 . 967 . 294 . 4 1 2
5
2
= = + . Com isto, Euler apresentou um contra-exemplo para essa
conjectura de Fermat.
A situao descrita acima deve servir de inspirao para a postura que devemos adotar
diante de uma frase declarativa em Matemtica. No caso em questo, foram necessrios apenas
seis passos para Euler derrubar a declarao de Fermat. Portanto, muita prudncia e procura por
argumentos bem fundados so procedimentos recomendveis para o trabalho de elaborao de
discursos em Matemtica.







3. Conhecendo a Temtica
3.1 Demonstraes envolvendo conectivos lgicos
Para falar sobre demonstrao no contexto em questo convm uma palavrinha acerca de
um tipo de raciocnio que vital para a construo de significados em Matemtica: o raciocnio
dedutivo.
Ampliando o seu conhecimento. Procure saber mais sobre as vidas e as obras de
Fermat e Wiles, particularmente sobre O ltimo Teorema de Fermat. Para comeo desta
viagem, sugerimos visitar a enciclopdia virtual Wikipedia, no endereo www.wikipedia.org.
Alm disso, vale a pena ler o livro O ltimo Teorema de Fermat de autoria de Simon
Singh, publicado no Brasil em 1998 pela Editora Record.

Ampliando o seu conhecimento...
244
Grosso modo, dizemos que o raciocnio dedutivo se caracteriza por possibilitar que se
obtenham informaes acerca de eventos (situaes) especficos a partir de eventos (situaes)
gerais. Essa verso traz desconforto aos lgicos, pois h raciocnios dedutivos vlidos que partem
do particular para o geral: gua potvel inspida. Portanto, existe algo inspido.

De um modo menos informal do que isto, diramos que o raciocnio dedutivo empregado
na construo de um argumento em que a concluso implicao direta de premissas
conhecidas. Ou seja, se as premissas so verdadeiras ento a concluso verdadeira.

Este o tipo de raciocnio que d sustentao final a boa parte do trabalho desenvolvido
por matemticos. Estes, para se convencerem e se fazerem convencidos por seus pares,
recorrem a vrios procedimentos: fazem simulaes com casos particulares, fazem tentativas para
ver at que ponto so confiveis as conexes entre suas hipteses e suas concluses, isto , at
que ponto aquelas podem conduzir a erros; alm disso, matemticos, como j foi dito
anteriormente, recorrem inevitavelmente intuio.

Mas, a sua convico acerca do que se lhe apresentado como fato matemtico s se
realiza se o tal fato passa nos testes dos princpios do raciocnio lgico. Isto se d atravs de um
procedimento a que os matemticos denominam prova ou demonstrao.
Quem de vocs j no viu uma prova matemtica? Mais do que isto, muitos j realizaram
demonstraes. Vamos dedicar um olhar mais atento a este tema por tratar-se de algo que
inerente ao cotidiano do trabalho matemtico.

A construo de uma prova matemtica tem, como diz Daniel Velleman (Velleman, p. 82)
no seu livro How to Prove It, forte analogia com a montagem de um quebra-cabea, pois, por
exemplo, no h uma receita universal para se obter xito em uma tarefa destas, mas certos
procedimentos parecem levar a bons resultados:
No parece sensato sair colocando as peas no modo uma sim, outra no,
e depois voltar preenchendo as lacunas que ficaram.
Tampouco produtivo comear pelo topo e ir assim at a base, ou vice-
versa; da esquerda para a direita, ou vice-versa.
A prtica nos diz que vale a pena comear pelas bordas e tentar montar
pores a partir delas, avaliando se estamos no caminho certo.
Tentativas s vezes podem conduzir a uma colocao que descobrimos no
ser legal; neste caso, tratamos de fazer as correes que consideramos convenientes.
sempre bom parar e dar uma olhada panormica, a fim de vermos se o
que temos feito at ali apresenta fortes indcios daquilo que queremos alcanar. Somos
tomados por uma sensao prazerosa ao perceber que aquilo que j conseguimos indica,
por exemplo, a formao de partes de corpos, pores de um jardim, picos de montanhas
245
por detrs e por cima das quais j vislumbramos o sol a espraiar seus raios em um cu
azulado etc.
A, mais uma daquelas paradinhas, e mos obra, para, minutos, horas,
quem sabe, dias depois, termos as peas enlaadas de modo harmnico, enchendo de
brilho de satisfao o nosso olhar diante de uma obra construda com doses equilibradas
de racionalidade e intuio.

Uma vez composto o quebra-cabea, ser que nos desfazemos dele imediatamente?
quase certo que no, o deixamos ali e a ele voltamos para, admirando-o, reviver o ato da
construo: Qual poro nos deu mais trabalho? Qual surgiu com mais facilidade? Qual poro foi
geradora imediata de vrias outras?

Informalmente falando, deste modo que se d a construo de uma demonstrao em
Matemtica, objeto de trabalho nesta seo. Esperamos, com a presente abordagem, contribuir
para que voc compreenda estruturas e funcionamento de demonstraes, mas, mais que isso,
torne-se capaz de constru-las com autonomia.
Pois bem, agora, apropriemo-nos mais formalmente de alguns conceitos e nomes.

Teorema o nome que os matemticos do a um texto que serve de resposta definitiva a
alguma indagao que feita no universo matemtico. Nesta resposta, h condies que
conduzem a um fato bem definido. Essas condies recebem a denominao de hipteses do
teorema e o fato bem definido a tese deste.

Normalmente, nas hipteses e na tese so encontradas variveis livres que ali
representam, genericamente, objetos do universo de discurso do teorema. Quando substitumos
tais variveis por valores particulares obtemos o que se chama uma instncia do teorema.

Uma afirmao com jeito de teorema de fato um teorema quando se mostra vlida para
toda e qualquer instncia sua. Quando, para alguma instncia, a validade quebrada, estamos
diante de algo que tem apenas jeito de teorema, mas no um teorema. Neste caso, aquela
instncia chamada um contra-exemplo para aquela afirmao.


3.1.1 Teoremas cujas concluses so do tipo Q P


Consideremos o seguinte teorema: Suponha que x e y sejam nmeros reais quaisquer
satisfazendo 5 > x e 2 < y . Ento, 19 3
2
> y x .
246

No teorema acima, o universo de discurso o conjunto dos nmeros reais. Como
hipteses, temos x e y so nmeros reais tais que 5 > x e 2 < y . A tese do teorema
19 3
2
> y x ".

Ao substituir, a ttulo de ilustrao, x por 7 e y por 4 , vemos que
19 61 12 49 ) 4 ( 3 7
2
> = + = . Ou seja, temos aqui uma instncia do teorema: Como 5 7 > e
2 4 < , ento 19 ) 4 ( 3 7
2
> .

Ateno! No confunda uma instncia de um teorema com a prova deste. A prova s
estar realizada quando mostrarmos que a afirmao aplica-se a toda e qualquer instncia dele.
Aqui vai um desafio para voc: construa uma prova para o teorema acima. Compare o que
voc fez aqui com aquilo far, nesta mesma tarefa, depois de ter estudado demonstraes em
que a concluso do tipo Q P .

Mais uma tarefa. Mostre, por meio de um contra-exemplo, que a proposio Se x e y
so nmeros reais quaisquer, sendo 5 > x , ento 19 3
2
> y x no um teorema.

Agora, vejamos com mais detalhes como responder pergunta: O que fazer para
demonstrar um teorema em que a concluso do tipo Q P ?

Uma primeira providncia admitir que P seja verdadeira, o que equivale a acrescentar
P ao nosso conjunto de hipteses. Feito isto, partimos para provar que Q verdadeira. Observe
que, com isto, alteramos o conjunto inicial de hipteses mas no modificamos a lgica dos nossos
objetivos. Explicitamente, inicialmente tnhamos de provar Q P , ao passo que agora a
concluso a que queremos chegar Q.

Vale salientar que este procedimento tem como finalidade principal enriquecer o nosso
conjunto de hipteses que, esperamos, faa com o que a demonstrao flua mais naturalmente.
Mas, observemos que isto no encerra a demonstrao; gera, na verdade, um novo problema
que, provavelmente, seja menos complexo do que o original.

tambm oportuno ressaltar que no comum que uma demonstrao seja feita de um
s flego, nem que uma tcnica sozinha d conta do recado. Normalmente, comeamos com um
esboo que inclui o recurso a fatos matemticos que no constam do rol de hipteses do teorema,
alm de, s vezes, ser necessrio trazer cena outras tcnicas.

247
O conjunto resultante da agregao de novas hipteses ao conjunto de hipteses iniciais
recebe a denominao de dados, enquanto a concluso, que nesse processo resta ser provada,
chamada meta.

Faamos uma aplicao disto que acabamos de teorizar.

Teorema 3.1.1-1
Considere que x e y sejam nmeros reais positivos. Se y x > , ento
2 2
y x > .
Esboo de demonstrao
Comecemos por fazer uma radiografia do teorema em questo. Aqui, temos como hiptese
que x e y so nmeros reais. A nossa concluso do tipo Q P em que 0 : > > y x P e
2 2
: y x Q > .

A fim de organizar o pensamento, recorramos seguinte tabela, que chamaremos quadro
organizador do pensamento, e refletir a situao inicial do processo de demonstrao:

Dados Meta
x e y so nmeros reais positivos ) ( ) (
2 2
y x y x > >

De acordo com o que discutimos anteriormente, deveremos considerar y x > como um
fato (acrescentando-o nossa lista de hipteses) e, partir da, tentar provar que .
2 2
y x > Isto
implica que o nosso quadro inicial agora se altera para o seguinte:

Dados Meta
x e y so nmeros reais positivos
y x >
2 2
y x >


chegada a hora de pr a mo na massa, ou melhor, nos dados. Partamos, pois, para
articular os dados a fim de chegarmos meta:

Iniciamos por identificar algum parentesco entre os dados. Pois bem, ao comparar as
desigualdades y x > e
2 2
y x > , somos levados a imaginar que a multiplicao da primeira delas
por x ou por y parece nos aproximar da meta. De fato, teremos y x x x > ou y y y x > , isto
, y x x >
2
ou
2
y y x > . (Por que o sentido destas desigualdades no se altera?) Agora, basta
observar que
2 2
x y x y < < para concluir que, em qualquer um dos dois casos acima, teremos:
2 2
y x > , que a nossa meta.
248

O que fizemos acima foi um esboo descritivo (explicitao das entrelinhas) da
demonstrao do teorema. A demonstrao propriamente dita, segundo os padres dos
matemticos profissionais, normalmente composta por um texto enxuto, ou seja, que deixa
implcitas as entrelinhas.

Como ilustrao, apresentamos a seguir o que vem a ser uma demonstrao do teorema
3.1.1-1.
Demonstrao
Suponhamos que x e y sejam nmeros reais positivos quaisquer satisfazendo y x > . Ao
multiplicar a desigualdade y x > pelo nmero positivo x , obteremos y x x >
2
; fazendo o mesmo,
agora com y , chegaremos a
2
y y x > . Ou seja,
2 2
x y x y < < , o que nos d
2 2
x y < , que o
mesmo que
2 2
y x > , a nossa meta.

De uma maneira geral, a estratgia adotada acima pode ser estruturada da seguinte
maneira.

Para provar uma meta do tipo Q P , admita que P seja verdadeira e ento prove que Q
verdadeira.
Um esboo da demonstrao assume, inicialmente (antes de usar a estratgia), a seguinte
forma:

Dados Meta
Hipteses Q P

Depois da estratgia, o quadro organizador torna-se:

Dados Meta
Hipteses
P
Q


Nesta altura dos acontecimentos, mobilizamos o nosso repertrio de fatos matemticos
para tirar o melhor proveito das interconexes dos dados (hipteses + P ), a fim de alcanar a
meta, Q.

Em suma, tendo admitido que P verdadeira e provado que a sentena Q tambm o
equivale a ter provado que Q P verdadeira, a concluso do teorema.
249













Uma abordagem alternativa
s vezes, torna-se difcil ou trabalhoso demonstrar diretamente um teorema cuja concluso
do tipo Q P segundo a estratgia que acabamos de ver. Quando isto ocorre, mantemos a
estratgia, mas optamos por uma demonstrao indireta. Mais explicitamente, uma iniciativa que
se mostra bastante conveniente recorrer ao fato de que a sentena Q P equivalente sua
contrapositiva, P Q .

Em tais situaes, admitimos que a sentena Q seja falsa, isto , que a sentena Q
seja verdadeira, procedemos incorporao dela s hipteses iniciais, e isto faz com que a nossa
meta passe a ser provar que a sentena P falsa, ou seja, que a sentena P verdadeira. Os
dois primeiros quadros organizadores do pensamento assumem a seguinte configurao:
Antes da estratgia
Dados Meta
Hipteses
Q P

Depois da estratgia
Dados Meta
Hipteses
Q
P

Faamos agora uma aplicao desta abordagem alternativa.
Teorema 3.1.1-2
Suponha que x , y e z sejam nmeros reais satisfazendo relao y x > . Prove que se
yz xz , ento 0 z .
Nota digna de destaque. Procure identificar quais diferenas h entre o esboo da
demonstrao do teorema 3.1.1-1 e a demonstrao do mesmo. Achamos oportuno
chamar a sua ateno para uma diferena fundamental entre um e a outra, a saber: o
esboo caracterizado por explicaes de como o raciocnio da demonstrao
desenvolvido, ou seja, trata-se de um conjunto de aes essencialmente psicolgicas;
enquanto isto, a demonstrao propriamente dita marcada pela reunio de justificativas
tcnicas para as concluses (inferncias), isto , trata-se da realizao de atos
essencialmente matemticos.
Estas observaes extrapolam o caso particular aqui estudado, so caractersticas vlidas
em geral.
250


Esboo de demonstrao
Aqui, consideremos ) ( : yz xz P e ) 0 ( : z Q . Deste modo, chegamos ao seguinte
quadro:
Quadro 1, antes da estratgia
Dados Meta
x , y e z so nmeros reais
y x >
) 0 ( ) ( z yz xz

Observemos que a contrapositiva da meta ) ( ) 0 ( yz xz z , ou seja,
) ( ) 0 ( yz xz z > > , que equivalente a ) 0 ( ) ( z yz xz .

Assim, obtemos o seguinte quadro:

Quadro 2, antes da estratgia
Dados Meta
x , y e z so nmeros reais
y x >
) ( ) 0 ( yz xz z > >

A meta que temos agora ) ( ) 0 ( yz xz z > > , ou seja, P Q . Assim, para aplicar a
estratgia que escolhemos para estes casos, admitamos que a sentena Q seja verdadeira, isto
, que a sentena 0 > z seja verdadeira. Incorporando-a ao conjunto de hipteses, a meta torna-
se ) ( yz xz > e o prximo quadro organizador do pensamento assume a seguinte configurao:

Quadro 3, depois da estratgia
Dados Meta
x , y e z so nmeros reais
y x >
0 > z
yz xz >


Demonstrao
A demonstrao pode, ento, ser redigida da seguinte forma:
Por convenincia, adotaremos a estratgia que apela para a contrapositiva da concluso
do teorema. Assim, suponhamos, por hiptese, que 0 > z . Multiplicando ambos os membros da
251
desigualdade y x > pelo nmero positivo z , vamos obter yz xz > . Portanto, conclumos que se
yz xz ento 0 z .

A seguir, convidamos voc a fazer uma crtica utilizando o que acaba de ver sobre
demonstraes que envolvem concluses do tipo Q P .
Considere o seguinte teorema:

Teorema 3.1.1-3
Suponha que x seja um nmero real diferente de 5. Se 6
5
3 7
=

+
x
x
, ento 33 = x .
Voc concorda que o que apresentamos a seguir seja uma demonstrao deste teorema?
Justifique a sua resposta.

Tome 33 = x . Ento, teremos:

6
38
228
5 33
3 ) 33 ( 7
5
3 7
=

=

+
=

+
x
x
. Logo, se 6
5
3 7
=

+
x
x
, ento 33 = x .

Caso tenha discordado, apresente uma demonstrao do teorema 3.1-3.

Exerccios 3.1.1-1
1. Em cada situao seguinte, identifique a hiptese e a concluso.
a) A soma dos quadrados dos n primeiros nmeros naturais
6
) 1 2 )( 1 ( + + n n n
.
b) Considere que C seja um crculo,
1
P e
2
P sejam os pontos extremos de um dimetro
qualquer de C . Se
1
r e
2
r so retas tangentes a C nos pontos
1
P e
2
P , ento
1
r e
2
r
so paralelas.
c) Considere que a , b e c sejam nmeros reais. Se 0 < a , 0 < b e 0 4
2
= ac b , ento
a nica soluo da equao 0
2
= + + c bx ax negativa.
d) Se a e b so nmeros reais no-negativos, ento a mdia aritmtica deles no
menor do que a sua mdia geomtrica.
e) Se B A f : e C B g : so funes bijetivas, ento a funo C A f g : o
bijetiva.
f) Se B A f : uma funo bijetiva, ento x x f f =

) )( (
1
o , para todo A x e
y y f f =

) )( (
1
o , para todo B y .
2. Demonstre as proposies b), c), d), e) e f) da questo anterior.

252

3.1.2 Teoremas cujas concluses so do tipo Q P

Como j vimos, o conectivo se, e somente se caracterizado por uma sentena
bicondicional, ou seja, do tipo Q P . Esta, por sua vez, equivalente a ) ( ) ( P Q Q P .
Logo, para realizar a demonstrao de um teorema cuja concluso seja do tipo em questo, basta
que apliquemos, separadamente, a estratgia adotada na seo 3.1-1 s sentenas Q P e
P Q .

Vejamos um caso ilustrativo.
Teorema 3.1.2-1
Considere que A e B sejam conjuntos. Nestas condies, A B A = se, e somente se,
A B .

Esboo de demonstrao
Primeiramente, mostraremos que se A B , ento A B A = . Feito isto, provaremos
que se A B A = , ento A B .

Observemos que a prova de se A B , ento A B A = requer que mostremos serem
verdadeiras as afirmaes: se A B , ento A B A e se A B , ento B A A .
Para provar a sentena se A B , ento A B A , suponhamos que A B e
tomemos B A x . Sendo assim, A x ou B x . Se A x , a prova est realizada. Se B x ,
temos que A x pois, por hiptese, A B .
Agora, provemos que se A B , ento B A A . Para tanto, suponhamos que A B
e tomemos A x . Ora, mas isto significa que B A x . Ou seja, B A A .
Nos dois pargrafos acima est a prova de que se A B , ento A B A = .

Resta mostrar que se A B A = , ento A B . Para isto, suponhamos que A B A = ,
para chegar a A B . Tomando B x , obtemos B A x . Ora, mas, por hiptese, A B A = ,
o que implica A x , que aonde queramos chegar.

3.1.3 Demonstrao por contradio (ou reduo a um absurdo)

Esta situao, corriqueira no cotidiano de quem faz Matemtica, consiste em manter todas
as hipteses do teorema e acrescentar a elas uma suposio estranha mas providencial, qual
seja: admitir que diante das condies dadas pelo teorema, a concluso por ele anunciada falsa.
Se tal suposio nos conduz a uma contradio (absurdo), esta foi gerada pela negao da
253
concluso que foi acrescentada ao conjunto de hipteses do teorema. Portanto, o que falso a
nossa estranha suposio, implicando na veracidade da concluso do teorema.

O teorema seguinte constitui um caso clssico entre aqueles cuja demonstrao pode ser
feita por reduo a um absurdo.

Teorema 3.1.3-1
O nmero 2 no racional.

Demonstrao
A demonstrao ser feita por reduo a um absurdo. Comecemos, pois, negando a
concluso do teorema, ou seja, vamos supor que 2 seja um nmero racional. Nossa expectativa
que esta suposio leve-nos a uma contradio. Vamos l!

Admitindo que 2 um racional, existem nmeros inteiros, p e q , tais que
q
p
= 2 . Por
razes de simplificao, suponhamos que a frao
q
p
j esteja no modo irredutvel ( p e q so
primos entre si). Da igualdade
q
p
= 2 , vem: p q = 2 , ou seja,
2 2
2 p q = . Isto significa que o
nmero
2
p par. Sendo assim, p tambm um nmero par. Logo, existe algum inteiro n de
modo que n p 2 = , implicando
2 2
4n p = . Assim, obtemos:
2 2
4 2 n q = , ou seja,
2 2
2n q = ,
evidenciando que o nmero
2
q par. Sendo
2
q um nmero par, o mesmo acontece o nmero q .
Da e do que obtivemos logo acima, vemos que os nmeros p e q so pares e, portanto,
admitem (pelo menos) um divisor comum: o nmero 2 . Mas, entra em choque com o fato de
termos admitido que p e q so primos entre si. Esta contradio nasceu da negao da
concluso do teorema. Portanto, o nmero 2 no pode ser um racional, e a demonstrao est
concluda.

Mais uma aplicao
Agora, considere o teorema abaixo e um esboo da demonstrao dele, apresentada logo
em seguida.
Teorema 3.1.3-2
Suponha que B C A e C a . Prove que ) ( B A a .




254
Esboo de demonstrao
Dados Meta
B C A
) ( B A a
C a

Observemos que a meta uma sentena constituda de uma negatividade, isto , refere-se a algo
que deixa de acontecer ( a no est em ) ( B A ). Vamos substitu-la por uma sentena marcada por uma
positividade, ou seja, que expresse algo que acontece. Indo ao nosso repertrio de sentenas equivalentes,
vamos encontrar:
) ( B A a ) ( ) ( ) ( B a A a B a A a
Assim, podemos substituir a meta ) ( B A a pela sentena ) ( ) ( B a A a , e o
prximo quadro assume o aspecto seguinte:


Dados Meta
B C A B a
C a
A a

No passo seguinte, o quadro torna-se:
Dados Meta
B C A Contradio
C a
A a
B a

Trabalhando com os dados do quadro acima, vemos que eles so incompatveis e,
portanto, levam a uma contradio, que a nossa meta. Isto significa que no pode ocorrer
) ( B a A a , que equivale sentena ) ( B A a . Portanto, o que de fato ocorre
) ( B A a , que aonde queramos chegar.

Fica para voc a tarefa de redigir uma demonstrao para o teorema 3.1.3-2, assim como
praticar um exerccio mental com as seguintes questes.


255


Exerccios 3.1.3-1
1. Ao aplicar a tcnica de demonstrao por contradio s seguintes proposies,
como voc redigiria o comeo da demonstrao? Mais explicitamente, comearia
negando o qu?
a) Se A uma matriz no-invertvel, ento as colunas de A no so linearmente
independentes.
b) Suponha que certos conjuntos
1
C ,
2
C e
3
C satisfaam s relaes
3 1
C C ,
=
2 1
C C . Nestas condies, se
1
C a , ento
2
C a .
c) Considere que B A f : seja uma funo injetiva. Nestas condies, para quaisquer
que sejam
1
a , A a
2
, tais que ) ( ) (
2 1
a f a f = , ento
2 1
a a = .
2. Finalizando, pela tcnica de demonstrao por contradio, uma prova para a
sentena Q P , Augusto escreveu: ... e, assim, a demonstrao est
concluda, pois mostramos que P falsa. Voc concorda com Augusto?
Justifique sua resposta.
3. Por reduo a um absurdo, prove que se m um inteiro e
2
m par, ento m
par.
4. Por reduo a um absurdo, prove que se n um inteiro e
2
n mpar, ento m
mpar.


Uma pequena observao relacionada com o mundo dos signos e cdigos, que, em suma,
so objetos destes nossos estudos. comum encontrarmos ao final da demonstrao de um
teorema as seguintes inscries: (qed) ou (cqd). A primeira representa o conjunto das letras
iniciais da expresso latina quod erat demonstrandum; a segunda representa, em Portugus,
a expresso como queramos demonstrar, equivalente expresso latina representada por
qed. So uma espcie de declarao de regozijo diante de um desafio que acaba de ser
vencido.








Na plataforma moodle, apresentamos material terico e
exerccios de consolidao que complementam a abordagem
feita aqui sobre demonstrao em Matemtica.

No Moodle...
256

Narrativa escrita em Matemtica: algumas recomendaes.

Esperamos que voc j tenha percebido que uma das mais importantes tarefas de um estudante de
Matemtica a de ser um comunicador de fatos matemticos. Como j descrevemos, a disciplina
Argumentao em Matemtica tem por finalidade principal prover condies tericas com as quais voc
desenvolver uma prtica de compreenso e elaborao de narrativas em Matemtica, o que implica convoc-
lo(a) a assumir, efetiva e permanentemente, as funes de leitor e redator de textos matemticos.
Pensando que to importante quanto o que voc tem a comunicar a forma como o faz, resolvemos
apresentar aqui algumas dicas que, segundo nossa expectativa, o(a) ajudaro a fundir estes dois aspectos
mutuamente complementares de um ato comunicativo. Esto voltadas mais enfaticamente redao de
demonstraes em Matemtica. Vamos a elas, pois!
Procure sempre deixar suficientemente claro, para voc mesmo(a) e para o leitor, o que
representa cada conjunto de smbolos que voc adota. Este cuidado tem ligao direta com a
construo de significados em Matemtica.
Evite cometer ambigidades no uso da notao: em uma demonstrao nunca use um smbolo
para representar mais de um objeto.
Siga risca as normas gramaticais, especialmente no que diz respeito composio de
frases: sujeito, verbo e predicado tm presena obrigatria nelas.
Evite iniciar uma frase com um smbolo prprio da Lgica ou da Matemtica, pois isto pode
criar situaes embaraosas, alm de comprometer o valor esttico da frase. Qual das frases
voc acha mais inteligvel e apresentvel: A y x , , tem-se: y x ou Para quaisquer x
e y do conjunto A, tem-se: y x ?
Procure fazer uma combinao equilibrada de smbolos e palavras.
No esconda o leite: diga de onde vai partir e aonde pretende chegar; de onde provm algum
fato que est usando, se conseqncia de algum teorema etc. Explicite qual tcnica de
demonstrao est usando.
Para atender ao item anterior, s vezes voc no precisa fazer referncia direta tcnica que
est sendo usada, uma vez que certas expresses da nossa lngua se encarregam de faz-lo.
, por exemplo, o caso da expresso Admitamos que a sentena Q seja falsa, quando voc
est querendo demonstrar algo do tipo Q P . Esta expresso indica fortemente que ali est
em curso um processo de demonstrao por reduo a um absurdo.
Sempre que as circunstncias permitam, compartilhe a soluo encontrada com algum em
quem voc deposita confiana para o estabelecimento de uma parceria dessas.
257

Unidade IV Induo Matemtica
1. Situando a Temtica
Temos sido insistentes em mant-lo(a) atento(a) s relaes que h entre objetos
matemticos e suas vrias formas de representao. Ao lado desta observao merece destaque
o modo como conduzido o raciocnio matemtico quando esto em jogo a construo de
significados, a elaborao de hipteses assim como a obteno de concluses. Vista como parte
do patrimnio cultural da humanidade, a Matemtica mantm com outros ramos do saber
vnculos que variam em grau no que diz respeito sua estrutura e ao seu funcionamento. Estas
organizaes estruturais e funcionais esto intimamente ligadas maneira como so conduzidos
os raciocnios na urdidura e no fazer de cada rea do conhecimento. Assim, por exemplo, a
Matemtica, no que tange aos parmetros estrutura e funcionamento, muito se parece com
certas reas do saber, enquanto de outras dessemelha-se.
Grosso modo, diramos que h trs categorias de raciocnio: raciocnio por analogia,
raciocnio dedutivo (ou, simplesmente, deduo) e raciocnio indutivo (ou, simplesmente, induo).
Como a prpria denominao j anuncia, no raciocnio por analogia, situaes semelhantes so
consideradas fontes de efeitos semelhantes. Um exemplo marcante disto o que acontece em
grande parte das pesquisas biolgicas visando descoberta de cura para doenas em seres
humanos, a partir da observao do que se passa em cobaias.
J o ponto forte da induo a repetio exaustiva (observao de uma quantidade
razoavelmente grande), feita com uma instncia do fenmeno como suporte para elaborao de
uma generalizao. Para ilustrar este tipo de raciocnio, consideremos o caso do nascer e do pr
do sol: esta ocorrncia assumiu o status de uma regularidade astronmica que, por mais nublado
que esteja o tempo, nem de longe nos ocorre imaginar que, por exemplo, a alegre algazarra de
pardais e andorinhas no seja sinal de que, naquele momento, est em curso mais um de infinitos
arrebis.
Nos dois casos acima mencionados, a conduo das experincias no pode prescindir do
concurso dos aparatos anatomofisiolgico e sensorial dos humanos. Alm disso, apesar de
marcados por premissas muito fortes, estas no garantem que as concluses at ento
observadas ocorrero haja o que houver. Estes dois aspectos, caractersticos no raciocnio por
analogia e da induo, no so o trao fundamental do raciocnio dedutivo, o forte de uma
atividade de cunho eminentemente matemtico. Este se caracteriza pela assuno de certos fatos
aceitos sem questionamento a partir dos quais so produzidas conseqncias verdadeiras.
Entretanto, tal correlao de confiabilidade no se realiza de modo aleatrio: tanto as premissas
como as concluses devem seguir clusulas de reconhecido rigor.
O conhecido fato que a rea de um retngulo de lados cujos comprimentos so
1
l e
2
l
dada pelo produto
2 1
l l no poderia ser estabelecido a partir de interminveis medies
258
realizadas em uma quantidade infinita de tais retngulos. Chega-se a ela atravs de uma
combinao de premissas e de outros fatos, a ela relacionados, que no levam em conta, por
exemplo, a acuidade visual de quem est com a tarefa de obter a rea em questo. O raciocnio
dedutivo vale-se dos nossos conhecidos cinco sentidos, mas no se esgota neles; cria e trata
rigorosamente de situaes que no possuem correspondentes no mundo fsico. Alis, faz
surgirem outros mundos, d-lhes significados especficos.
Vale salientar, porm, que na prtica as coisas no se do de modo estanque, ou seja,
apesar da prevalncia do raciocnio dedutivo na explorao do universo matemtico, as atividades
neste mbito so realizadas por uma mescla dessas trs formas de organizao do pensamento.

2. Problematizando a Temtica
Convidado a provar que a soma dos n primeiros nmeros naturais mpares dada por
2
n ,
por onde voc comearia? Muito provavelmente, procuraria verificar que a anunciada regularidade
acontece para alguns casos particulares, instncias da proposio:
Para os dois primeiros ( ) 2 = n , veria que
2
2 4 3 1 = = + ;
Para os trs primeiros ) 3 ( = n , observaria que
2
3 9 5 3 1 = = + + ;
Para os quatro primeiros ) 4 ( = n , veria acontecer
2
4 16 7 5 3 1 = = + + + ;
E, assim por diante. Ou seja,
2
) 1 2 ( ) 3 2 ( ... 7 5 3 1 n n n = + + + + + + . Como provar isto?
D para perceber que voc est diante de um problema que envolve uma propriedade que
diz respeito a todos os elementos de um subconjunto infinito do conjunto dos nmeros naturais, e,
por uma limitao essencial da nossa arquitetura biopsicolgica em relao ao infinito, no pode
ser verificada caso a caso. Voc tem, portanto, de domar o infinito, ou, no dizer do poeta William
Blake, deter o infinito na palma da mo. este o tema da Unidade IV.
Trata-se de um tipo de demonstrao, essencialmente dedutivo, mas que tem na sua base
uma proposio cujo nome parece estar em desacordo com os procedimentos da deduo: O
Princpio de Induo Finita. Mas, o desacordo pra por a: fica apenas no nvel da aparncia.

3. Conhecendo a Temtica
3.1 O Princpio de Induo Finita (ou Princpio de Induo Matemtica)

Na abertura da Unidade IV deste texto (os nmeros primos de Fermat), vimos que a
verificao que uma dada afirmao acerca de nmeros naturais vlida para todo o conjunto
destes nmeros, tomando por base uma regularidade evidenciada somente atravs de exemplos,
no constitui um mtodo seguro de prova. Para ajudar a consolidar esta observao,
consideremos um caso apresentado por Daepp & Gorkin (Daepp, 2003, p. 207): provocados a
259
demonstrar que, se n um nmero natural qualquer, ento o nmero 41
2
+ + n n primo,
certamente comearamos a tarefa vendo se a afirmao se sustenta para uma quantidade
razovel de casos. Representemos por ) (n f a sentena 41
2
+ + n n primo. Assim,
encontraramos:
43 41 1 1 ) 1 (
2
= + + = f , que um nmero primo.
47 41 2 2 ) 2 (
2
= + + = f , que primo.
53 41 3 3 ) 3 (
2
= + + = f , que primo.
61 41 4 4 ) 4 (
2
= + + = f , que primo.
Continuaramos, nesse ritmo, obtendo nmeros primos at o passo 39 = n . Ento, no
quadragsimo passo, a falcia se descortinaria diante de ns, com a obteno do nmero
1681 41 40 40 ) 40 (
2
= + + = f , que o quadrado de 41 e, portanto, no um nmero primo.
Para superar desafios como os apresentados por afirmaes, do tipo ) (n P , que so feitas
acerca dos elementos de subconjuntos infinitos do conjunto de nmeros naturais, a Matemtica
vale-se do Princpio de Induo Finita, que, em essncia, consiste no seguinte: Para provar que
uma afirmao ) (n P vlida para qualquer nmero natural n , basta:
1. Mostrar que a afirmao vlida para 1 = n , isto , que ) 1 ( P verdadeira, e
2. Mostrar que sempre que a afirmao for verdadeira para um natural qualquer k ,
ela ser verdadeira para o natural seguinte, ou seja, ser verdadeira para o nmero
natural 1 + k .
Na prtica, o que se passa o seguinte: tendo verificado a veracidade da afirmao para
1 = n , o passo 2, acima, garante que ela vlida para 2 = n . Reaplicando o passo 2, obtemos a
validade da afirmao para 3 = n , e, assim por diante, estendendo-se para todo e qualquer
nmero natural.
Um enunciado formal para o Princpio de Induo Finita :
Teorema 3.1-1 O Princpio de Induo Finita
Considere que ) (n P seja uma afirmao acerca de um nmero natural n . Suponhamos
que:
1) (Passo Bsico) ) 1 ( P seja verdadeira, e
2) (Passo de Induo) Para cada natural k , se ) (k P verdadeira, ento ) 1 ( + k P
verdadeira.
Nestas condies, a afirmao ) (n P verdadeira para todo nmero natural n .





260













Um comentrio
Este teorema pode ser demonstrado usando o fato do conjunto dos nmeros naturais ser
bem-ordenado. Trata-se de uma noo que escapa aos objetivos desta disciplina, mas,
certamente, voc ser apresentado a ela em disciplinas posteriores, tais como
Fundamentos de Matemtica ou Matemtica Elementar. Aguarde!

Ponhamos o Princpio de Induo Finita nossa disposio, para a realizao de algumas
tarefas matemticas.

Exemplo 3.1-1
Use o Princpio de Induo Finita, para provar que a soma dos n primeiros nmeros
naturais dada por
2
) 1 ( + n n
.
Uma soluo
Em smbolos do registro da Matemtica, o que temos de provar :
2
) 1 (
) 1 ( ) 2 ( ... 4 3 2 1
+
= + + + + + + +
n n
n n n .
Representando por ) (n P a sentena
2
) 1 (
) 1 ( ) 2 ( ... 4 3 2 1
+
= + + + + + + +
n n
n n n , vem:
Verificao do Passo Bsico
Como
2
) 1 1 ( 1
1
+
= , constatamos que ) 1 ( P verdadeira.
Verificao do Passo de Induo
Seguindo o alerta lanado logo ali atrs, vamos admitir como verdadeira a hiptese de
induo, a saber: ) (k P verdadeira, para, em seguida, mostrar que ) 1 ( + k P verdadeira. Ou
seja, vamos partir de
Alerta Geral!! muito comum cometerem-se erros na interpretao do passo de induo
do Princpio de Induo Finita. O de maior ocorrncia confundi-lo com a concluso,
propriamente dita, do Princpio. Observe que se trata de uma sentena implicativa, dizendo
que se a afirmao ) (n P verdadeira para k n = , ento ) (n P verdadeira para
1 + = k n . Portanto, o passo de induo no afirma que ) (n P verdadeira para todo
natural n .
No passo de induo, o antecedente, ) (n P verdadeira para k n = , chamado hiptese
de induo.
261
2
) 1 (
) 1 ( ) 2 ( ... 4 3 2 1
+
= + + + + + + +
k k
k k k , para tentar chegar a
2
] 1 ) 1 )[( 1 (
) 1 ( ] ) 1 ( ) 2 ( ... 4 3 2 1 [
+ + +
= + + + + + + + + +
k k
k k k k .
Vejamos se isto acontece. Ora, usando a hiptese de induo, vemos que:
) 1 ( ]
2
) 1 (
[ ) 1 ( ] ) 1 ( ) 2 ( ... 4 3 2 1 [ + +
+
= + + + + + + + + + k
k k
k k k k . Ou,
2
) 1 ( 2 ) 1 (
) 1 ( ] ) 1 ( ) 2 ( ... 4 3 2 1 [
+ + +
= + + + + + + + + +
k k k
k k k k . Ou,
2
) 2 )( 1 (
) 1 ( ] ) 1 ( ) 2 ( ... 4 3 2 1 [
+ +
= + + + + + + + + +
k k
k k k k . Ou,
2
] 1 ) 1 )[( 1 (
) 1 ( ] ) 1 ( ) 2 ( ... 4 3 2 1 [
+ + +
= + + + + + + + + +
k k
k k k k , que justamente
) 1 ( + k P , aonde queramos chegar. Com isto, verificamos que a afirmao com que estamos
lidando satisfaz aos dois passos do Princpio de Induo Finita e, assim, verdadeira para todo
nmero natural n . (c.q.d.)







Exemplo 3.1-2
Usando induo matemtica, prove que, para todo nmero natural n , o nmero 1 4
n

mltiplo de 3.
Uma soluo
Aqui, vale a pena transcrever para o mbito das representaes simblicas o que significa
dizer que o nmero 1 4
n
mltiplo de 3: existe um nmero natural p tal que p
n
3 1 4 = .
Representemos por ) (n P a sentena 1 4
n
mltiplo de 3. Vamos verificao dos
dois passos do Princpio de Induo Finita.
Verificao do Passo Bsico
Como 3 1 4
1
= , constatamos que ) 1 ( P verdadeira.
Verificao do Passo de Induo
Aqui, devemos considerar que a hiptese de induo verdadeira, isto , que ) (k P
verdadeira, para, em seguida, ver se isto nos leva veracidade de ) 1 ( + k P . Falando mais
diretamente, vamos admitir que o nmero 1 4
k
seja mltiplo de 3, para, na seqncia, verificar
se isto implica que o nmero 1 4
1

+ k
mltiplo de 3.
Um lampejo de criatividade. Procure descobrir o que o matemtico alemo Karl
Friedrich Gauss tem a ver com um caso particular da frmula que acabamos de provar.
Mais explicitamente, o que ele, ainda criana, fez para obter o resultado da adio
100 99 98 97 ... 4 3 2 1 + + + + + + + + ?
262
Assim, admitindo que 1 4
k
seja mltiplo de 3, ento existe um nmero natural q para o
qual acontece q
k
3 1 4 = . Assumindo isto, vejamos o que acontece com o nmero 1 4
1

+ k
.

Ora,
) 1 4 ( 4 3 1 ) 4 4 3 ( 1 4 4 1 ) 4 4 ( 1 4
1
+ = + = = =
+ k k k k k k k
. Mas, pela hiptese de
induo, temos: q
k
3 1 4 = . Da, a cadeia de igualdades acima, nos fornece:
) 4 ( 3 3 4 3 ) 1 4 ( 4 3 1 4
1
q q
k k k k k
+ = + = + =
+
, que um mltiplo de 3. Chegamos,
assim, concluso que 1 4
1

+ k
um mltiplo de 3. Isto mostra que a afirmao com que
estamos trabalhando satisfaz ao Princpio de Induo Finita, e, desse modo, fica provado que ela
verdadeira para todo nmero natural. (c.q.d.)

Exemplo 3.1-3
Use o Princpio de Induo Finita, para demonstrar que, para todo nmero natural positivo
n , vale a desigualdade
n
n 2 < .
Uma soluo
Representemos por ) (n P a sentena
n
n 2 < . Sigamos em busca da verificao dos dois
passos do Princpio de Induo Finita.

Verificao do Passo Bsico
Observemos que
1
2 1 < . Isto significa que ) 1 ( P verdadeira.
Verificao do Passo de Induo
A esta altura, vamos considerar verdadeira a hiptese de induo, isto , que ) (k P
verdadeira, para, com isto, averiguar se ) 1 ( + k P verdadeira. Mais formalmente, o que
queremos partir da suposio que
k
k 2 < , para obter
1
2 1
+
< +
k
k . Vamos ao trabalho, ento.
Ora, 1 2 1 + < +
k
k , porque, pela hiptese de induo,
k
k 2 < .
Agora, observando que, sendo k um natural positivo,
k
2 1 < , temos:
1
2 2 2 2 2 1 2 1
+
= = + < + < +
k k k k k
k , ou seja,
1
2 1
+
< +
k
k , o que queramos obter nesta
etapa.
Como a afirmao com que estamos trabalhando satisfaz ao Princpio de Induo Finita,
ela verdadeira para todo natural n . (q.e.d.)
Uma observao
Pela formulao do teorema 3.1-1 e pelos exemplos apresentados at agora, voc pode
ser induzido a achar que o passo bsico consiste sempre da verificao da veracidade da
sentena ) 1 ( P . Abrimos este espao para dizer que nem sempre assim que procedemos para
verificar o referido passo. Tudo depende do enunciado da afirmao que pretendemos provar com
o uso do Princpio de Induo Finita. Explicitando, se m o menor dos nmeros naturais a que a
263
afirmao se refere, no passo bsico, o que devemos examinar a veracidade da sentena
) (m P . Vejamos isto no seguinte exemplo.
Exemplo 3.1-4
Usando o Princpio de Induo Finita, mostre que, para todo nmero natural 4 > n , vale
2
2 n
n
> .
Uma soluo
Representemos por ) (n P a sentena
2
2 n
n
> , e observemos que o menor nmero natural
a que a afirmao se refere 5. Assim, no passo bsico, temos de checar se ) 5 ( P verdadeira.
Verificao do passo bsico
Como
2 5
5 2 > , fica constatada a veracidade de ) 5 ( P .
Verificao do passo de induo
Admitamos que ) (k P seja verdadeira, isto ,
2
2 k
k
> verdadeira, para, em seguida,
checar a veracidade de ) 1 ( + k P , ou seja: Ser que
2 1
) 1 ( 2 + >
+
k
k
verdadeira? Faamos isto,
pois.
Ora,
k k
2 2 2
1
=
+
. Pela hiptese de induo,
2
2 k
k
> e, assim, temos:
2 2 2 1
2 2 2 2 k k k
k k
+ = > =
+
.
Agora, como 5 k ento k k k k 5
2
= , o que conduz a:
k k k k k
k k
5 2 2 2 2
2 2 2 2 1
+ + = > =
+
.
Observando que k k k k k 3 2 5
2 2
+ + = + , e 1 3 > k porque 5 k , obtemos:
2 2 2 2 2 2 2 1
) 1 ( 1 2 3 2 5 2 2 2 2 + = + + > + + = + + = > =
+
k k k k k k k k k k k
k k
.
A cadeia de igualdades acima nos fornece:
2 1
) 1 ( 2 + >
+
k
k
, a constatao que ) 1 ( + k P
verdadeira.
Tudo isto mostra que a afirmao em questo satisfaz ao Princpio de Induo Finita,
ficando provado, portanto, que ) (n P verdadeira para todo natural 5 n . (q.e.d.)
hora de consolidar o que acabou de ser discutido. Bom trabalho!
Exerccios 3.1-1
Usando o Princpio de Induo Finita, prove as seguintes proposies.
1. A soma dos n primeiros nmeros mpares
2
n .
2. Para todo nmero natural p , acontece: 1 2 2 2 ... 2 2 2 2
1 1 3 2 1 0
= + + + + + +
+ p p p
.
3. O nmero ) (
2
m m + divisvel por 2 , qualquer que seja o natural m.
4. Para todo nmero natural n , tem-se:
2
3 3 3 3 3
2
) 1 (
... 3 2 1 0
(

+
= + + + + +
n n
n .
5. Sendo n um nmero natural, encontre uma frmula para a soma
n n
3 3 ... 3 3 3
1 2 1 0
+ + + + +

. Por induo finita, prove que a sua frmula est correta.

264




Referncias Bibliogrficas
CHEVALLARD, Y. Dimension instrumentale, dimension smiotique de lactivit mathmatique.
Sminaire de didactique des mathmatiques et de linformatique de Grenoble. LSD2, IMAG,
Universit J. Fourier , Grenoble. 1991.

CHEVALLARD, Y. Concepts fondamentaux de la didactique: perspectives apportes par une
approche antropologique. Recherches em didactique des mathmatiques. 12, 1, 73-112. 1992.

DAEPP, Ulrich., GORKIN, Pamela. Reading, writing, and proving: a closer look at mathematics.
New York: Springer, 2003.

DAMORE, Bruno. Epistemologia e didtica da matemtica. So Paulo: Escrituras Editora, 2005.

DUMMETT, A.A.E. Qu es una teoria del significado? In: Valds L.M. La bsqueda del
significado. Madrid: Tecnos. 1991.

MACHADO, Nlson J. Matemtica e lngua materna: anlise de uma impregnao mtua. So
Paulo: Cortez, 1990.

MORAIS FILHO, Daniel C. Um convite matemtica. 2. ed. Campina Grande: EDUFCG, 2007.

SIERPINSKA, Anna. Some remarks on understanding in mathematics. For the learning of
mathematics. 1990.10, 3, 24-36.

SOLOW, Daniel. How to read and do proofs: an introduction to mathematical thought processes.
New York: Courier Companies, Inc., 1990.

VELLEMAN, Daniel J. How to prove it: a structured approach. Cambridge: Cambridge University
Press, 1994.

VERGNAUD, Grard. La thorie des champs conceptuels. Recherches en didatique des
mathmatiques. 1990. 19, 133-169.

Sites na internet
Wikipedia: www.wikipedia.org
Dicionrio Houaiss da lngua portuguesa: http://houaiss.uol.com.br
Na plataforma moodle, apresentamos material e atividades para
aprofundamento do tema desta unidade. Visite-a!
No Moodle...