Escolar Documentos
Profissional Documentos
Cultura Documentos
Problemas Sistematização e Representação PDF
Problemas Sistematização e Representação PDF
Representao
Licio Hernanes Bezerra
Carmem S. Comitre Gimenez
Nereu Estanislau Burin
2 Edio
Florianpolis, 2009
Governo Federal
Presidente da Repblica: Luiz Incio Lula da Silva
Ministro de Educao: Fernando Haddad
Secretrio de Ensino a Distncia: Carlos Eduardo Bielschowky
Coordenador Nacional da Universidade Aberta do Brasil: Celso Costa
Comisso Editorial
Antnio Carlos Gardel Leito
Albertina Zatelli
Elisa Zunko Toma
Igor Mozolevski
Luiz Augusto Saeger
Roberto Corra da Silva
Ruy Coimbra Charo
Design Instrucional
Coordenao: Juliana Machado
Design Instrucional: Alessandra Zago Dahmer
Reviso de Design Instrucional: Mrcia Maria Bernal
Reviso Gramatical: Maria Tereza de Queiroz Piacentini
Copyright 2009, Universidade Federal de Santa Catarina/CFM/CED/UFSC
Nenhuma parte deste material poder ser reproduzida, transmitida e gravada, por qualquer
meio eletrnico, por fotocpia e outros, sem a prvia autorizao, por escrito, da Coordenao
Acadmica do Curso de Licenciatura em Matemtica na Modalidade Distncia.
Ficha Catalogrfica
B574p Bezerra, Licio Hernanes
Problemas: sistematizao e representao / Licio Hernanes
Bezerra, Carmem Suzane Comitre Gimenez, Nereu Estanislau
Burin 2. ed. Florianpolis: UFSC/EAD/CED/CFM, 2009.
112 p.
ISBN 978-85-99379-67-7
1.Matemtica. I. Gimenez, Carmem S. Comitre. II. Burin, Nereu
Estanislau. III Ttulo.
CDU 51
Elaborada pela Bibliotecria Eleonora M. F. Vieira CRB 14/786
Sumrio
Apresentao.............................................................................. 7
Introduo................................................................................... 9
1. Exerccios de Sistemtica e Representao..................... 13
1.1 Exerccios de Sistemtica............................................................ 15
1.1.1 Exerccios Propostos............................................................ 19
1.1.2 Soluo dos Exerccios Propostos...................................... 23
1.2 Exerccios de Representao...................................................... 26
1.2.1 Exerccios Propostos........................................................... 27
1.2.2 Soluo dos Exerccios Propostos..................................... 29
Referncias......................................................................................... 32
3. Problemas Olmpicos.......................................................... 45
3.1 Introduo.................................................................................... 47
3.2 XXVI OBM Nvel 1 1 fase.................................................... 48
3.3 XXVI OBM Nvel 2 1a fase.................................................... 55
3.4 XXVI OBM Nvel 3 1 fase.................................................... 60
3.5 Problemas olmpicos - miscelnea............................................ 66
Soluo dos problemas 1 a 46.................................................... 73
3.6 Problemas Propostos ................................................................. 82
Referncias......................................................................................... 85
4. Raciocnio Lgico................................................................ 87
4.1 Introduo.................................................................................... 89
4.2 Mtodo axiomtico..................................................................... 91
4.3 Clculo Proposicional................................................................. 94
4.4 Frmulas abertas......................................................................... 98
4.5 Quantificao............................................................................... 99
4.6 Exerccios Propostos................................................................. 103
Referncias........................................................................................110
Apresentao
Caro aluno,
A disciplina Problemas Sistematizao e Representao trata
basicamente de resoluo de problemas, e dividida em quatro
captulos: exerccios de sistemtica e representao, decifrando
enigmas (uma homenagem a Malba Tahan), problemas olmpicos
e raciocnio lgico.
O primeiro captulo, que d nome disciplina, apresenta problemas que sustentam os outros captulos, uma vez que sua resoluo obriga voc a organizar recursos intelectuais (sistemtica).
Ou, ento, estimula-o a buscar alguma representao grfica, algum recurso que transforme palavras escritas em conceito palpvel. Introduzimos rvores grficas para representar informao, o
que uma forma de representao clara e precisa e no ambgua
para problemas de natureza combinatria.
O segundo captulo uma seleo de problemas lgicos, enigmas para serem decifrados. H textos maravilhosos retirados ou
adaptados de Alice no pas das maravilhas, de Lewis Carroll,
ou de O homem que calculava, de Malba Tahan. H, tambm,
problemas que dependem da compreenso dos conectivos lgicos
e, ou, se ... ento, que so resolvidos com alguma sistemtica
e representao.
O terceiro captulo comea com trs provas olmpicas, que foram
as provas da primeira fase da OBM de 2004 nos nveis I, II e III.
O captulo apresenta, na seqncia, problemas, com resoluo, de
outras olimpadas, alm da brasileira: regionais, ibero-americanas, cone sul etc.
O quarto e ltimo captulo introduz o raciocnio lgico de modo
informal, mas rigoroso. Reciclando frases de publicidade, dilogos de filmes e enunciados matemticos, estudamos o clculo de
predicados, com ou sem quantificadores.
Esta disciplina envolve trabalho cuidadoso e leitura crtica. Convidamos voc a ler livros de Malba Tahan, de Martin Gardner, de
Lewis Carroll e todos os livros contidos na bibliografia. Esperamos que essa disciplina realmente lhe propicie condies de ser
mais sistemtico na abordagem de problemas matemticos.
Lewis Carroll o
pseudnimo adotado pelo
matemtico e escritor
Charles Lutwidge Dodson
(1832-1898).
Introduo
H, pelo menos, duas dcadas que constatamos no Ensino Superior uma dificuldade crescente dos alunos em entender conceitos
matemticos, drasticamente entre alunos de cincias exatas e de
engenharias. Tornou-se quase dolorosa a transio do Ensino Mdio para o Ensino Superior. Um dos motivos parece ser a pouca
carga horria semanal de matemtica no Ensino Mdio, que no
consegue suprir as necessidades cognitivas para a aprendizagem
da matemtica superior - geralmente, disciplinas de clculo real,
clculo vetorial e lgebra linear.
Um outro motivo parece ser a relao entre estudante e professor,
que muda radicalmente de uma relao quase familiar (tia, tio)
para uma relao basicamente profissional. O Ensino Superior
propicia a capacitao do aluno em alguma profisso. Para isso,
porm, o aluno deve-se posicionar como um aprendiz com concentrao e disciplina suficientes para escutar, refletir, perguntar
e responder. A universidade fundamentalmente um laboratrio
onde o estudante ensaia para tornar-se suficientemente hbil a
fim de responder s demandas de sua vida profissional. Por isso,
responsabilidade (habilidade para responder) cobrada na universidade diferentemente do que cobrado no Ensino Mdio.
As dificuldades dos alunos para cursar disciplinas de matemtica
superior no so exclusivas de nosso pas, como se pode verificar
em stios de universidades europias na rede mundial de computadores, que oferecem cursos introdutrios ao clculo e lgebra
linear no perodo de frias imediatamente anterior ao comeo das
aulas. No curso de Licenciatura em Matemtica da Universidade
Federal de Santa Catarina (UFSC), algumas disciplinas iniciais
foram estruturadas para processar contedos de matemtica de
Ensino Fundamental e Mdio, mas com uma viso de matemtica superior, introduzindo uma maneira fundamentalmente matemtica de olhar, mesmo para as questes mais simples. Esta disciplina est includa entre elas.
H mais de uma dcada que o nosso curso de Licenciatura de Matemtica enfrenta essa realidade da transio. Poderamos apenas
lamentar o descrdito crescente da classe dos professores de En-
Grafo
Conjunto formado por pontos (chamados ns ou vrtices) e por linhas (arestas) que
ligam alguns desses pontos.
O grafo pode ser orientado
(neste caso, a ligao entre
pontos A e B diferente de
ligao entre B e A), ou no.
Exemplo: rvores.
Captulo 1
Exerccios de Sistemtica
e Representao
15
Captulo 1
Exerccios de Sistemtica e
Representao
1.1 Exerccios de Sistemtica
Para entender o que sistemtica, vamos apresent-la em um
exemplo famoso, a construo do quadrado mgico 3x3, que
nico a menos de simetrias e/ou rotaes.
O problema o seguinte: construa uma matriz 3x3 com os nmeros de 1 a 9, de tal modo que a soma das entradas de qualquer
linha ou coluna ou diagonal (principal e secundria) seja sempre
a mesma.
A origem dos quadrados mgicos parece situar-se na China, atribuda ao imperador engenheiro Yu, o Grande, que reinou por volta de 2.200 a.C. O quadrado mgico 3x3, conhecido como Lo Shu,
associado ao segundo arranjo dos trigramas do I Ching, que
denominado Cu Posterior ou Wenwang, por ser atribudo ao Rei
Wn, que reinou em torno de 1.100 a.C. Conta a lenda que esse
quadrado foi visto por Yu no dorso de uma tartaruga que surgiu
do rio Lo. Entretanto, foi s no sculo IX d.C. que os quadrados
mgicos propagaram-se pelo Japo e Oriente Mdio, chegando
ndia no sculo XI. Quadrados mgicos gravados em placas de
prata foram usados como amuleto, na Europa medieval, contra a
peste. Na gravura 1.2, Melancholia, de Albrecht Drer, do sculo
XVI, aparece um quadrado mgico de ordem 4, com soma 34, entre outras referncias alquimia e astrologia.
16
17
15
15
15
15
15
15
15
18
Um dado frustrante que essa sistemtica no resolve completamente o problema para quadrados mgicos de ordem maior, por
exemplo, um quadrado mgico 4x4.
Vimos que existe, a menos de rotaes e simetrias, apenas um quadrado mgico 3x3. Porm, existem 880 quadrados mgicos 4x4 e
275.305.224 quadrados mgicos 5x5 (sempre a menos de simetrias e
rotaes). O nmero de quadrados mgicos 6x6 ainda desconhecido, mas estimado ser na ordem de 1019.
Os quadrados mgicos pares (de ordem maior ou igual a 4) tm resoluo complicada. Uma explanao sobre quadrados mgicos e
como obt-los pode ser vista no excelente stio de matemtica mathworld.wolfram.com, um dos mais completos no mundo. Quadrados mgicos esto em mathworld.wolfram.com/MagicSquare.html.
Um exerccio interessante gerar quadrados mgicos de ordem mpar seguindo as seguintes instrues, que foram descritas por Kraitchik (KRAITCHIK, M. Mathematical Recreations. New York: Norton,
1942):
coloque o nmero 1 no centro da primeria linha (a de cima);
c oloque cada nmero subseqente no quadrado imediatamente direita e acima;
s e sair do quadrado ao ir para a direita, o quadrado subseqente o da mesma linha (de cima), na primeira coluna (a
da esquerda); se sair do quadrado ao ir para cima, o quadrado
subseqente ser o da mesma coluna (da direita), na ltima
linha (a de baixo);
q
uando encontrar, nesse processo, alguma casa ocupada, o
prximo nmero ser posto imediatamente abaixo do nmero
anterior (o que foi colocado por ltimo).
Obs.: Esse movimento em diagonal fica claro se considerarmos quadrados gmeos, colocando o nmero na posio correspondente ao
quadrado original.
Se comearmos o processo com o nmero 1 em qualquer casa, esse
mtodo ainda gera um quadrado mgico fraco, isto , um quadrado
Quadrados gmeos so
quadrados idnticos postos
volta do quadrado
original; ao todo so oito:
um de cada lado, um em
cada vrtice.
19
20
21
15) Na Amrica do Norte uma data como 4 de julho de 1999 escreve-se geralmente como 7/4/99, mas em nosso pas o ms
aparece em segundo lugar e a data ser escrita como 4/7/99.
Se no soubermos que sistema utilizado, quantas datas so
ambguas em relao a essas notaes?
16) s 6 horas o relgio da igreja levou 30 segundos para dar as
6 badaladas. Jorge concluiu que, ao meio-dia, ele levaria 1 minuto para dar as 12 badaladas. Mas ele estava enganado. Qual
o tempo correto?
17) Uma pessoa faz 69 anos em 96, 58 anos em 85, 47 anos em 74
etc. Uma outra pessoa faz 79 anos em 97, 68 anos em 86, 57
anos em 75 etc. claro que esta coincidncia no acontece com
todas as pessoas. Qual a condio para que isso ocorra?
22
23
24
25
17) A condio para que isso ocorra a pessoa ter nascido num
ano cujos dois ltimos algarismos formam um nmero mltiplo de 9.
Gregrio XIII, nascido Ugo
Buoncampagno (1502
1585), destaca-se por ter
sido o responsvel pela
introduo do calendrio
atual (gregoriano),
reformando o antigo
calendrio juliano.
Marta
Maria
Mirna
Mrcia
N
S
S
N
N
S
N
N
26
rvore Genealgica
Representao grfica dos
antepassados de um indivduo, que pode incluir tambm, em cada gerao, os
parentes colaterais.
Fonte: Dicionrio Houaiss
27
28
29
Euler
Matemtico e fsico,
Leonhard Euler resolveu
enorme quantidade de
problemas, da navegao
s finanas, da acstica
irrigao.
Diz-se que o problema matemtico das 7 pontes de Knigsberg foi muito popular na Knigsberg do sc. XVIII, que
uma cidade conhecida, hoje, como Kaliningrado, um enclave da Rssia no mar Bltico. O desafio era resolver se existia
ou no um caminho que percorresse todas as sete pontes,
passando exatamente por elas uma nica vez. Esse problema pode ser solucionado, em princpio, testando-se sistematicamente todas as possibilidades. Entretanto, o modo
Euler resolveu o problema considerado, hoje em dia, como
a origem da atual Teoria de Grafos, um ramo da matemtica que se vem mostrando eficiente em modelao de redes,
processos de produo, processos logsticos etc. Uma resoluo desse problema est em:
www.inf.ufsc.br/grafos/temas/euleriano/konigsbgerg.htm
Essa forma de representao de dados garante que voc realmente represente todas as possibilidades para o problema. Comeamos escolhendo uma letra para iniciar a fila, digamos, a
letra A (figura 1.4). Partem desta letra (um n ou vrtice da rvore) segmentos de reta que simulam os ramos da rvore (arestas), que terminam em cada uma das 3 possibilidades para a
segunda letra da fila, que deve ser diferente da primeira letra,
ou seja, B, C ou D. De cada um desses ns saem novas arestas
30
31
12) O Sr. Nunes tinha 44 anos em 1936, que igual a 442. Ele nasceu em 1892.
13) Nmeros triangulares: Tn =
n(n + 1)
, que a soma dos termos
2
k (k + 1) = 1 n 2 1 n
n(n + 1)(n + 2) .
k + k =
2
6
2 1
2 1
Referncias
[1] BEZERRA, Licio H. et al. Introduo Matemtica. Florianpolis:
Ed. UFSC, 1995.
[2] BOLT, Brian. Atividades Matemticas. Lisboa: Gradiva, 1991.
[3] __________. Mais Atividades Matemticas. Lisboa: Gradiva, 1992.
[4] BOYER, Carl B. Histria da Matemtica. 2. ed. So Paulo: Edgard
Blcher, 1996.
[5] GARDNER, Martin. Divertimentos Matemticos. 4. ed. So Paulo:
Ibrasa, 1998.
[6] MALBA TAHAN. O homem que calculava. 56. ed. Rio de Janeiro:
Record, 2002.
[7] MARIANI, Antonio C. Teoria dos grafos. Disponvel em: <www.
inf.ufsc.br/grafos>. Acesso em: 29 mai. 2009.
[8] __________. Problemas das Pontes de Konigsberg. Disponvel em:
<www.inf.ufsc.br/grafos/problemas/konigsb.htm>. Acesso em:
01 jun. 2009.
Captulo 2
Decifrando Enigmas
uma homenagem a Malba
Tahan
35
Captulo 2
Decifrando Enigmas uma
homenagem a Malba Tahan
2.1 Introduo
36
ceira, com botes de vrias cores, mas todos diferentes de pretos e brancos, que ela rotulou com M. Um dia, seu neto mais
capeta trocou os rtulos das caixas, no deixando nenhuma
com o rtulo original. No entanto, retirando um nico boto
de uma das caixas, a costureira foi capaz de descobrir o que
cada uma continha. Como ela fez isso?
2) Natal e Pascoal, cada um acompanhado por um de seus filhos,
foram pescar. Natal pescou o dobro de peixes que pescou seu
filho, enquanto Pascoal pescou o quntuplo de peixes que seu
filho pescou. No total, pescaram 26 peixes. Leonardo o nome
do filho de Natal. Como se chama o filho de Pascoal e quantos
peixes ele pescou?
3) Alice, ao entrar na floresta, perdeu a noo dos dias da semana. O leo e o unicrnio eram duas estranhas criaturas que
freqentavam a floresta. O leo mentia nas segundas, teras e
quartas-feiras, e falava a verdade nos outros dias da semana. O
unicrnio mentia nas quintas, sextas e sbados, e falava a verdade nos outros dias da semana. Alice encontrou o leo e o unicrnio descansando sombra de uma rvore. Eles disseram:
Leo: Ontem foi um dos meus dias de mentir.
Unicrnio: Ontem foi um dos meus dias de mentir.
A partir destas informaes Alice descobriu qual era o dia da
semana. Qual era?
4) Numa estranha ilha do planeta Z, a cada dia da semana, cada
um dos habitantes ou mente o dia todo ou passa o dia todo
dizendo a verdade. Todos os habitantes podem mentir em certos dias e dizer a verdade em outros, mas no decorrer de um
mesmo dia da semana seu comportamento constante. Alm
disso, para cada habitante A, existe um habitante A que diz a
verdade nos mesmos dias em que A mente, e somente nesses
dias. Em outras palavras, em qualquer dia no qual A minta,
A dir a verdade; em qualquer dia no qual A diga a verdade, A sempre mentir. Uma outra caracterstica dessa ilha
que, para cada par de habitantes A e B, existe um habitante C
que diz a verdade em todos os dias nos quais tanto A como
B dizem a verdade, e em nenhum outro dia (ou seja, C mente
37
38
Califa
Sucessor do profeta Maom,
na qualidade de guia ou lder
temporal e espiritual da comunidade islmica.
Fonte: Dicionrio Houaiss.
Caravanar
Estalagem pblica, no Oriente Mdio, para hospedar gratuitamente as caravanas que
viajam por regies desrticas; caravanarai, caravancer. Fonte: Dicionrio Houaiss.
39
40
e) certo falso;
b) sim no;
f) fogo gua;
c) belo feio;
g) lixo ouro;
d) amor dio;
h) bem mal.
41
42
Marta
um mamfero, parecido
com a doninha e comum no
hemisfrio norte.
Maa
Clava.
43
Referncias
[1] CARROLL, Lewis. Alice no Pas das Maravilhas; Atravs do Espelho. Rio de Janeiro: Jorge Zahar, 2002.
[2] ___________. Aventuras de Alice no Pas das Maravilhas Atravs
do espelho e o que Alice encontrou l: Outros textos. So Paulo: Summus, 1980.
[3] GARDNER, Martin. Ah, Descobri! Lisboa: Gradiva, 1990.
[4] ___________. Ah, Apanhei-te! Lisboa: Gradiva, 1993.
[5] MALBA TAHAN. O homem que calculava. 56. ed. Rio de Janeiro:
Record, 2002.
Captulo 3
Problemas Olmpicos
47
Captulo 3
Problemas Olmpicos
3.1 Introduo
Neste captulo, apresentamos um conjunto de problemas selecionados entre o conjunto daqueles utilizados para treinamento
ou aplicados em alguma fase das olimpadas de matemtica. A
maior parte vem dos arquivos da Olimpada Brasileira de Matemtica (OBM), e so organizados em trs nveis: nvel 1, quinta e
sexta sries; nvel 2, stima e oitava sries e nvel 3, as trs sries
do Ensino Mdio.
O programa de olimpadas de matemtica existe no Brasil h
mais de 20 anos. Desde 1998, a Sociedade Brasileira de Matemtica tem estimulado a realizao de Olimpadas Regionais, com
o objetivo de contribuir para a melhoria do ensino de matemtica, incentivando alunos e professores a resolver problemas que
no so apresentados usualmente em livros didticos. Problemas
olmpicos necessitam de imaginao, criatividade e conhecimento real do contedo. Eles desafiam professores, alunos e amantes
da matemtica em geral.
Olimpada Brasileira de
Matemtica das Escolas
Pblicas http://www.
obmep.org.br
48
Observamos que a realizao de olimpadas de matemtica nas escolas tem um aspecto dinamizador, integrador e propagador, mobilizando alunos, professores e pais na resoluo de problemas. H
escolas que, inclusive, organizam olimpadas nas quais pais e filhos
resolvem juntos os problemas propostos.
Apresentamos, primeiramente, as provas da primeira fase da XXVI
Olimpada Brasileira de Matemtica, nos 3 nveis oficiais, realizadas
em 5 de junho de 2004. Observe que h problemas comuns a dois
nveis.
Nosso objetivo, aqui, introduzir essas provas de olimpada do
modo como foram apresentadas aos alunos de vrios estados do
pas que nelas se inscreveram. Os gabaritos encontram-se no stio
da OBM. No entanto, importante que cada um procure suas prprias solues. Na seqncia, propomos um conjunto de problemas
olmpicos (ou seja, que foram aplicados em olimpadas de matemtica) dos vrios nveis oficiais.
Pensar sobre um problema e discuti-lo com os colegas mais importante do que v-lo pronto. Divirta-se!
b) 11.000
c) 10.900
d) 12.000
e) 13.000
b) 37 23
c) 9 x 36
d) 144 : 36
3) Quanto 26 + 26 + 26 + 26 44?
a) 0
b) 2
c) 4
d) 42 e) 44
4) 20% de 40 igual a
a) 5
b) 8
c) 10 d) 12 e) 20
e) 17 x 61
http://www.obm.org.br
49
5) Simplificando a frao
a) 2004
b)
113
355
c)
2004 + 2004
, obtemos:
2004 + 2004 + 2004
1
2004
d)
2
3
e)
2
7
b) 13 c) 16 d) 26 e) 31
7) Uma professora tem 237 balas para dar a seus 31 alunos. Qual
o nmero mnimo de balas a mais que ela precisa conseguir
para que todos os alunos recebam a mesma quantidade de balas, sem sobrar nenhuma para ela?
a) 11
b) 20 c) 21 d) 31 e) 41
Figura 3.1
a)
7
b)
18
c)
d)
e)
b) 5,0 km
c) 7,5 km
d) 10,0 km
e) 12,5 km
50
10) Um arquiteto apresenta ao seu cliente cinco plantas diferentes para o projeto de ajardinamento de um terreno retangular,
onde as linhas cheias representam a cerca que deve ser construda para proteger as flores. As regies claras so todas retangulares e o tipo de cerca o mesmo em todos os casos. Em
qual dos projetos o custo da construo da cerca ser maior?
a)
b)
c)
d)
e)
Figura 3.2
11) 108 crianas da 5 e 6 sries vo fazer um passeio a uma caverna. So formados grupos iguais com mais de 5, porm, menos
de 20 alunos. Com relao ao nmero de estudantes por grupo, de quantas formas diferentes eles podem ser feitos?
a) 2
b) 8 c) 5
d) 4
e) 3
12) O desenho ao lado (fig. 3.3) mostra o mapa de um pas (imaginrio) constitudo por cinco estados. Deseja-se colorir este
mapa com as cores verde, azul e amarela, de modo que dois
estados vizinhos no possuam a mesma cor. De quantas maneiras diferentes o mapa pode ser pintado?
a) 12
b) 6
c) 10 d) 24 e) 120
b) 3
c) 5
d) 7
e) 9
Figura 3.3
51
d) 20 cm e) 15 cm
Figura 3.4
a)
b)
c)
d)
e)
Figura 3.5
castanho
30%
preto
24%
ruivo
16%
loiro
?
Figura 3.6
b) 320
c) 360
d) 400
e) 840
52
b)
d)
e)
c)
Figura 3.7
b) 4
c) 3
d) 2
e) 9
20) Sobre uma mesa esto trs caixas e trs objetos. Cada objeto
est em uma caixa diferente: uma moeda, um grampo e uma
borracha. Sabe-se que
a caixa verde est esquerda da caixa azul;
a moeda est esquerda da borracha;
a caixa vermelha est direita do grampo;
a borracha est direita da caixa vermelha.
Em que caixa est a moeda?
a) Na caixa vermelha
b) Na caixa verde
c) Na caixa azul
53
b) 10
c) 12
d) 13
e) 14
22) O mapa abaixo mostra um conjunto residencial onde as casas, numeradas, so interligadas por 23 ruelas. O vendedor Z
Ruela, que mora na casa 8, planeja passar por todas as outras
casas e retornar sua, percorrendo o menor nmero possvel
de ruelas. Ele deixar de caminhar por quantas ruelas?
2
1
5
4
8
9
10
11
12
Figura 3.8
a) 15
b) 10
c) 13 d) 12 e) 11
b) 123
c) 122
d) 132
e) 152
54
Figura 3.10
II)
III)
IV)
Figura 3.11
Elas so:
a) I e II
b) I e IV
c) II e IV
d) I e III
e) II e III
25) Entre 1986 e 1989, poca em que voc ainda no tinha nascido,
a moeda do pas era o cruzado (Cz$). Com a imensa inflao
que tivemos, a moeda foi mudada algumas vezes: tivemos o
cruzado novo, o cruzeiro, o cruzeiro real e, finalmente, o real.
A converso entre o cruzado e o real : 1 real = 2.750.000.000
cruzados. Imagine que a moeda no tivesse mudado e que
Joo, que ganha hoje 640 reais por ms, tivesse que receber seu
salrio em notas novas de 1 cruzado. Se uma pilha de 100 notas novas tem 1,5 cm de altura, o salrio em cruzados de Joo
faria uma pilha de altura:
a) 26,4 km
b) 264 km
d) 264.000 km
c) 26.400 km
e) 2.640.000 km
55
b) 2
c) 4
d) 42 e) 44
22 26
:
46
a) 4
d) 10 e) 12
b) 6
c) 8
3) Entre 1986 e 1989, poca em que vocs ainda no tinham nascido, a moeda do pas era o cruzado (Cz$). Com a imensa inflao que tivemos, a moeda foi mudada algumas vezes: tivemos
o cruzado novo, o cruzeiro, o cruzeiro real e, finalmente, o real.
A converso entre o cruzado e o real : 1 real = 2.750.000.000
cruzados. Imagine que a moeda no tivesse mudado e que
Joo, que ganha hoje 640 reais por ms, tivesse que receber seu
salrio em notas novas de 1 cruzado. Se uma pilha de 100 notas novas tem 1,5 cm de altura, o salrio em cruzados de Joo
faria uma pilha de altura:
a) 26,4km
b) 264km
d) 264.000km
c) 26.400km
e) 2.640.000km
Figura 3.12
56
b) 3
c) 5
d) 7
e) 9
Figura 3.13
a)
b)
c)
d)
e)
Figura 3.14
b)
1
2004
c)
d)
e)
x2
2
e) 2.500
x2
2
57
est arranhado, mas ela sabe que ele no zero. Este algarismo
s pode ser:
a) 5
b) 4
c) 3
d) 2
e) 9
2004
10) Para quantos inteiros positivos m o nmero 2
um inteim 2
ro positivo?
a) um
b) dois
c) trs
d) quatro
b) 109
c) 120
d) 124
e) 154
30
Figura 3.15
a) 2
b) 2 + 3
c) 1 + 2 + 3
d)
b) 12 c) 18 d) 20
Figura 3.16
e) 24
2(1 + 3)
e) 5 3
58
2x
x
14) Se 2 (2 ) = 4 + 64 , ento x igual a:
a) 2
b) 1
c) 1
d) 2
e) 3
b) 8
c) 9
d) 10
e) 11
16) Um arquiteto apresenta ao seu cliente cinco plantas diferentes para o projeto de ajardinamento de um terreno retangular,
onde as linhas cheias representam a cerca que deve ser construda para proteger as flores. As regies claras so todas retangulares e o tipo de cerca o mesmo em todos os casos. Em
qual dos projetos o custo de construo da cerca ser maior?
a)
b)
c)
d)
e)
Figura 3.17
b) 2
c) 4
d) 6
e) 8
b)
d)
e)
Figura 3.18
c)
59
b) 10
c) 15
d) 20
e) 25
20) Sobre uma mesa esto trs caixas e trs objetos. Cada objeto
est em uma caixa diferente: uma moeda, um grampo e uma
borracha. Sabe-se que:
a caixa verde est esquerda da caixa azul;
a moeda est esquerda da borracha;
a caixa vermelha est direita do grampo;
a borracha est direita da caixa vermelha.
Em que caixa est a moeda?
a) Na caixa vermelha
b) Na caixa verde
c) Na caixa azul
d) As informaes fornecidas so insuficientes para se dar
uma resposta
e) As informaes fornecidas so contraditrias.
21) No desenho abaixo, o quadriltero ABCD um quadrado de
lado 3 cm e os tringulos ABF e AED so ambos equilteros.
Qual a rea da regio destacada?
A
B
F
C
Figura 3.19
a) 2 cm2
b) 1,5 cm2
c) 3 cm2
d) 4,5 cm2
e) 2,5 cm2
60
b) 12 cm
c) 21 cm
d) 19 cm
e) 20 cm
b) 10% menor
d) 20% menor
c) 19% menor
e) 25% menor
b) 12h30min
c) 13h
d) 13h30min
e) 14h30min
25) Esmeralda, a digitadora, tentou digitar um nmero de seis algarismos, mas os dois algarismos 1 no apareceram (a tecla
devia estar com defeito). O que apareceu foi 2.004. Quantos
so os nmeros de seis algarismos que ela pode ter tentado
digitar?
a) 4
b) 8
c) 10
d) 15
e) 20
f (x)
b) 2
c) 3
d) 4
e) 5
61
2) Seja AB um segmento de comprimento 26, e sejam C e D pontos sobre o segmento AB tais que AC = 1 e AD = 8. Sejam E e F
pontos sobre uma semicircunferncia de dimetro AB, sendo
EC e FD perpendiculares a AB. Quanto mede o segmento EF?
a) 5
b)
c) 7
d)
e) 12
b) 75
c) 90
d) 108
e) 120
4) Esmeralda, a digitadora, tentou digitar um nmero de seis algarismos, mas os dois algarismos 1 no apareceram (a tecla devia estar com defeito). O que apareceu foi 2.004. Quantos so os
nmeros de seis algarismos que ela pode ter tentado digitar?
a) 4
b) 8
c) 10
d) 15
e) 20
5) O produto dos nmeros que aparecem nas alternativas incorretas desta questo um cubo perfeito.
Assinale a alternativa correta.
a) 4
b) 8
c) 18
d) 54
e) 192
b) 8
c) 12
d) 13
7) Sejam
a=
12 22 32
10012
+
+ + +
1 3
5
2001
e
.
b) 501
c) 999
d) 1.000
e) 1.001
e) 15
62
8) Uma ampulheta formada por dois cones idnticos. Inicialmente, o cone superior est cheio de areia e o cone inferior est
vazio. A areia flui do cone superior para o inferior com vazo
constante. O cone superior se esvazia em exatamente uma hora
e meia. Quanto tempo demora at que a altura da areia no cone
inferior seja metade da altura da areia no cone superior?
a) 30min
b) 10h
d) 1h10min12s
c) 1h03min20s
e) 1h14min30s
b) 0
c) 1
d) 2
e) 9
10) Com trs algarismos distintos a, b e c, possvel formar 6 nmeros de dois algarismos distintos. Quantos conjuntos {a , b , c}
so tais que a soma dos 6 nmeros formados 484?
a) Um
b) Dois
c) Trs
d) Quatro
b) 2
c) 3
d) 4
e) 5
b) Dois
c) Trs
d) Quatro
63
30
Figura 3.20
a) 2
b) 2 + 3
c) 1 + 2 + 3
d)
2(1 + 3)
e) 5 3
14) Para n inteiro positivo, definimos n! (l-se n fatorial) o produto de todos os inteiros positivos menores ou iguais a n. Por
exemplo, 6! = 1 2 3 4 5 6.
Se n! = 215 36 53 72 11 13, ento n igual a
a) 13
b) 14
c) 15
d) 16
e) 17
b)
3
7
c)
14
d)
e)
3
28
a) {1}
D
2
B
b) {1,2}
c) [1, 2]
d) ]1, 2[
e) {2}
17) No desenho ao lado, os segmentos AB e CD so perpendiculares ao segmento BC. Sabendo que o ponto
M pertence ao segmento AD e que o tringulo BMC
retngulo no issceles, qual a rea do tringulo
ABM ?
a) 1
b)
c)
d)
e)
9
5
Figura 3.21
18) Entre 1986 e 1989, a moeda do pas era o cruzado (Cz$). Com
a imensa inflao que tivemos, a moeda foi mudada algumas
vezes: tivemos o cruzado novo, o cruzeiro, o cruzeiro real e,
finalmente, o real. A converso entre o cruzado e o real : 1
64
real = 2.750.000.000 cruzados. Imagine que a moeda no tivesse mudado e que Joo, que ganha hoje 640 reais por ms, tivesse que receber seu salrio em notas novas de 1 cruzado. Se
uma pilha de 100 notas novas tem 1,5 cm de altura, o salrio
em cruzados de Joo faria uma pilha de altura:
a) 26,4 km
b) 264 km
c) 2.640 km
d) 26.400 km
e) 264.000 km
b) 14
c) 15
d) 16
Figura 3.22
e) 17
b) 123
c) 122
d) 132
e) 152
21) Numa prova para uma sala com 30 alunos, a mdia aritmtica
das 10 piores notas 3 e a mdia aritmtica das 10 melhores
notas 9. O menor valor possvel e o maior valor possvel para
a mdia da sala so, respectivamente:
a) 6 e 7
b) 5 e 7
c) 4 e 6
d) 3 e 9
e) 4 e 8
22) Sobre uma mesa esto trs caixas e trs objetos. Cada objeto
est em uma caixa diferente: uma moeda, um grampo e uma
borracha. Sabe-se que
a caixa verde est esquerda da caixa azul;
a moeda est esquerda da borracha;
Figura 3.23
65
b) 5
c) 6
d) 7
e) 8
b) 21
c) 31
d) 41
e) 51
b) 10
c) 12
d) 13
e) 14
66
C
2
9
10
11
12
I
5
6
13
16
21
4
7
17
20
3
8
18
19
14
15
...
...
7) Os 61 aprovados em um concurso, cujas notas foram todas distintas, foram distribudos em duas turmas, de acordo com a
nota obtida: os 31 primeiros foram colocados na turma A e os
30 seguintes na turma B. As mdias das duas turmas no concurso foram calculadas. Depois, no entanto, decidiu-se passar
o ltimo colocado da turma A para a turma B. Com isso:
67
68
b) 920
c) 2714
d) 2439
e) 8112
69
27) Considere dois nmeros naturais, cada um deles com trs algarismos diferentes. O maior deles s tem algarismos pares e o
70
71
A Revista da Olimpada
Brasileira de Matemtica.
37) Marcel leva exatamente 20 minutos para ir de sua casa at a escola. Certo dia, durante o caminho para a escola, percebeu que
esquecera em casa a revista Eureka, e queria voltar para casa a
fim de peg-la. Ele sabia que se continuasse a andar, chegaria
escola 8 minutos antes do sinal, mas se voltasse para pegar a
revista, no mesmo passo, chegaria escola com 10 minutos de
atraso. Que frao do caminho j tinha percorrido nesse ponto?
a)
2
5
b)
9
20
c)
d)
e)
b) 6
c) 8
d) 10 e) 12
39) Um copo est cheio de gua e seu peso de 520 gramas. Jogase
do copo :
a) 80g
b) 120g
c) 130g
d) 250g
e) 960g
72
seguinte. Ao chegar ao 42 voltar para o canal 2. Se ele est
assistindo o canal 15 e apertar o boto 394 vezes, em que canal
ir parar?
a) 25
b) 30
c) 35
d) 40
e) 45
41) Uma caixa dgua est com 400 litros de gua, corresponden2
do a
de sua capacidade. Num certo instante, uma torneira
5
aberta despejando, nessa caixa, 14 litros de gua por minuto.
Aps quantos minutos a caixa estar com
de sua capacidade?
a) 15
d) 18
b) 20
c) 30
e) 25
73
3
3 600
25 x = 3 600 x =
x = 72
25
600km x
Como cada litro custa R$ 0,75, sero gastos R$ 54,00
(72 0,75 = 54).
5) Sejam H a idade de Hlio e F a idade do filho, ambos h 18 anos.
Temos, ento, que h 18 anos, H = 3F e que H + 18 = 2 (F + 18).
Logo, F = 18 e H = 54. Hoje, F = 18 + 18 = 36 e H = 54 + 18 = 72.
Portanto, Hlio tem 72 anos e seu filho tem 36 anos.
74
75
Quadrados perfeitos
16
25
36
49
64
81
Sucessores
17
26
37
50
65
82
Logo, 2439 o maior.
76
16)
( x 3) + 12
= 15 3 x + 12 = 105
7
3 x = 105 12
3 x = 93 x = 31
77
23)
Acar
Manteiga
Leite
Farinha
Quantidade
100g
50g
400g
12 bolinhos
500g
300g
5.000g
512 = 60
bolinhos
1005=500
505=250
1
5
5 =
2
2
4005=2.000g
A resposta 60 bolinhos.
24) A equao do problema 3 p + 5r = 97 , em que p o nmero
de primos e r, o nmero de rodas. Analisando as alternativas
a) 19 5 = 95 e 97 95 = 2, que impossvel (pois uma pessoa
tem 3 pernas e um carro tem 5 rodas).
b) 165 = 80. Mas, 97 80 = 17, que no mltiplo de 3. Agora,
17 5 = 85 e 97 85 = 12, que mltiplo de 3. As outras possibilidades no podem se concretizar (18 5 = 90, mas 97
90 = 7, que no mltiplo de 3. E 19 5 = 95, mas 97 95 = 2
que no mltiplo de 3). Logo, o nmero mximo de carros
17. Essa uma alternativa correta.
c) 9 3 = 27, 14 5 = 70 e 27 + 70 = 97. Ou seja, esses nmeros
so possveis, mas no podemos afirmar que s estes nmeros funcionam, pois poderamos ter tambm 17 carros e 4
pessoas.
d) de acordo com (b), possvel existir 17 carros.
e) 5 2 = 10, 3 29 = 87 e 87 + 10 = 97. Isto , podem existir 2
carros e 29 pessoas. Esta no uma alternativa correta.
25) Seja x o nmero de moedas de 1 real e y, o nmero de moedas
x + 0,5 y = 76
y = 48
de 50 centavos.
. Logo, a diferena
x + y = 100
x = 52
de 4 moedas.
26)
8+2+4+ x+6+ y
= 5 ( y + 2 + 4 + 6) + 8 + x = 30 . Assim,
6
y+2+4+6
= 3 y + 2 + 4 + 6 = 12 y = 0 . Logo, x = 10.
4
78
27) Note que, para isso, o primeiro algarismo do nmero par deve
ser sucessor do primeiro algarismo do nmero mpar e, alm
disso, os dois algarismos finais de cada um devem ser o menor
e o maior possvel, respectivamente. Assim, podemos tomar
os nmeros 402 e 397 ou 602 e 597. A diferena, em ambos os
casos, 5.
28) 1, 6, 11, 16, . . . , n, n + 5, . . . Todos os nmeros deixam resto 1
na diviso por 5. O menor nmero de 3 algarismos 100, que
deixa resto zero. Logo, dever ser o 101, que deixa resto 1.
29) Entre 10 e 99, temos 90 nmeros com dois algarismos.
Primos: 11 13 17 19 23 29 31 37 41 43 47 53 59 61 67 71 73 79
83 89 97, totalizando 21 primos.
Mltiplos de 2: 45 nmeros
Mltiplos de 3: 30 nmeros
Mltiplos de 5: 18 nmeros
Mltiplos de 6: 15 nmeros
Mltiplos de 10: 9 nmeros (mltiplos de 5 e 2)
Mltiplos de 15: 6 nmeros (mltiplos de 5 e 3)
Mltiplos de 30: 3 nmeros (mltiplos de 5, 3 e 2)
Logo, entre 10 e 99, existem 45 mltiplos de 2, 15 mltiplos de
3, mas que no so mltiplos de 2, mais 6 (= 18 [9 + 6 3])
mltiplos de 5, que no so mltiplos nem de 2, nem de 3.
Logo, existem 3 nmeros que satisfazem o problema: 7 7 = 49,
7 11 = 77 e 7 13 = 91.
Outra forma (mais direta): os nmeros procurados so produtos de primos e estes primos no podem ser 2, 3 e 5. Restam
7 7 = 49, 7 11 = 77 e 7 13 = 91.
30) Sejam A a quantidade de gua e MS a quantidade de matria
slida. Ento 90%A + 10%MS = 1 pra.
100kg = 90kgA + 10kgMS
Massa total = 60%A + 40%MS
79
d) 8
80
para ir de sua casa at o ponto de retorno, o que corresponde a
9
da distncia de sua casa ate a escola.
20
38) A carga total do elevador de 20 adultos, mas j se encontram no elevador 15 adultos, o que corresponde a
restando
da carga,
de 24 6, podem entrar
de 1.000 750 e a
caixa j tinha 400 litros, restam 350 litros para colocar na caixa.
Agora, basta dividir 350 por 14 e obteremos 25. Logo, em 25
minutos a caixa estar com
de sua capacidade.
81
82
(OBM/96/F1)
(OBM/98/F1)
n
, se n
2
par e f (n) = 3n + 1 , se n mpar. Qual o nmero de solues
de f ( f ( f (n))) = 16 ?
(OBM/99/F1)
B
A
Figura 3.24
83
B
M
A
C
Figura 3.25
b) 30 e 45
d) 60 e 75
e) 75 e 90
c) 45 e 60
(OBM/99/F1)
11) Um quadrado ABCD possui lado igual a 40cm. Uma circunferncia contm os vrtices A e B e tangente ao lado CD. Qual
o raio da circunferncia?
(OBM/99/F1)
12) O nmero
igual a:
(OBM/97/Junior/F1)
84
conjunto x + 1,
. Qual o valor mximo de f ( x) ?
2
(OBM/98/F1)
21) Qual a soluo da inequao
x+
1
2?
x
(OBM/98/F1)
85
Referncias
[1] MEGA, Elio; WATANABE, Renate. Olimpadas brasileiras de matemtica: 1. a 8.: problemas e resolues. So Paulo: Ncleo, 1988.
[2] MOREIRA, Carlos et al. Olimpadas brasileiras de matemtica: 9. a
16.: problemas e resolues. Rio de Janeiro: SBM, 2003.
[3] EUREKA!. Rio de Janeiro: SBM. Disponvel em: <www.obm.org.
br/opencms/revista_eureka>. Acesso em: 29 mai. 2009.
[4] OLIMPADAS Brasileiras de Matemtica. Disponvel em: <www.
obm.org.br/opencms/>. Acesso em: 29 mai. 2009.
[5] OLIMPADAS Brasileiras de Matemtica nas Escolas Pblicas.
Disponvel em: <www.obmep.org.br>. Acesso em: 29 mai. 2009.
[6] OLIMPADAS Regionais de Matemtica. Disponvel em: <www.
orm.mtm.ufsc.br>. Acesso em: 29 mai. 2009.
Captulo 4
Raciocnio Lgico
89
Captulo 4
Raciocnio Lgico
4.1 Introduo
HOUAISS, A. Dicionrio
Houaiss da Lngua
Portuguesa. Rio de Janeiro:
Objetiva, 2001.
90
que uma mistura de nmeros, letras latinas e gregas etc. Por exemplo, a equao (a + b) 2 = a 2 + b 2 + 2ab uma orao matemtica que
estabelece que a 2 + b 2 + 2ab um sinnimo da palavra (a + b) 2 .
No Ensino Mdio, a nfase comea a se voltar para a semntica, ou
seja, para o valor de verdade de sentenas matemticas. Um teorema uma sentena matemtica verdadeira. A negao do teorema
uma sentena falsa. Dissemos que, no mtodo axiomtico, as sentenas iniciais da teoria os axiomas so verdadeiras. Como se criam
novas afirmaes verdadeiras (teoremas) a partir dos axiomas?
isso que vamos tratar aqui, de modo muito informal. Gostaramos
que voc, aluno, compreendesse que criamos novas sentenas matemticas a partir de conectivos. So cinco os conectivos: e, ou, no
(~), se ... ento (), se e somente se (). Dada uma afirmao do
tipo se A ento B (ou, em smbolos, A B), dizemos que A a hiptese e B, a tese. A recproca de A B , por definio, a proposio
B A; a contra-positiva de A B a proposio ~B ~A; a sua
contra-recproca ~A ~B.
Alguns teoremas do clculo proposicional so:
1) Se A B e B C, ento, A C.
2) A B e ~B ~A so equivalentes (tm a mesma tabela de
verdade).
Tabelas de Verdade Bsicas
A
AeB
A ou B
~A
91
92
vivem no planeta. Apesar desse perodo no ser simples, considerase essa frase como uma sentena atmica, pois a orao que no
enganam seus eleitores funciona como um adjetivo.
Uma proposio do tipo Rumi um poeta do amor exttico e sua
morte comemorada todo dia 17 de dezembro na cidade turca de
Knia uma proposio que conecta a proposio acima, via conjuno e, proposio todo ano x, a morte de Rumi comemorada
na cidade turca de Knia, no dia 17 de dezembro de x. Aquela no
uma proposio atmica, pois seu valor de verdade depende do
valor de verdade de cada sentena que a compe. Nesse caso, aquela frase ser verdadeira se, e somente se, cada frase for verdadeira,
independentemente da outra. Por exemplo, se em 2006 no se comemorar a sua morte no dia 17 de dezembro, toda a sentena ser
falsa. Uma proposio que no atmica corresponde a um perodo
gramatical composto por vrias oraes.
No estudo abstrato das proposies, usamos letras para representar
uma frase. Por exemplo, a proposio composta acima poderia ser
expressa como E ( R ) (x) M ( x, R ) , em que E ( X ) a relao X
um poeta do amor exttico e M ( x, X ) a relao a morte de X
comemorada na cidade de Knia no dia 17 de dezembro de x.
Assim, as proposies atmicas correspondem a expresses simblicas com smbolos relacionais (que representam uma relao), smbolos funcionais (para representar funes), smbolos para variveis
(em geral, do final do alfabeto: x, y, z), smbolos para constantes (em
geral, do incio do alfabeto: a, b... ; ou algarismos: 1, 2...), conectivos e
quantificadores. Reciprocamente, podemos criar expresses simblicas, seguindo uma gramtica prpria, tais que possam ser traduzidas para proposies em linguagem corrente, uma vez que se faa
uma correspondncia entre smbolos e palavras ou entre smbolos e
frases. Isso o que se chama de interpretao. E o conjunto no qual
se faz essa interpretao se chama de modelo. Em um modelo, faz
sentido atribuir um valor de verdade: ou V (verdadeiro) ou F (falso).
Voltemos ao mtodo axiomtico. Partindo-se de um conjunto de proposies iniciais, criamos proposies novas, utilizando conectivos.
Em matemtica, usamos 5 conectivos, que aparecem como e, ou,
se...ento (ou implica em, ou somente se), se e somente se (ou
93
94
uma proposio de S.
,
, (X Y) ,
Exemplos:
i) (( A B) (( B) ( (C D)))) uma proposio.
ii)
, porm, no uma proposio, pois no obtida por um nmero de aplicaes das regras dadas acima.
95
(( A B) ( B))
( A ( B A))
96
ii)
( A B) ^ ( B C )
iii) (( ( A) A))
A
( A)
( ( A))
(( ( A) A))
97
equivalente a (( A B ) (C C )) .
At aqui vimos que S se constitui de um conjunto de smbolos a
partir dos quais formamos certas expresses as proposies. Um
sistema formal definido quando, alm de um conjunto de smbolos
e de regras de formao de sentenas (no caso do Clculo Proposicional, proposies), existem regras de transformao com as quais
as sentenas especiais, os teoremas, so criadas. As regras de transformao so:
i) um conjunto de sentenas iniciais, ditas axiomas;
ii) regras de inferncia, pelas quais outros teoremas so criados,
a partir dos axiomas.
Sejam X, Y, Z proposies de S. Ento as seguintes proposies de S
so axiomas:
i) X (Y X )
ii) ( X (Y Z )) (( X Y ) ( X Z ))
iii) (( Y ) ( X )) ((( Y ) X ) Y )
iv) ( X Y ) (( X Y ) (Y X ))
v)
vi) ( X Y ) (( X ) Y )
vii) ( ( X Y )) (( X ) ( Y ))
Definio. Uma proposio de S um teorema de S se e s se obtida por um nmero finito de aplicaes das seguintes regras:
i) um axioma um teorema de S;
ii) se X e ( X Y ) so teoremas de S ento Y um teorema de S.
Desse modo podemos falar do sistema formal S.
Considere, agora, um conjunto de proposies K e seja Y uma proposio de S.
98
Vs = {a A | S (a )} .
99
Exerccio
Determine o conjunto verdade das seguintes frmulas:
a) x + 5 = 9 , em ;
b) x um divisor de 10, em ;
c) x mltiplo de 3, em (o conjunto dos nmeros inteiros);
d) x 2 7 x + 12 = 0 , em (conjunto dos nmeros reais);
e) 3 x 2 > 5 , em P (conjunto dos nmeros inteiros pares);
f) x 2 + 1 < 2 , em ;
g)
x 2 + 1 = x 1 , em .
Observao:
1) Note que o conjunto verdade da frmula aberta x 2 0 em
o prprio , ou seja, x 2 0 uma sentena verdadeira para
TODO x em .
2) No item c) acima, nem todo nmero natural torna a sentena
verdadeira e, portanto, o conjunto verdade no todo o conjunto . Porm, EXISTEM alguns nmeros naturais que tornam a sentena verdadeira, a saber, 3, 6,9...
, ...
4.5 Quantificao
O quantificador existencial, que denotado por , est associado a
palavras como para algum e existe(m).
Por exemplo, a sentena Existe um nmero inteiro que maior que
zero pode ser reescrita, simbolicamente, por
. A negao desta sentena No existe um nmero inteiro maior que zero,
que tem o mesmo valor de verdade que Todos os nmeros inteiros
so menores ou iguais a zero, ou, ainda, (x ) x 0 .
100
101
Definio: toda frmula aberta com duas (ou mais) variveis precedidas por quantificadores, um para cada varivel, chamada de
sentena.
Exemplos: a proposio
(x H ) ( y M ) S ( x, y )
pode-se ler Para cada x em H existe pelo menos um y em M tal que
x irmo de y, o que interpretada, em H M , do seguinte modo:
cada homem de H irmo de Suely ou de Carmem.
J a proposio
significa que existe uma mulher em M que irm de todos os homens de H. Esses dois exemplos mostram que mudando a ordem
dos quantificadores, obtm-se proposies diferentes. A negao da
proposio Para cada x em H existe pelo menos um y em M tal que
x irmo de y, ou, simbolicamente,
(x H ) ( y M ) S ( x, y ) ,
existe um x em H que no irmo de nenhum y em M, ou ainda,
existe x em H tal que para todo y em M, x no irmo de y, ou,
simbolicamente,
( x H ) ( y M ) ( S ( x, y )) .
Assim, se S uma frmula aberta de duas variveis ento
((x A) ( y B) S ( x, y )) ( x A) (y B) ( S ( x, y )) .
Isto significa que os dois lados da implicao tm sempre o mesmo
valor de verdade em A B .
Alm disso,
,
(( x A) ( y B) S ( x, y )) ( x A) (y B) ( S ( x, y ))
e
(( x A) ( y B) S ( x, y )) ( x A) ( y B) ( S ( x, y )) .
102
Exerccios
1) Seja A = {0,1, 2,3, 4,5} . Classifique as sentenas como verdadeiras ou falsas, justificando sua resposta.
a)
b) ( x A) x 2 1 = 3
c) ( x A) 3 x 6 = 14
d) (x A) x 5 < 1
2) Escreva a negao das sentenas do exerccio 1.
3) Sendo A = {0,1, 2,3, 4,5, 6} , coloque o quantificador adequado
para que a frmula se torne uma sentena verdadeira.
a) x + 4 = 8
b) x 2 5 x + 6 = 0
c) 5 x + 2 4
d) x 2 + 8 x = 0
4) Classifique as sentenas como verdadeiras ou falsas, justificando.
a) ( x ) ( y ) x + y = 3
b)
c) ( x ) ( y ) x 4 y > 0
d) ( x ) ( y ) x 2 y 3 < 0
5) Negue as proposies abaixo.
a) Todo estudante boa pessoa.
b) Todos os pssaros tm asas e voam.
c) Para cada nmero natural n , existe um nmero primo p
tal que p maior que n .
d) (x ) x + 3 > 8
e) ( x ) x 2 = 5
103
104
f) Se Csar ambicioso e Dbora no ciumenta, ento Csar
e Dbora formam um casal ideal.
g) Humberto come seu chapu se o Flamengo no ganhar um
jogo.
h) Se x e y so nmeros reais, e x.y = 0, ento x = 0 ou y = 0.
i) Dois nmeros naturais a e b so relativamente primos somente se o mximo divisor comum deles 1.
j) Um tringulo eqiltero se todos os seus lados so iguais.
k) Duas retas distintas no espao so paralelas se elas no so
concorrentes e no so reversas.
l) Um nmero racional se pode ser expresso como razo de
inteiros a/b, com b diferente de zero.
m) Um inteiro a divisvel por um inteiro b somente se a mltiplo de b.
n) Um nmero mltiplo de 5 se seu algarismo das unidades
zero ou 5.
o) Se uma girafa tem dor de garganta, ento ela no come acerola.
p) Um tringulo retngulo se contm um ngulo de 90.
q) Irei praia desde que no chova.
r) Se uma ave no um pelicano, ento ela no come peixe.
s) Se x um inteiro mpar, ento x da forma 2k+1 para algum
k inteiro.
t) Se x par e primo, ento x igual a 2.
u) Se x da forma 3k+1 ou 3k+2, para algum inteiro k, ento x
no mltiplo de 3.
v) x da forma 2k ou 2k+1, para algum inteiro k, se x inteiro.
w) Se no venta e no chove, Edmundo joga na Ressacada.
x) Se voc jardineiro, ento sabe plantar e podar.
y) Se a lua est cheia, os vampiros saem de casa noite.
105
106
8) Em cada um dos raciocnios abaixo, diga se a terceira afirmao conseqncia das duas primeiras, usando a regra Modus
Ponens.
a) Se voc esqueceu seu lpis, pode pegar um dos meus. Voc
esqueceu seu lpis. Logo, pode pegar um dos meus.
b) Se voc v manchas na sua frente, ento voc est olhando
um tigre. Voc est olhando um tigre. Logo, voc v manchas na sua frente.
c) Se voc escova seu dente com Xampu Maravilha, ento voc
no entendeu o comercial. Voc entendeu o comercial. Logo,
voc no escova seus dentes com Xampu Maravilha.
d) Pedras que rolam no criam limo. Se as pedras no criam
limo, ento elas so lisas. Logo, se as pedras rolam, elas so
lisas.
e) Se voc l Veja, ento voc gosta de gatos. Se voc cria passarinhos, ento no gosta de gatos. Logo, se voc cria passarinhos, no l Veja.
f) Se voc andar debaixo de um coqueiro, provavelmente ter
sua cabea rachada. Quem vai a Fortaleza anda debaixo de
coqueiros. Logo, se voc for a Fortaleza ter sua cabea rachada, provavelmente.
g) Picadinho melhor do que nada. Nada melhor do que
feijoada. Logo, picadinho melhor do que feijoada.
h) Se Pedro ganha no bingo, ento Antnio bebe cerveja. Se
Antnio bebe cerveja, sua namorada briga. Se a namorada
briga, Antnio fica triste. Antnio no est triste. Logo, Pedro no ganhou no bingo.
i) No posso ajud-lo se eu no souber o que est errado e ainda no sei o que est errado. Logo, no posso ajud-lo.
j) Se um cachorro bravo, ento ele late muito. Se um cachorro late muito, ele incomoda os vizinhos. Euclides um cachorro bravo. Logo, ele incomoda os vizinhos.
9) D dois exemplos de proposies verdadeiras do tipo se .. ento (em interpretaes usuais), tais que a recproca de uma
seja verdadeira e a recproca da outra seja falsa.
Se A B uma
proposio verdadeira e A
uma proposio tambm
verdadeira, ento B uma
proposio verdadeira.
107
108
b)
c)
d) (m ) ( n ) m > n .
e) ( n ) (m ) m m > n .
16) Decida que concluses so vlidas:
a) Todos os girassis so amarelos e alguns pssaros so amarelos. Logo, nenhum pssaro um girassol.
b) Nenhum advogado uma pessoa entusiasmada. Voc
uma pessoa entusiasmada. Logo, voc no advogado.
c) Dicionrios so teis e livros teis so valiosos. Logo, dicionrios so valiosos.
d) Tudo o que ele fala tolice. Toda tolice desprezvel. Logo,
tudo que ele fala desprezvel.
e) Ningum conquistou o mundo. Logo, algum no conquistou o mundo.
109
110
Referncias
[1] BEZERRA, Licio H. et al. Introduo Matemtica. Florianpolis:
Ed. UFSC, 1995.
[2] MORTARI, Cezar A. Introduo Lgica. So Paulo: UNESP, 2001.
[3] ABAR, Celina A.A.P. Noes de Lgica Matemtica. Disponvel em:
<www.pucsp.br/~logica/>. Acesso em: 01 JUN 2009.
111
Sugestes de leitura
[1] DEWDNEY, A. K. 20 000 lguas matemticas. Rio de Janeiro: Jorge
Zahar, 2000.
[2] GUZMAN, Miguel de. Aventuras matemticas. Lisboa: Gradiva,
1991.
[3] KAPLAN, Robert. O nada que existe. Rio de Janeiro: Rocco, 2001.
[4] MORRIS, Richard. Uma breve histria do infinito. Rio de Janeiro:
Jorge Zahar, 1998.
[5] OSSERMAN, Robert. A magia dos nmeros no universo. So Paulo:
Mercuryo, 1997.
[6] SMULLYAN, Raymond. O enigma de Sherazade e outros incrveis
problemas: das Mil e uma noites lgica moderna. Rio de Janeiro: Jorge Zahar, 1998.
112
Bibliografia comentada
GARDNER, Martin. Divertimentos Matemticos. 4. ed. So Paulo:
Ibrasa, 1998.
Martin Gardner assinava a coluna Mathematical Games, da revista Scientific
American, nas dcadas de 60 e 70. Tem vrios livros editados em ingls.
Em portugus, a editora portuguesa Gradiva publicou diversos ttulos. Esse
livro da editora brasileira IBRASA para quem gosta especialmente de jogos
e quer calcular ou conhecer, pelo menos, as possibilidades matemticas de
desenvolvimento de uma partida. O livro trata de variaes do jogo da
velha, apresenta o jogo chins do NIM e muitas outras curiosidades, como
variaes de quadrados mgicos.
MALBA TAHAN. O homem que calculava. 56. ed. Rio de Janeiro: Record, 2002.
O nosso querido matemtico brasileiro escreve um romance sobre um
viajante por terras estranhas, chamado de o calculista. So contos
interligados, no estilo dos Contos de mil e uma noites, cheios de califas,
mulheres com burcas, comerciantes, sempre com algum problema
matemtico para ser resolvido. E o nosso heri resolve todos, com solues
cheias de humor, como os contos de Nasruddin. No deixe de t-lo em sua
biblioteca particular.