Escolar Documentos
Profissional Documentos
Cultura Documentos
1
1.1 Lgica
Proposicional
1.2 Equivalncias
Proposicionais
1.3 Predicados e
Quantificadores
1.4 Quantificadores
Agrupados
1.5 Regras de
Inferncia
1.6 Introduo a
Demonstraes
1.7 Mtodos de
Demonstrao
e Estratgia
Os Fundamentos:
Lgica e Demonstraes
1.1Lgica Proposicional
Introduo
As regras de lgica nos do um significado preciso para sentenas matemticas. Essas regras so
usadas para distinguir entre argumentos matemticos vlidos e invlidos. Como o objetivo principal
deste livro ensinar nosso leitor a entender e a construir argumentos matemticos corretos, comearemos nosso estudo de matemtica discreta com uma introduo lgica.
Paralelamente sua importncia no entendimento do raciocnio matemtico, a lgica tem numerosas aplicaes em cincia da computao. Suas regras so usadas no design de circuitos de
computador, na construo de programas, na verificao da correo de programas e de muitas
outras formas. Alm do mais, sistemas de softwares tm sido desenvolvidos para construir demonstraes automaticamente. Vamos discutir essas aplicaes da lgica nos prximos captulos.
Proposies
Nossa discusso comea com uma introduo construo dos blocos bsicos de lgica proposies. Uma proposio uma sentena declarativa (isto , uma sentena que declara um
fato), que pode ser verdadeira ou falsa, mas no ambas.
1-1
EXEMPLO 1
Exemplos
Extras
1-2
EXEMPLO 2
Usamos letras para indicar variveis proposicionais (ou variveis declarativas), que so
variveis que representam proposies, assim como letras so usadas para indicar variveis
numricas. As letras convencionalmente usadas para variveis proposicionais so p, q, r, s,.... O
valor-verdade de uma proposio verdadeiro, indicado por V, se for uma proposio verdadeira,
e falso, indicado por F, se for uma proposio falsa.
A rea da lgica que se preocupa com as proposies chamada de clculo proposicional
ou lgica proposicional, e foi desenvolvida sistematicamente a primeira vez pelo fi lsofo grego
Aristteles, h mais de 2.300 anos.
Links
ARISTTELES (384 a.C.322 a.C.) Aristteles nasceu em Estagira, norte da Grcia. Seu pai era o mdico particular
do rei da Macednia. Como seu pai morreu quando Aristteles era jovem, o fi lsofo no pde seguir o costume de ter
a mesma profi sso de seu pai. Aristteles fi cou rfo cedo, pois sua me tambm morreu logo. O guardio que o criou
ensinou-lhe poesia, retrica e grego. Aos 17 anos, seu guardio o enviou a Atenas para continuar sua educao. Aristteles juntou-se Academia de Plato, onde freqentou durante 20 anos as aulas de Plato, e posteriormente apresentou
suas prprias leituras de retrica. Quando Plato morreu em 347 a.C., Aristteles no foi escolhido para ser seu sucessor na Academia, pois suas idias eram muito diferentes das de Plato. Assim, Aristteles se juntou corte do rei
Hrmias, onde permaneceu por trs anos e casou-se com a sobrinha do rei. Como os persas derrotaram Hrmias, Aristteles se mudou para Mitilena e, convidado pelo rei Filipe da Macednia, tornou-se tutor de Alexandre, fi lho de Filipe,
que mais tarde se tornaria Alexandre, o Grande. Aristteles foi tutor de Alexandre durante cinco anos e, depois da morte do rei Filipe, retornou a Atenas e organizou sua prpria escola, chamada Liceu.
Os seguidores de Aristteles eram chamados de peripatticos, que signifi ca os que passeiam, j que Aristteles costumava caminhar
quando discutia questes fi losfi cas. Aristteles ensinou no Liceu por 13 anos, dando lies aos seus estudantes mais avanados pela manh e aos populares em um auditrio aberto, noite. Quando Alexandre, o Grande, morreu em 323 a.C., uma reao violenta contra tudo
relacionado a Alexandre iniciou um grande ataque de mpetos contra Aristteles, que fugiu para o Clcis para evitar um processo. Ele viveu
apenas um ano em Clcis, morrendo por um problema estomacal em 322 a.C.
Aristteles escreveu trs tipos de trabalho: aqueles escritos para uma audincia popular, compilaes de fatos cientfi cos e tratados sistemticos. Estes ltimos incluem trabalhos de lgica, fi losofi a, psicologia, fsica e histria natural. Os escritos de Aristteles foram preservados por um estudante e escondidos em uma cripta, sendo descobertos por um colecionador de livros 200 anos depois. Eles foram levados
para Roma, onde foram estudados por eruditos e publicados em novas edies para serem preservados para a posteridade.
1-3
Links
DEFINIO 1
Agora voltaremos nossa ateno para mtodos de produo de novas proposies a partir
daquelas que j temos. Esses mtodos foram discutidos pelo matemtico ingls George Boole em
1854, em seu livro The Laws of Thought. Muitas sentenas matemticas so construdas combinando-se uma ou mais proposies. Novas proposies, chamadas de proposies compostas,
so criadas a partir de proposies existentes usando-se operadores lgicos.
Seja p uma proposio. A negao de p, indicada por p (e tambm por p), a sentena
No o caso de p.
A proposio p lida no p. O valor-verdade da negao de p, p, o oposto do
valor-verdade de p.
e expresse-a em portugus.
Soluo: A negao
No o caso de hoje ser sexta-feira.
A negao pode ser expressa simplesmente por
Hoje no sexta-feira.
ou
No sexta-feira hoje.
Tabela-Verdade
para a Negao
de uma
Proposio.
p
V
F
F
V
Lembre-se: No sentido estrito, sentenas que envolvem advrbios de tempo como essas dos
exemplos 3 e 4 no so proposies at que um tempo fixo seja assumido. O mesmo ocorre para
advrbios de lugar, at que um lugar fixo seja assumido, e para pronomes, at que um indivduo
seja assumido. Ns sempre assumiremos um instante fixo, um lugar definido ou um indivduo determinado nessas sentenas, a no ser que indiquemos o contrrio.
A Tabela 1 nos mostra a tabela-verdade para a negao de uma proposio p. Essa tabela tem
uma linha para cada uma das possibilidades de valor-verdade da proposio p Verdadeiro e Falso.
Cada linha mostra o valor-verdade de p correspondente ao valor-verdade de p nesta linha.
1-4
DEFINIO 2
A Tabela 2 nos mostra a tabela-verdade para p q. Essa tabela tem uma linha para cada combinao
de valores-verdade para as proposies p e q. As quatro linhas correspondem aos pares VV, VF,
FV e FF, em que o primeiro valor-verdade o valor de p e o segundo o valor de q.
Note que em lgica a palavra mas freqentemente usada no lugar do e em uma conjuno. Por exemplo, a frase O sol est brilhando, mas est chovendo uma outra maneira de dizer
O sol est brilhando e est chovendo. (Em nossa linguagem natural, existe uma diferena substancial entre mas e e, mas no vamos nos preocupar com essa nuana aqui.)
DEFINIO 3
pq
pq
1-5
Aqui, queremos dizer que estudantes que tm aulas de clculo e cincia da computao podem
assistir a estas aulas, bem como estudantes que tm aulas em apenas um dos cursos. Por outro
lado, se queremos usar o ou exclusivo, dizemos
Estudantes que tm aulas de clculo ou cincia da computao, mas no ambas, podem assistir a estas aulas.
Nesse caso, queremos dizer que estudantes que tm aulas nesses dois cursos, clculo e cincia da
computao, no podem assistir a estas aulas.
De maneira similar, quando em um cardpio de restaurante est escrito Sopa ou salada
servida como entrada, o restaurante quer dizer que uma das duas entradas pode ser pedida, mas
no ambas. Portanto, esse um ou exclusivo, e no um ou inclusivo.
EXEMPLO 6
Exemplos
Extras
DEFINIO 4
Links
GEORGE BOOLE (18151864) George Boole, fi lho de um sapateiro, nasceu em Lincoln, na Inglaterra, em novembro de 1815. Por causa da difcil situao fi nanceira da famlia, Boole teve que se esforar para educar-se enquanto a
sustentava. No entanto, ele se tornou um dos matemticos mais importantes do sculo XIX. Embora considerasse a
carreira como um clrigo, ele preferiu, em vez disso, entrar no mundo do ensino e mais tarde abrir sua prpria escola.
Em sua preparao para ensinar matemtica, Boole insatisfeito com os livros de sua poca decidiu ler os trabalhos dos grandes matemticos. Enquanto lia os trabalhos do grande matemtico francs Lagrange, Boole fez descobertas no clculo de variantes, o campo de anlise que lida com a descoberta de curvas e superfcies e, assim, otimiza
certos parmetros.
Em 1848, Boole publicou o livro The Mathematical Analysis of Logic, o primeiro de sua contribuio lgica
simblica. Em 1849, ele foi convidado para ser professor de matemtica da Universidade de Queen, em Cork, Irlanda. Em 1854, publicou
The Laws of Thought, seu mais famoso trabalho. Nesse livro, Boole introduziu o que passou a ser chamado de lgebra booleana, em sua
homenagem. Boole escreveu livros de teoria de equaes diferenciais que foram usados na Gr-Bretanha at o fi nal do sculo XIX. Casou-se
em 1855; sua mulher era a sobrinha do professor de grego da Universidade de Queen. Em 1864, Boole morreu de pneumonia, contrada por
manter-se lendo mesmo encharcado depois de uma tempestade.
1-6
pq
pq
Proposies Condicionais
Vamos, agora, discutir outros modos importantes sobre os quais podemos combinar proposies.
DEFINIO 5
Autoavaliao
A proposio p q chamada de condicional porque p q afirma que q verdadeira na condio de que p tambm o seja. Uma proposio condicional tambm chamada de implicao.
A tabela-verdade para a condicional p q mostrada na Tabela 5. Note que p q
verdadeira quando ambos o so e quando p falsa (no importando qual o valor-verdade de q).
Como a condicional usada como uma regra essencial no raciocnio matemtico, uma
variedade de termos pode ser usada para expressar p q. Voc pode encontrar algumas das
seguintes formas para expressar a condicional:
se p, ento q
se p, q
p suficiente para q
q se p
q quando ocorrer p
uma condio necessria para p q
q a menos que p
p implica q
p apenas se q
uma condio suficiente para q p
q sempre que p
q necessrio para p
q segue de p
Uma maneira usual de entender a tabela-verdade de uma condicional pensar em uma obrigao
ou um contrato. Por exemplo, uma promessa que muitos polticos fazem quando so candidatos
Se eu for eleito, ento vou diminuir os impostos.
Se o poltico for eleito, os eleitores devem esperar que esse poltico diminua os impostos. No
entanto, se o poltico no for eleito, os eleitores no tero nenhuma expectativa sobre o que tal
poltico far com os impostos, mesmo que a pessoa tenha influncia suficiente para baix-los.
Ser apenas quando o poltico for eleito, mas no baixar os impostos, que os eleitores podero
dizer que o poltico quebrou sua promessa de campanha. Esse ltimo cenrio corresponde ao caso
em que p verdadeira e q falsa em p q.
Similarmente, considere a proposio que um professor pode fazer:
Se voc tirar nota 10 no exame final, ento ter conceito A.
1-7
Se tirar nota 10 no exame final, ento voc espera receber o conceito A. Se no tirar 10, voc
pode ou no receber o conceito A dependendo de outros fatores. No entanto, se tirar 10, mas o
professor no lhe der o conceito A, ento voc se sentir trapaceado.
Muitas pessoas acham confuso que p somente se q expresse o mesmo que se p ento q.
Para lembrar isto, note que p somente se q significa que p no pode ser verdadeira quando q
no . Ou seja, a proposio falsa se p verdadeira, mas q falsa. Quando p falsa, q pode ser
verdadeira ou falsa, porque a proposio no diz nada sobre o valor-verdade de q. Um erro
comum pensar que q somente se p uma possibilidade de expressar p q. No entanto, essas
proposies tm valores-verdade diferentes quando p e q tm valores-verdade diferentes.
A expresso a menos que freqentemente usada para expressar condicionais. Observe
que q a menos que p significa que se p falsa, ento q deve ser verdadeira. Ou seja, a
proposio q a menos que p falsa quando p verdadeira e q falsa, mas verdadeira em
qualquer outro caso. Conseqentemente, q a menos que p e p q tm o mesmo valorverdade.
Ilustraremos a traduo entre condicionais e proposies em portugus no Exemplo 7.
EXEMPLO 7 Seja p a proposio Maria aprende matemtica discreta e q a proposio Maria vai conseguir
um bom emprego. Expresse p q em portugus.
Exemplos
Extras
Soluo: Da definio de condicional, vemos que, quando p a proposio Maria aprende matemtica discreta e q a proposio Maria vai conseguir um bom emprego, p q representa
a proposio
Se Maria aprender matemtica discreta, ento ela vai conseguir um bom emprego.
Existem muitas outras maneiras de expressar essa condicional em portugus. Algumas das mais
naturais so:
Maria vai encontrar um bom emprego quando aprender matemtica discreta.
Para conseguir um bom emprego, suficiente que Maria aprenda matemtica discreta.
e
Maria vai conseguir um bom emprego, a menos que no aprenda matemtica discreta.
Note que o modo que definimos a condicional mais geral do que o significado intrnseco s
proposies em portugus. Veja que a proposio condicional no Exemplo 7 e a proposio
Se hoje est ensolarado, ento vou praia.
so proposies utilizadas em linguagem natural, em que h uma relao entre a hiptese e a
concluso. Alm disso, a primeira proposio verdadeira, a menos que Maria aprenda matemtica discreta, mas no consiga um bom emprego, e a segunda verdadeira, a menos que seja um
dia ensolarado e eu no v praia. Por outro lado, a proposio
Se hoje sexta-feira, ento 2 3 = 5.
verdadeira pela definio de proposio condicional, porque a concluso verdadeira. (O valorverdade da hiptese no faz diferena nesse caso.) A proposio condicional
Se hoje sexta-feira, ento 2 3 = 6.
verdadeira para todos os dias, exceto s sextas-feiras, j que 2 3 = 6 falso.
No usamos essas duas ltimas condicionais em linguagem natural (exceto sarcasticamente),
porque no existe uma relao entre a hiptese e a concluso nos dois casos. No raciocnio
1-8
matemtico, consideramos a condicional de uma forma mais geral que a usada na lngua portuguesa.
O conceito matemtico de condicional independente de relaes de causaefeito entre a hiptese
e a concluso. Nossa definio de condicional especifica seus valores-verdade; no tem como base
a sua utilizao em portugus. A linguagem proposicional uma linguagem artificial; ns apenas
usamos o paralelo em portugus para torn-la fcil de ser utilizada e lembrada.
A construo se-ento usada em muitas linguagens de programao diferente da usada em
lgica. A maioria das linguagens de programao contm declaraes tais como if p then S, em
que p uma proposio e S um segmento do programa (uma ou mais declaraes a serem
executadas). Quando a execuo do programa encontra tal declarao, S executado se p
verdadeira, mas S no executado se p falsa, como ilustrado no Exemplo 8.
OPOSTA, CONTRAPOSITIVA E INVERSA Podemos formar muitas outras proposies comeando com a condicional p q. Em particular, existem trs proposies condicionais relacionadas que ocorrem to freqentemente que damos nomes a elas. A proposio q p chamada
de oposta de p q. A contrapositiva de p q a proposio q p. A proposio p q
chamada de inversa de p q. Veremos que, dessas trs condicionais formadas a partir de
p q, apenas a contrapositiva sempre tem o mesmo valor-verdade que p q.
Primeiro vamos mostrar que a contrapositiva, q p, de uma condicional p q sempre
tem o mesmo valor-verdade que p q. Para ver isso, note que a contrapositiva falsa apenas no
caso de p falsa e q verdadeira, que apenas quando q falsa e p verdadeira. Agora podemos
ver que nem a oposta, q p, nem a inversa, p q, tm o mesmo valor-verdade que p q,
para todos os possveis valores-verdade de p e q. Note que, quando p verdadeira e q falsa, a
condicional original falsa, mas a oposta e a inversa so ambas verdadeiras.
Quando duas proposies compostas tm sempre o mesmo valor-verdade, ns as chamamos
equivalentes, de modo que a proposio condicional e a contrapositiva so equivalentes. A
oposta e a inversa tambm so proposies equivalentes, como o leitor pode verificar, mas no
so equivalentes condicional original. (Vamos estudar proposies equivalentes na Seo 1.2.)
Considere nota que um dos erros mais comuns na lgica assumir que a inversa ou a oposta de
uma condicional equivalente a essa condicional.
Ilustraremos o uso das proposies condicionais no Exemplo 9.
Soluo: Como q sempre que p uma das maneiras de escrever a condicional p q, a proposio original pode ser reescrita como
Se est chovendo, ento o time da casa ganha.
Conseqentemente, a contrapositiva dessa condicional
Se o time da casa no ganha, ento no est chovendo.
1-9
A oposta
Se o time da casa ganha, ento est chovendo.
A inversa
Se no est chovendo, ento o time da casa no ganha.
Apenas a contrapositiva equivalente condicional original.
BICONDICIONAIS Vamos agora introduzir uma nova maneira de combinar proposies que
expressa que duas proposies tm o mesmo valor-verdade.
DEFINIO 6
EXEMPLO 10 Seja p a proposio Voc pode tomar o avio e q a proposio Voc comprou uma passagem.
Ento p q a proposio
Voc pode tomar o avio se e somente se voc comprou uma passagem.
Exemplos
Extras
pq
1-10
USO IMPLCITO DE BICONDICIONAIS Devemos estar cientes de que nem sempre bicondicionais esto explcitas em nossa linguagem natural. Em particular, a construo se e
somente se raramente usada na linguagem comum. Em vez disso, bicondicionais so freqentemente expressas usando a construo se, ento ou somente se. A outra parte do se
e somente se fica implcita. Ou seja, a proposio oposta est implcita, mas no escrita (ou
falada). Considere, por exemplo, a frase em portugus Se terminar o almoo, ento voc pode
comer a sobremesa. Essa frase tem significado exato Voc pode comer a sobremesa se, e
somente se, terminar o almoo. Essa proposio logicamente equivalente s duas proposies Se terminar o almoo, ento voc pode comer a sobremesa e Voc pode comer sobremesa somente se terminar o almoo. Como temos essa impreciso na linguagem natural,
precisamos assumir que uma proposio condicional na linguagem natural inclui sua oposta.
Como a preciso essencial em matemtica e em lgica, vamos sempre fazer distino entre
condicional e bicondicional.
p q
pq
(p q) (p q)
1-11
Tabela 8
Operador
Prioridade
2
3
Outra regra geral de prioridade que a conjuno tem prioridade sobre a disjuno, ento
p q r significa (p q) r em vez de p (q r). Como essa regra pode ser mais difcil de ser
lembrada, vamos continuar usando parnteses at que a ordem fique clara.
4
5
Prioridade do
Operador Lgico.
Finalmente, uma regra aceita que a condicional e a bicondicional tm prioridade menor que
a conjuno e a disjuno. Conseqentemente, p q r o mesmo que (p q) r. Vamos usar
parnteses quando a prioridade dos conectivos condicional e bicondicional estiver em ordem
inversa; tal seqncia ser: o condicional deve ter prioridade maior que o bicondicional. A Tabela
8 mostra os nveis de prioridade dos operadores lgicos, , , , e .
EXEMPLO 12 Como podemos traduzir esta sentena do portugus para expresses lgicas?
Voc pode acessar a Internet a partir deste campus somente se voc um expert em cincia
da computao ou no um novato.
Exemplos
Extras
Soluo: Existem muitas maneiras de traduzir essa sentena para uma expresso lgica. Por
exemplo, poderamos represent-la por uma simples varivel proposicional p, mas isso pode no
ser usual quando queremos analisar o significado dela ou raciocinar sobre ela. No entanto, podemos usar variveis proposicionais para cada sentena que forma a proposio e determinar os
conectivos lgicos que devem estar entre elas. Em particular, podemos usar a, c e f representando
Voc pode acessar a Internet a partir deste campus, Voc um expert em cincias da computao e Voc um novato, respectivamente. Note que somente se uma forma de a condicional ser expressa, ento podemos representar a sentena por
a (c f ).
EXEMPLO 13 Como podemos traduzir esta sentena do portugus para expresses lgicas?
Voc pode pular de pra-quedas se voc tem autorizao de seus pais ou se tem mais de 18
anos.
1-12
Soluo: Sejam q, r e s as representaes de Voc pode pular de pra-quedas, Voc tem autorizao de seus pais e Voc tem mais de 18 anos, respectivamente. Ento, a sentena pode ser
traduzida por
(r s) q.
claro que existem muitas outras maneiras de traduzir a sentena, mas essa j suficiente.
Sistemas de Especificaes
A traduo de sentenas da linguagem natural para expresses lgicas uma parte essencial
para a especificao de sistemas de hardware e sistemas de software. Sistemas e engenheiros
de software tomam afirmaes em linguagem natural e produzem especificaes precisas e sem
ambigidade que podem ser usadas como base de um sistema de desenvolvimento. O Exemplo
14 mostra como proposies compostas podem ser usadas nesse processo.
EXEMPLO 14 Expresse a especificao A resposta automtica no pode ser enviada quando o sistema est
sobrecarregado, usando conectivos lgicos.
Exemplos
Extras
Soluo: Um meio de traduzir tomar p como A resposta automtica pode ser enviada e q
como O sistema est sobrecarregado. Ento, p representa No o caso de a resposta automtica poder ser enviada ou A resposta automtica no pode ser enviada. Conseqentemente,
nossa especificao pode ser representada por q p.
1-13
Buscadores Booleanos
Links
EXEMPLO 17 Pesquisando Pginas da Internet A maioria dos buscadores na Web, os quais usualmente
podem nos ajudar a encontrar pginas da Internet sobre algum objeto especfico, utiliza tcnicas de buscadores booleanos. Por exemplo, usando um buscador booleano para achar uma
pgina da Web sobre universidades em So Paulo, devemos procurar por pginas que trabalhem com SO AND PAULO AND UNIVERSIDADES. Os resultados dessa busca incluiro
as pginas que contm as trs palavras SO, PAULO e UNIVERSIDADES. Isso deve incluir
Exemplos
todas as pginas de interesse, assim como pginas sobre universidades que tm algum texto
Extras
sobre So Paulo. (Note que, no Google e em muitos outros buscadores, a palavra AND no
necessria; essa fica subentendida porque todos os termos so includos.) Segundo, para encontrar pginas de universidades em So Paulo ou Paran, devemos procurar por pginas que
trabalhem com (SO AND PAULO OR PARAN) AND UNIVERSIDADES. (Nota: Aqui o
operador AND tem prioridade maior que o operador OR. Alm disso, no Google, os termos usados devem ser SO PAULO OR PARAN.) O resultado dessa busca deve incluir todas as pginas com a palavra UNIVERSIDADES e/ou uma ou ambas as palavras SO e PAULO ou
PARAN. Novamente, pginas com textos que incluem essas palavras, mas que no so de interesse, sero listadas. Finalmente, para encontrar pginas sobre universidades em So Paulo, no
pblicas, podemos primeiro fazer uma busca com SO AND PAULO AND UNIVERSIDADES,
mas essa busca incluir as pginas sobre as universidades tambm pblicas; ento, podemos buscar
por (SO AND PAULO AND UNIVERSIDADES) NOT PBLICAS. O resultado listar as pginas que contm as palavras So e Paulo e universidades e no contm a palavra PBLICAS. (No Google e em muitos outros buscadores, a palavra NOT substituda pelo sinal de
subtrao -; nesse caso, a busca seria SO PAULO UNIVERSIDADES PBLICAS.)
Quebra-Cabeas Lgicos
Links
Enigmas que podem ser resolvidos por raciocnio lgico so chamados de quebra-cabeas lgicos. Resolver quebra-cabeas lgicos um excelente meio de treinar as regras da lgica. Tambm
os programas de computadores que devem trabalhar com raciocnio lgico freqentemente usam
conhecidos quebra-cabeas para demonstrar sua capacidade. Muitas pessoas apreciam resolver
esses quebra-cabeas lgicos, os quais so publicados em livros e peridicos como atividade de
recreao.
Vamos discutir dois quebra-cabeas lgicos. Comearemos com um originalmente proposto
por Raymond Smullyan, um mestre desses jogos, que publicou muitos livros com quebra-cabeas
desafiantes que envolvem raciocnio lgico.
EXEMPLO 18 Em [Sm78] Smullyan props muitos quebra-cabeas sobre uma ilha que contm dois tipos de
habitantes: cavaleiros, que sempre falam a verdade, e bandidos, que sempre mentem. Voc enExemplos
contra
duas pessoas A e B. Quem so A e B, se A diz B um cavaleiro e B diz Ns dois somos
Extras
tipos opostos de habitantes?
1-14
EXEMPLO 19 Um pai diz aos fi lhos, um menino e uma menina, para brincarem no quintal sem se sujarem. No
entanto, enquanto brincavam, os dois sujaram a testa de lama. Quando pararam de brincar, o pai
disse: Ao menos um de vocs est com lama na testa, e depois pediu que cada criana respondesse sim ou no pergunta: Voc sabe se voc tem lama na testa?. O pai faz essa pergunta
duas vezes. O que as crianas vo responder cada vez que a pergunta for feita, assumindo que
cada criana pode ver a testa da outra, mas no pode ver sua prpria testa? Assuma que cada
criana honesta e que as crianas respondem pergunta simultaneamente.
Soluo: Seja s a proposio que diz que o fi lho tem a testa suja e d a proposio que diz que a
fi lha tem a testa suja. Quando o pai diz que ao menos uma das duas crianas tem a testa suja, ele
est afi rmando que a disjuno s d verdadeira. Ambas as crianas vo responder no na
primeira vez que a pergunta for feita, pois elas esto vendo o rosto uma da outra e que est sujo;
logo, acreditam que a outra est suja e no elas prprias. Ou seja, o fi lho diz que d verdadeira e
s falsa. E a fi lha diz exatamente o contrrio, d falsa e s verdadeira.
Depois da resposta negativa do menino, a menina conclui que sua testa est suja, j que o
menino afi rmou que d verdadeira. Isso pode ser concludo, pois o pai afi rmou e o menino no
pode ver sua prpria testa.
Links
RAYMOND SMULLYAN (NASCIDO EM 1919) Raymond Smullyan abandonou os estudos no colegial. Ele queria
estudar aquilo que realmente lhe interessava e no o contedo padro do colegial. Depois de passar de uma universidade para outra, ele conquistou um diploma de graduao em matemtica pela Universidade de Chicago, em 1955. Ele
pagou suas despesas universitrias trabalhando com mgica em festas e clubes. Ele obteve seu Ph.D. em lgica em
1959, em Princeton, orientado por Alonzo Church. Depois da graduao em Princeton, ele ensinou matemtica e lgica nas Universidades de Dartmouth, de Princeton, de Yeshiva e na Universidade da Cidade de Nova York. Ele se juntou
ao departamento de fi losofi a da Universidade de Indiana em 1981, onde agora professor emrito.
Smullyan escreveu muitos livros sobre lgica recreacional e matemtica, incluindo Satan, Cantor, and Infinity; What Is the Name of This Book?; The Lady or the Tiger?; Alice in Puzzleland; To Mock a Mockingbird;
Forever Undecided; e The Riddle of Scheherazade: Amazing Logic Puzzles, Ancient and Modern. Por seus quebra-cabeas lgicos
serem desafiantes e provocantes, ele considerado um Lewis Carroll dos dias atuais. Smullyan tambm escreveu diversos livros sobre
a lgica dedutiva aplicada ao xadrez, trs colees de ensaios filosficos e aforismos e muitos livros avanados de lgica matemtica
e teoria dos conjuntos. Ele se interessa particularmente por auto-referncia e tem trabalhado em alguns resultados de Gdel que mostram que impossvel escrever um programa de computador que solucione problemas matemticos. Ele tambm se interessa por explicar as idias da matemtica lgica ao pblico em geral.
Smullyan um msico talentoso e geralmente toca piano com sua esposa, que uma pianista de concerto. Fazer telescpios um de
seus hobbies. Ele tambm se interessa por tica e fotografi a em estreo. Seu lema: Eu nunca tive um confl ito entre o ensino e a pesquisa,
assim como algumas pessoas, porque, quando estou ensinando, estou pesquisando.
1-15
xy
xy
xy
Note que a menina pode concluir que d verdadeira, pois, se d fosse falsa, o menino deveria
concluir s e responder sim, ou seja, tinha lama na prpria testa. Sendo assim, ela conclui que
tem lama na prpria testa e responde sim na segunda vez que a pergunta foi feita. Com um
raciocnio anlogo, o menino conclui que tambm tem lama na testa e tambm responde sim
na segunda vez que a pergunta foi feita.
Bit
V
F
1
0
Links
DEFINIO 7
Computadores representam informaes usando bits. Um bit um smbolo com dois valores
possveis, 0 (zero) e 1 (um). O significado da palavra bit vem de binary digit (dgito binrio),
porque zeros e uns so os nicos dgitos usados na numerao binria. O conhecido estatstico
John Tukey introduziu este termo em 1946. Um bit pode ser usado para representar um valorverdade, pois existem dois valores-verdade, verdadeiro e falso. Como costumeiramente feito,
vamos usar um bit 1 para representar o verdadeiro e um bit 0 para representar o falso. Ou seja, 1
representa V, 0 representa F. Uma varivel chamada de varivel booleana se seu valor
puder ser verdadeiro ou falso. Conseqentemente, uma varivel booleana pode ser representada por um bit.
Uma computao chamada de operao bit (ou operao binria) corresponde aos
conectivos lgicos, trocando verdadeiro por 1 e falso por 0 nas tabelas-verdade dos operadores
, e ; a Tabela 9 mostra as operaes binrias obtidas. Tambm vamos usar a notao AND,
OR e XOR para os operadores , e , como em algumas linguagens computacionais.
Informaes so freqentemente representadas usando seqncias binrias (bit strings), que
so seqncias de zeros e uns. Quando isso feito, operaes nas seqncias binrias podem ser
usadas para manipular essas informaes.
Uma seqncia binria uma seqncia de zero ou mais bits. A extenso dessa seqncia o
nmero de dgitos (bits) que ela contm.
Podemos estender operaes bit para seqncias binrias. Definimos a seqncia binria
tipo OU, a seqncia binria tipo E e a seqncia binria tipo OU-exclusivo (bitwise OR,
bitwise AND e bitwise XOR) de duas seqncias binrias de mesmo comprimento como aquela
que tem como seus bits os bits correspondentes ao OU, E e OU-exclusivo para os respectivos
dgitos das duas seqncias originais. Usaremos os smbolos dos operadores , e para representar as seqncias binrias tipo OU, tipo E e tipo OU-exclusivo, respectivamente. Vamos ilustrar essas operaes com o Exemplo 21.
EXEMPLO 21 Encontre a seqncia binria tipo OU, a seqncia binria tipo E e a seqncia binria tipo OUexclusivo das seqncias 01 1011 0110 e 11 0001 1101. (Aqui, e em todo o livro, as seqncias
sero separadas em blocos de quatro bits para facilitar a leitura.)
1-16
OU
E
OU-exclusivo
Exerccios
1. Quais dessas sentenas so proposies? Quais so os
valores-verdade das que so proposies?
a) Curitiba a capital do Paran.
b) Joinville a capital de Santa Catarina.
c) 2 3 = 5.
d) 5 7 = 10.
e) x 2 = 11.
f) Responda esta questo.
2. Quais destas so proposies? Quais so os valores-verdade
das que so proposies?
a) No ultrapasse.
b) Que horas so?
c) No h moscas pretas em Braslia.
d) 4 x = 5.
e) A lua feita de queijo verde.
n
f) 2 100.
3. Qual a negao de cada proposio a seguir?
a) Hoje quinta-feira.
b) No h poluio em So Paulo.
c) 2 1 = 3.
d) O vero no Rio quente e ensolarado.
4. Considere que p e q so proposies:
p: Eu comprei um bilhete de loteria esta semana.
q: Eu ganhei a bolada de um milho de dlares na
sexta-feira.
Expresse cada uma dessas proposies em uma sentena em
portugus.
a) p
b) p q
c) p q
d) p q
e) p q
f) p q
g) p q
h) p (p q)
5. Considere que p e q so as proposies: Nadar na praia em
Nova Jersey permitido. e Foram descobertos tubares
perto da praia., respectivamente. Expresse cada uma dessas
proposies compostas como uma sentena em portugus.
a) q
b) p q
c) p q
d) p q
e) q p
f) p q
g) p q
h) p (p q)
Links
JOHN WILDER TUKEY (19152000) Tukey, nascido em New Bedford, Massachusetts, era fi lho nico. Seus pais,
ambos professores, decidiram que a educao em casa seria a melhor opo para o desenvolvimento de seu potencial.
Sua educao formal iniciou-se na Universidade de Brown, onde estudou matemtica e qumica. Tukey recebeu o
mestrado em qumica da Brown e continuou seus estudos em Princeton. Com o incio da Segunda Guerra Mundial, ele
se juntou ao Fire Control Research Offi ce, onde comeou a trabalhar com estatstica. Tukey, em suas pesquisas com
estatsticas, impressionou muitos estatsticos com suas habilidades. Em 1945, com o fi m da guerra, Tukey retornou ao
departamento de matemtica de Princeton como professor de estatstica e tambm associou-se ao laboratrio AT&T.
Tukey fundou o Departamento de Estatstica da Princeton em 1966 e foi seu primeiro catedrtico. Fez contribuies
signifi cativas em muitas reas da estatstica, incluindo anlise de variantes, estimativa do espectro das sries de tempo,
inferncias sobre valor de um grupo de parmetros de um experimento e fi losofi a da estatstica. Entretanto, ele muito conhecido por sua
inveno, em parceria com J. W. Cooley, da transformao rpida de Fourier. Alm de suas contribuies em estatstica, Tukey visto como
um habilidoso conhecedor de Wordsmith; tem o crdito de cunhar os termos bit e software.
Tukey contribuiu com sua viso e conhecimento servindo o Comit Consultivo de Cincia do Presidente. Ele liderou diversos comits
importantes, lidando com meio ambiente, educao, qumica e sade. Ele tambm serviu nos comits de desarmamento nuclear. Tukey recebeu muitos prmios, incluindo a Medalha Nacional de Cincia.
NOTA HISTRICA H muitas outras denominaes para dgito binrio, como binit e bigit, mas nunca foram mundialmente aceitas. A
adoo da palavra bit ligada a sua semelhana com a palavra em ingls. Para uma descrio da cunhagem da palavra bit por Tukey, veja a
revista Anais da Histria da Computao, de abril de 1984.
1-17
6. Considere que p e q so proposies: A eleio est decidida e Os votos foram contados, respectivamente. Expresse cada uma destas proposies compostas como uma
sentena em portugus.
a) p
b) p q
c) p q
d) q p
e) q p
f) p q
g) p q
h) q (p q)
7. Considere que p e q so proposies:
p: Est abaixo de zero.
q: Est nevando.
Escreva estas proposies usando p, q e conectivos lgicos.
a) Est abaixo de zero e nevando.
b) Est abaixo de zero, mas no est nevando.
c) No est abaixo de zero e no est nevando.
d) Est ou nevando ou abaixo de zero (ou os dois).
e) Se est abaixo de zero, est tambm nevando.
f) Est ou nevando ou abaixo de zero, mas no est
nevando se estiver abaixo de zero.
g) Para que esteja abaixo de zero necessrio, e suficiente,
que esteja nevando.
8. Considere que p, q e r so as proposies:
p : Voc est com gripe.
q : Voc perde a prova final.
r : Voc foi aprovado no curso.
Expresse cada uma destas proposies compostas como
uma sentena em portugus.
a) p q
b) q r
c) q r
d) p q r
e) (p r) (q r)
f) (p q) (q r)
9. Considere que p e q so proposies:
p : Voc dirige a mais de 104 km/h.
q : Voc recebe uma multa por excesso de velocidade.
Escreva estas proposies usando p, q e conectivos
lgicos.
a) Voc no dirige a mais de 104 km/h.
b) Voc dirige a mais de 104 km/h, mas no recebe uma
multa por excesso de velocidade.
c) Voc receber uma multa por excesso de velocidade,
se voc dirigir a mais de 104 km/h.
d) Se voc no dirigir a mais de 104 km/h, voc no
receber uma multa por excesso de velocidade.
e) Dirigir a mais de 104 km/h suficiente para receber
uma multa por excesso de velocidade.
f) Voc recebe uma multa por excesso de velocidade,
mas voc no dirige a mais de 104 km/h.
g) Sempre que receber uma multa por excesso de
velocidade, voc estar dirigindo a mais de 104 km/h.
10. Considere que p, q e r so proposies:
p : Voc tira um A no exame final.
q : Voc faz todos os exerccios deste livro.
r : Voc tira um A nesta matria.
Escreva estas proposies usando p, q, r e conectivos
lgicos.
15. Para cada uma destas sentenas, determine se o ou inclusivo ou exclusivo. Explique sua resposta.
a) Caf ou ch vem com o jantar.
b) Uma senha deve ter ao menos trs dgitos ou oito
caracteres de comprimento.
c) O pr-requisito para o curso um curso em teoria dos
nmeros ou um curso em criptografia.
d) Voc pode jogar usando dlares americanos ou euros.
16. Para cada uma destas sentenas, determine se o ou inclusivo ou exclusivo. Explique sua resposta.
a) Experincia em C ou Java necessria.
b) O almoo inclui sopa ou salada.
c) Para entrar no pas, necessrio um passaporte ou um
carto de registro eleitoral.
d) Publique ou sucumba.
17. Para cada sentena, identifique o que significa a sentena, se
o ou inclusivo (ou seja, uma disjuno) ou exclusivo. Quais
dos significados do ou voc pensa ser intencional?
a) Para cursar matemtica discreta, voc deve ter tido
clculo ou um curso de cincia da computao.
b) Quando voc compra um novo carro da Companhia
Acme Motor, voc pega de volta $ 2.000 ou um
emprstimo de 2%.
c) Jantar para dois inclui dois itens da coluna A ou trs
itens da coluna B.
d) A escola fecha se cair mais de dois ps de neve ou se a
sensao trmica estiver abaixo de 100.
18. Escreva cada uma destas proposies na forma se p, ento
q em portugus. (Dica: Recorra lista de maneiras comuns
de expressar proposies condicionais inserida nesta seo.)
a) necessrio lavar o carro do chefe para ser promovido.
b) Ventos do sul implicam um degelo primaveril.
c) Uma condio suficiente para a garantia ser vlida
que voc tenha comprado o computador em menos de
um ano.
d) Leo pego sempre que ele trapaceia.
e) Voc pode acessar o site apenas se voc pagar uma
taxa de assinatura.
f) Escolha as companhias certas, conhecendo as pessoas
certas.
g) Carol fica enjoada sempre que est em um barco.
19. Escreva cada uma destas proposies na forma se p, ento
q em portugus. (Dica: Recorra lista de maneiras comuns
de expressar proposies condicionais inserida nesta seo.)
a) Neva sempre que o vento sopra do nordeste.
b) As macieiras florescero se continuar quente por uma
semana.
c) O Palmeiras ganhar o campeonato implica derrotar o
So Paulo.
d) necessrio andar 8 milhas para chegar ao topo do
Pico Long.
e) Para conseguir mandato como professor, suficiente
ser famoso mundialmente.
f) Se voc dirigir por mais de 400 milhas, ter de comprar
gasolina.
g) Sua garantia vlida apenas se voc comprou seu
aparelho de som em menos de 90 dias.
h) Jan nadar a menos que a gua esteja muito fria.
1-18
1-19
b) (p r) (q s)
c) q p s r t u
d) (p r t) (q t)
26. Quantas linhas aparecem em uma tabela-verdade para
cada uma destas proposies compostas?
a) (q p) (p q)
b) (p t) (p s)
c) (p r) (s t) (u v)
d) (p r s) (q t) (r t)
27. Construa uma tabela-verdade para cada uma destas proposies compostas.
a) p p
b) p p
c) (p q) q
d) (p q) (p q)
e) (p q) (q p)
f) (p q) (q p)
28. Construa uma tabela-verdade para cada uma destas proposies compostas.
a) p p
b) p p
c) p (p q)
d) (p q) (p q)
e) (q p) (p q)
f) (p q) (p q)
29. Construa uma tabela-verdade para cada uma destas proposies compostas.
a) (p q) (p q)
b) (p q) (p q)
c) (p q) (p q)
d) (p q) (p q)
e) (p q) (p r)
f) (p q) (p q)
30. Construa uma tabela-verdade para cada uma destas proposies compostas.
a) p p
b) p p
c) p q
d) p q
f) (p q) (p q)
e) (p q) (p q)
31. Construa uma tabela-verdade para cada uma destas proposies compostas.
a) p q
b) p q
c) (p q) (p q) d) (p q) (p q)
e) (p q) (p q)
f) (p q) (p q)
32. Construa uma tabela-verdade para cada uma destas proposies compostas.
a) (p q) r
b) (p q) r
c) (p q) r
d) (p q) r
e) (p q) r
f) (p q) r
33. Construa uma tabela-verdade para cada uma destas proposies compostas.
a) p (q r)
b) p (q r)
c) (p q) (p r)
d) (p q) (p r)
e) (p q) (q r)
f) (p q) (q r)
34. Construa uma tabela-verdade para ((p q) r) s.
45. Cada habitante de uma vila longnqua sempre diz a verdade ou sempre mente. Um habitante dela dar apenas como
resposta um Sim ou um No para a pergunta que um
turista fizer. Suponha que voc seja um turista que visita
essa rea e que chegue a uma bifurcao na estrada. Um
lado leva at as runas que voc quer visitar; o outro, s
profundezas de uma floresta. Um habitante dessa vila est
parado nessa bifurcao. Que pergunta voc pode fazer ao
habitante para determinar qual lado pegar?
46. Um explorador foi capturado por um grupo de canibais.
H dois tipos de canibais: aqueles que sempre dizem a verdade e aqueles que sempre mentem. Os canibais faro um
churrasco com o explorador a menos que ele possa determinar se um canibal em particular sempre mente ou sempre diz a verdade. O canibal permite que ele faa apenas
uma pergunta.
a) Explique por que a pergunta Voc um mentiroso
no vlida.
b) Descubra a pergunta que o explorador pode fazer para
determinar se o canibal sempre mente ou sempre diz a
verdade.
47. Expresse estas especificaes de sistema usando as proposies p A mensagem verificada contra vrus e q A
mensagem enviada de um sistema desconhecido, juntamente com conectivos lgicos.
a) A mensagem verificada contra vrus sempre que a
mensagem enviada de um sistema desconhecido.
b) A mensagem foi enviada de um sistema desconhecido,
mas no foi verificada contra vrus.
c) necessrio verificar a mensagem contra vrus sempre
que ela for enviada de um sistema desconhecido.
d) Quando a mensagem no enviada de um sistema
desconhecido, no verificada contra vrus.
48. Expresse este sistema de especificaes usando as proposies p O usurio entra com uma senha vlida, q O
acesso liberado e r O usurio pagou a taxa de assinatura, juntamente com conectivos lgicos.
a) O usurio pagou a taxa de assinatura, mas no entra
com uma senha vlida.
b) O acesso liberado sempre que o usurio pagar a taxa
de assinatura e entrar com uma senha vlida.
c) O acesso negado se o usurio no pagou a taxa de
assinatura.
d) Se o usurio no entrar com uma senha vlida, mas
pagar a taxa de assinatura, ento o acesso liberado.
49. Este sistema de especificaes consistente? O sistema
est em um estado de multiuso se e somente se estiver
operando normalmente. Se o sistema est operando normalmente, o kernel est funcionando. O kernel no est
funcionando ou o sistema est no modo de interrupo. Se
o sistema no est em um estado de multiuso, ento est
em um modo de interrupo. O sistema no est no modo
de interrupo.
50. Este sistema de especificaes consistente? Sempre que o
software do sistema est sendo atualizado, os usurios no
podem acessar os arquivos do sistema. Se os usurios podem
acessar os arquivos do sistema, ento eles podem salvar no-
1-20
vos arquivos. Se os usurios no podem salvar novos arquivos, ento o software do sistema no est sendo atualizado.
51. Este sistema de especificaes consistente? O roteador
pode mandar pacotes para o sistema principal apenas se ele
suportar um novo espao de endereo. Para o roteador suportar o novo espao de endereo, necessrio que a ltima liberao do software seja instalada. O roteador pode mandar
pacotes ao sistema principal se a ltima liberao do software
estiver instalada. O roteador no comporta o novo espao.
52. Este sistema de especificaes consistente? Se o sistema
de arquivos no est bloqueado, ento novas mensagens entraram em fila. Se o sistema de arquivos no est bloqueado,
ento o sistema est funcionando normalmente, e vice-versa. Se novas mensagens no esto entrando em fila, ento
sero enviadas para uma central de armazenamento de mensagens. Se o sistema de arquivos no est bloqueado, ento
as novas mensagens sero enviadas para a central de armazenamento. Novas mensagens no sero enviadas para a
central de armazenamento.
53. Qual busca booleana voc utilizaria para procurar sites sobre praias em Nova Jersey? Qual voc utilizaria se quisesse encontrar sites sobre praias na ilha de Jersey (no Canal
da Mancha)?
54. Qual busca booleana voc utilizaria para procurar sites sobre
caminhadas no oeste da Virgnia, nos Estados Unidos? Qual
busca booleana voc utilizaria para procurar sites sobre caminhadas na Virgnia, mas no no oeste da Virgnia?
Os exerccios 55 a 59 so relativos aos habitantes da ilha de
cavaleiros e bandidos, criada por Smullyan, onde os cavaleiros
sempre dizem a verdade e os bandidos sempre mentem. Voc
encontra duas pessoas, A e B. Determine, se possvel, quem so
A e B se eles conduzirem voc nos caminhos descritos. Se no
puder determinar quem so essas duas pessoas, voc pode tirar
alguma concluso?
55. A diz: Ao menos um de ns um bandido e B no diz
nada.
56. A diz: Ns dois somos cavaleiros e B diz A um
bandido.
57. A diz: Eu sou um bandido ou B um cavaleiro e B no
diz nada.
58. Ambos, A e B, dizem: Eu sou um cavaleiro.
59. A diz: Ns dois somos bandidos e B no diz nada.
Os exerccios 60 a 65 so quebra-cabeas que podem ser resolvidos traduzindo as proposies em expresses lgicas e argumentos a partir destas expresses usando a tabela-verdade.
60. A polcia tem trs suspeitos para o assassinado do sr. Cooper:
sr. Smith, sr. Jones e sr. Williams. Smith, Jones e Williams
declaram que no mataram Cooper. Smith tambm declara
que Cooper era amigo de Jones e que Williams no gostava
da vtima. Jones declara tambm que no conhecia Cooper
e que estava fora da cidade no dia em que Cooper foi morto.
Williams declara tambm que ele viu Smith e Jones com Cooper no dia em que ele foi morto e que ou Jones ou Smith o
mataram. Voc pode determinar quem foi o assassino se
a) um dos trs culpado e os dois inocentes esto falando
a verdade, mas as declaraes do homem culpado
podem ser ou no falsas?
b) os homens inocentes no mentem?
1-21
1.2Equivalncias Proposicionais
Introduo
Um importante tipo de passo usado na argumentao matemtica a substituio de uma proposio por outra com o mesmo valor-verdade. Por esse motivo, mtodos que produzem proposies com o mesmo valor-verdade que uma dada proposio composta so usados largamente na
construo de argumentos matemticos. Note que vamos usar o termo proposies compostas
para nos referir a uma expresso formada a partir de variveis proposicionais que utilizam operadores lgicos, tais como p q.
Comearemos nossa discusso com a classificao de proposies compostas de acordo com
seus possveis valores-verdade.
DEFINIO 1
Uma proposio composta que sempre verdadeira, qualquer que sejam os valores-verdade das proposies que ocorrem nela, chamada de tautologia. Uma proposio composta que sempre falsa, qualquer que seja o valor-verdade das proposies que a compem,
chamada de contradio. Uma proposio composta que no nem tautologia nem contradio chamada de contingncia.
1-22
TABELA 2 Leis de De
Morgan.
pp
pp
(p q) p q
V
F
F
V
V
V
F
F
(p q) p q
EXEMPLO 1 Podemos construir exemplos de tautologias e contradies usando apenas uma varivel proposicional. Considere a tabela-verdade de p p e p p, mostrada na Tabela 1. Como p p
sempre verdadeira, uma tautologia. Como p p sempre falsa, uma contradio.
Equivalncias Lgicas
Demo
DEFINIO 2
Proposies compostas que tm o mesmo valor-verdade em todos os possveis casos so chamadas de logicamente equivalentes. Podemos definir esta noo como se segue.
Exemplos
Extras
pq
(p q)
pq
V
V
F
F
V
F
V
F
V
V
V
F
F
F
F
V
F
F
V
V
F
V
F
V
F
F
F
V
1-23
e p q.
p
pq
pq
Vamos agora estabelecer uma equivalncia lgica entre duas proposies compostas que
envolvem trs variveis proposicionais diferentes p, q e r. Para usar a tabela-verdade estabelecendo essa equivalncia lgica, precisamos de oito linhas, uma para cada combinao de valoresverdade dessas trs variveis. Simbolicamente, ns representamos essas combinaes listando os
valores de p, q e r, respectivamente. Essas oito combinaes de valores-verdade so VVV, VVF,
VFV, VFF, FVV, FVF, FFV e FFF; usaremos essa ordem quando montarmos as linhas da tabelaverdade. Note que precisamos do dobro de linhas de que precisvamos quando tnhamos duas
variveis proposicionais; essa relao continua sendo vlida para cada nova varivel proposicional que venha a ser adicionada, ento precisaremos de 16 linhas para estabelecer a equivalncia
entre duas proposies compostas com quatro variveis proposicionais, e assim sucessivamente.
Em geral, 2n linhas so necessrias quando temos n variveis proposicionais.
qr
p (q r)
pq
pr
(p q) (p r)
1-24
Nome
Propriedades dos elementos neutros
pF p
pV V
Propriedades de dominao
pF F
pp p
Propriedades idempotentes
pp p
( p) p
pq qp
pq qp
(p q) r p (q r)
Propriedades associativas
(p q) r p (q r)
p (q r) (p q) (p r)
Propriedades distributivas
p (q r) (p q) (p r)
(p q) p q
(p q) p q
Leis de De Morgan
p (p q) p
p (p q) p
Propriedades de absoro
ppV
ppF
Propriedades de negao
1-25
p q p q
p q p q
p q q p
p q p q
p q (p q)
25
p q (p q) (q p)
p q (p q) ( p q)
(p q) p q
(p q) p q
(p q) (p r) p (q r)
(p r) (q r) (p q) r
(p q) (p r) p (q r)
(p r) (q r) (p q) r
EXEMPLO 5
Use as leis de De Morgan para expressar as negaes de Miguel tem um celular e um laptop e
Rodrigo vai ao concerto ou Carlos vai ao concerto.
Soluo: Seja p Miguel tem um celular e q Miguel tem um laptop. Ento, Miguel tem um
celular e um laptop pode ser representado por p q. Contudo, pela primeira lei de De Morgan, (p q) equivalente a p q. Conseqentemente, podemos expressar a negao de
nossa proposio original por Miguel no tem um celular ou no tem um laptop.
Links
AUGUSTUS DE MORGAN (18061871) Augustus De Morgan nasceu na ndia, onde seu pai era coronel no exrcito indiano. A famlia De Morgan mudou-se para a Inglaterra quando ele tinha 7 meses de idade. Ele freqentou escolas particulares, onde desenvolveu um grande interesse por matemtica na sua juventude. De Morgan estudou na
Universidade de Trinity, em Cambridge, graduando-se em 1827. Embora pensasse em entrar em medicina ou direito,
De Morgan decidiu seguir carreira em matemtica. Ele conquistou uma cadeira na Universidade de College, em Londres, em 1828, mas demitiu-se quando a faculdade despediu um colega sem apresentar as causas para a demisso.
Entretanto, ele retomou essa cadeira em 1836, quando seu sucessor morreu, permanecendo at 1866.
De Morgan foi um professor notvel que dava nfase aos princpios mais que s tcnicas. Entre seus estudantes
esto muitos matemticos famosos, incluindo Augusta Ada, Condessa de Lovelace, que era colaboradora de Charles
Babbage em seu trabalho com mquinas computacionais (veja a pgina 27 nas notas biogrfi cas de Augusta Ada). (De Morgan preveniu a
condessa de que estudar matemtica em excesso, poderia interferir em suas habilidades maternais!)
De Morgan foi um escritor extremamente prolfi co. Escreveu milhares de artigos para mais de 15 peridicos. Tambm escreveu livros
tericos sobre muitos assuntos, incluindo lgica, probabilidade, clculo e lgebra. Em 1838, ele apresentou o que talvez tenha sido a primeira explicao clara de uma importante tcnica de demonstrao, conhecida como induo matemtica (discutida na Seo 4.1 deste livro),
termo que ele cunhou. Na dcada de 1840, De Morgan fez contribuies fundamentais ao desenvolvimento da lgica simblica. Ele criou
notaes que o ajudaram a provar equivalncias proposicionais, assim como as leis que receberam seu nome. Em 1842, De Morgan apresentou o que talvez tenha sido a primeira defi nio precisa de limite e o desenvolvimento de alguns testes de convergncia de sries infi nitas.
De Morgan interessou-se tambm pela histria da matemtica, escrevendo biografi as de Newton e Halley.
Em 1837, De Morgan casou-se com Sophia Frend, que escreveu a biografi a do marido em 1882. A pesquisa, a escrita e o ensino de De
Morgan deixaram pouco tempo para ele se dedicar a sua famlia e vida social. No entanto, ele fi cou conhecido pela sua bondade, bom humor
e grande inteligncia.
1-26
Seja r Rodrigo vai ao concerto e s Carlos vai ao concerto. Ento, Rodrigo vai ao concerto ou Carlos vai ao concerto pode ser representado por r s. E, pela segunda lei de De Morgan, temos que (r s) equivalente a r s. Logo, podemos expressar sua negao por
Rodrigo no vai ao concerto e Carlos no vai ao concerto.
Exemplos
Extras
Soluo: Podemos usar uma tabela-verdade para mostrar que essas proposies compostas so
equivalentes (como no Exemplo 4). Inclusive, no deve ser difcil fazer isso. No entanto, queremos ilustrar como usar identidades lgicas que j conhecemos para estabelecer novas identidades
lgicas, isso porque esse mtodo tem uma importncia prtica para estabelecer equivalncias de
proposies compostas com um grande nmero de variveis. Ento, vamos estabelecer essa equivalncia desenvolvendo uma srie de equivalncias lgicas, usando uma das equivalncias da
Tabela 6 por vez, comeando por (p q) e terminando com p q. Temos, assim, as equivalncias a seguir.
(p q) (p q)
(p) q
p q
pelo Exemplo 3
pela segunda lei de De Morgan
pela propriedade da dupla negao
1-27
EXEMPLO 8
27
pelo Exemplo 3
pela primeira lei de De Morgan
pelas propriedades associativas e comutativas
para a disjuno
VV
Uma tabela-verdade pode ser usada para determinar se uma proposio composta uma
tautologia. Isso pode ser feito rapidamente se for uma proposio composta com poucas variveis, mas, quando o nmero de variveis cresce, isso pode fi car impraticvel. Por exemplo, existem 220 = 1.048.576 linhas em uma tabela-verdade para uma proposio composta com 20
variveis proposicionais. Claramente voc precisar de um computador para ajud-lo a determinar quando uma proposio composta uma tautologia. Quando, no entanto, existem 1.000 variveis proposicionais, um computador pode determinar em um tempo razovel se uma proposio
uma tautologia? Testando todas as 21.000 (um nmero com mais de 300 algarismos decimais)
possveis combinaes de valores-verdade, um computador no consegue terminar em menos de
alguns trilhes de anos. Alm disso, no existe um outro mtodo conhecido que um computador
possa seguir para determinar em um tempo razovel quando uma proposio com muitas variveis proposicionais uma tautologia. Vamos estudar questes como essas no Captulo 3, quando
estudaremos a complexidade de algoritmos.
Links
AUGUSTA ADA, CONDESSA DE LOVELACE (18151852) Augusta Ada foi a nica fi lha do casamento do famoso poeta Lorde Byron e Lady Byron, Annabella Millbanke, que se separaram quando Ada tinha 1 ms de idade, por
causa do escndalo amoroso de Lorde Byron com sua meia-irm. Lorde Byron tinha uma reputao, descrita por
uma de suas amantes como louco, mal e perigoso. Lady Byron era notvel por sua inteligncia e tinha paixo por
matemtica; ela era chamada por Lorde Byron de A Princesa dos Paralelogramos. Augusta foi criada por sua me,
que encorajou seus talentos intelectuais, especialmente na msica e na matemtica, tendo em vista que considerava
perigosas as tendncias poticas. Naquela poca, no era permitido que as mulheres freqentassem as universidades
nem se juntassem a grupos de estudos. No entanto, Augusta adquiriu seus estudos matemticos sozinha e com matemticos, incluindo William Frend. Ela tambm tinha o apoio de outra matemtica, Mary Somerville, e, em 1834,
em um jantar na casa de Mary Somerville, ela foi apresentada s idias de Charles Babbage sobre uma mquina de calcular, chamada
Engenho Analtico. Em 1838, Augusta Ada casou-se com Lorde King, elevado posteriormente a Conde de Lovelace. Juntos, eles tiveram trs fi lhos.
Augusta Ada continuou seus estudos em matemtica depois do casamento. Charles Babbage continuou trabalhando em seu Engenho
Analtico e apresentando-o para a Europa. Em 1842, Babbage pediu a Augusta Ada que traduzisse um artigo para o francs, descrevendo sua
inveno. Quando Babbage viu a traduo, sugeriu que ela comeasse a escrever suas prprias anotaes, e o resultado fi nal foi trs vezes o
original. Os relatos mais completos sobre a mquina de Babbage esto nas anotaes de Augusta Ada. Em suas anotaes, ela comparou o trabalho do Engenho Analtico ao tear de Jacquard, com a analogia dos cartes perfurados de Babbage aos usados para criar estampas no tear.
Alm disso, ela reconheceu a promessa da mquina como uma proposta de computador muito melhor do que fez Babbage. Ela constatou que o
motor a expresso material de qualquer funo indefi nida de qualquer grau de generalidade e complexidade. Suas anotaes sobre o Engenho Analtico anteciparam futuros desenvolvimentos. Augusta Ada publicou seus escritos sob as iniciais. A.A.L. para ocultar sua identidade
como mulher, assim como muitas mulheres fi zeram naquele tempo em que no eram consideradas intelectuais como os homens. Depois de 1845,
ela e Babbage trabalharam juntos no desenvolvimento de um sistema para determinar raas de cavalos. Infelizmente esse sistema no funcionou
muito bem, deixando Augusta extremamente debilitada fi sicamente, contraindo cncer de tero ainda muito jovem.
Em 1953, as anotaes de Augusta Ada sobre o Engenho Analtico foram republicadas, 100 anos aps a sua escrita e depois de muito
tempo esquecidas. Em seu trabalho, na dcada de 1950, sobre a capacidade de os computadores pensarem (e seu famoso teste Turing),
Alan Turing respondeu declarao de Augusta Ada de que o Engenho Analtico no tem a pretenso de dar origem a nada. Ele pode
fazer o que conhecemos para organizar sua performance. Esse dilogo entre Turing e Augusta Ada ainda assunto de controvrsias.
Por causa de suas contribuies fundamentais computao, a linguagem computacional Augusta recebeu esse nome em homenagem
Condessa de Lovelace.
1-28
Exerccios
1. Use a tabela-verdade para verifi car estas equivalncias.
a) p V p
b) p F p
c) p F F
d) p V V
e) p p p
f) p p p
2. Mostre que (p) e p so logicamente equivalentes.
3. Use a tabela-verdade para verifi car as propriedades comutativas.
a) p q q p
b) p q q p
4. Use a tabela-verdade para verifi car as propriedades associativas.
a) (p q) r p (q r)
b) (p q) r p (q r)
5. Use a tabela-verdade para verifi car a propriedade distributiva.
p (q r) (p q) (p r).
6. Use a tabela-verdade para verifi car a primeira lei de De
Morgan.
(p q) p q.
7. Use as leis de De Morgan para encontrar a negao de cada
uma das proposies abaixo.
a) Jan rica e feliz.
b) Carlos andar de bicicleta ou correr amanh.
c) Mei anda ou pega o nibus para ir escola.
d) Ibrahim esperto e trabalha muito.
8. Use as leis de De Morgan para encontrar a negao de cada
uma das proposies abaixo.
a) Kwame trabalhar na indstria ou ir para a faculdade.
b) Yoshiko conhece Java e clculo.
c) James jovem e forte.
d) Rita mudar para Oregon ou Washington.
HENRY MAURICE SHEFFER (18831964) Henry Maurice Sheffer, fi lho de pais judeus, nasceu no oeste da Ucrnia e emigrou para os Estados Unidos em 1892 com seus pais e seis irmos. Estudou na Escola Latina de Boston antes
de entrar em Harvard, onde completou sua graduao em 1905, seu mestrado em 1907 e seu Ph.D. em fi losofi a em
1908. Depois de conquistar uma posio de ps-doutor em Harvard, Henry viajou para a Europa com bolsa de pesquisa. Ao retornar para os Estados Unidos, ele se tornou um acadmico nmade, permanecendo um ano em cada universidade: Universidade de Washington, Cornell, Minessota, Missouri e Universidade da Cidade, em Nova York. Em
1916, ele retornou a Harvard como membro do corpo docente do departamento de fi losofi a. Permaneceu em Harvard
at aposentar-se, em 1952.
Sheffer introduziu, em 1913, o que conhecemos hoje por golpe de Sheffer que se tornou famoso apenas depois
que foi usado em 1925 na edio de Principia Mathematica, de Whitehead e Russell. Nessa mesma edio, Russell escreveu que Sheffer
tinha inventado um poderoso mtodo que poderia ser usado para simplifi car a Principia. Por causa desse comentrio, Sheffer era visto como
um homem misterioso para os lgicos, especialmente porque ele, que teve poucas publicaes ao longo de sua carreira, nunca publicou os
detalhes desse mtodo, que foi apenas descrito em notas de mimigrafo e em uma breve publicao abstrata.
Sheffer foi um professor dedicado de lgica matemtica. Ele gostava de ministrar aulas em turmas pequenas; no gostava de auditrios.
Quando estranhos apareciam em suas aulas, Sheffer pedia-lhes que se retirassem, mesmo se fossem colegas ou convidados que iam visitar
Harvard. Sheffer tinha apenas um metro e meio de altura; era notado por sua inteligncia e vigor, assim como pelo seu nervosismo e irritabilidade. Embora muito inteligente, ele era muito sozinho. Ele conhecido pela piada que fez ao aposentar-se: Professores velhos nunca
morrem, tornam-se emritos. Sheffer tambm tem o crdito de cunhar a expresso lgebra booleana (assunto do Captulo 11 deste livro).
Ele foi casado por um curto espao de tempo e viveu a maior parte de sua vida madura em um quarto de hotel, com seus livros de lgica e
um vasto arquivo de papis em que ele costumava anotar suas idias. Infelizmente, Sheffer sofreu de depresso profunda durante as duas
ltimas dcadas de sua vida.
1-29
* 55. Quantas formas diferentes de tabelas-verdade de proposies compostas existem que envolvam as variantes proposicionais p e q?
56. Mostre que se p, q e r so proposies compostas, em que p e
q so logicamente equivalentes e q e r so tambm logicamente equivalentes, ento p e r so logicamente equivalentes.
57. A sentena a seguir foi tirada das especificaes de um
sistema telefnico: Se o diretrio de dados for do banco
aberto, ento o monitor posto em estado de fechamento,
se o sistema no estiver em seu estado inicial. Essa especificao difcil de ser compreendida porque envolve
proposies com duas condicionais. Encontre um equivalente, uma especificao de fcil compreenso, que envolva disjunes e negaes, mas no proposies condicionais.
58. Quantas das disjunes p q, p q, q r, q r e
q r podem ser verdadeiras simultaneamente, a partir da construo de uma tabela-verdade com valores
para p, q e r?
59. Quantas das disjunes p q s, p r s, p
r s, p q s, q r s, q r s,
1-30
1.3Predicados e Quantificadores
Introduo
A lgica proposicional, estudada nas sees 1.1 e 1.2, no pode expressar adequadamente o significado das proposies em matemtica e em linguagem natural. Por exemplo, suponha que
saibamos que
Todo computador conectado rede da universidade est funcionando apropriadamente.
Nenhuma regra da lgica proposicional nos permite decidir sobre a veracidade da afirmao
MATH3 est funcionando apropriadamente,
em que MATH3 um dos computadores conectados rede da universidade. Da mesma forma,
no podemos usar as regras da lgica proposicional para concluir da proposio
CS2 est sob ataque de um hacker.
em que CS2 um computador na rede da universidade, para concluir que verdade que
Existe um computador na rede da universidade que est sob ataque de um hacker.
Nesta seo, vamos introduzir uma lgica mais poderosa chamada lgica de predicados.
Veremos como a lgica de predicados pode ser usada para expressar o significado de um amplo
grupo de proposies em matemtica e em cincia da computao de modo que nos permita raciocinar e explorar relaes entre objetos. Para entender a lgica de predicados, precisamos primeiramente introduzir o conceito de predicado. Posteriormente, vamos introduzir o conceito de
quantificadores, que nos permite raciocinar com declaraes sobre determinada propriedade que
vale para todos os objetos de certo tipo e com declaraes sobre a existncia de um objeto com
uma propriedade especfica.
1-31
Predicados
Sentenas que envolvem variveis, tais como
x > 3, x 5 y + 3, x + y 5 z,
computador x est sob ataque de um hacker
e
computador x est funcionando apropriadamente,
so freqentemente encontradas na matemtica, em programas de computador e em sistemas de
especificaes. Essas declaraes no so nem verdadeiras nem falsas quando o valor das variveis no especificado. Nesta seo, vamos discutir como proposies podem ser produzidas a
partir dessas declaraes.
A declarao x maior que 3 tem duas partes. A primeira, a varivel x, o sujeito da declarao. A segunda o predicado, maior que 3 refere-se a uma propriedade que o sujeito
pode ter. Podemos representar a declarao x maior que 3 por P(x), em que P indica o predicado maior que 3 e x a varivel. A declarao, ou afirmao, tambm chamada de o valor
da funo proposicional P em x. Uma vez que um valor dado para a varivel x, a declarao
P(x) torna-se uma proposio e tem um valor-verdade. Considere os exemplos 1 e 2.
EXEMPLO 2 Seja A(x) a declarao O computador x est sendo invadido por um hacker. Suponha que dos
computadores do campus apenas o CS2 e o MATH1 esto sendo invadidos por algum hacker.
Quais os valores-verdade de A(CS1), A(CS2) e A(MATH1)?
Soluo: Obtemos a proposio A(CS1) substituindo x por CS1 na declarao O computador x
est sendo invadido por um hacker. Como CS1 no est na lista dos computadores invadidos,
conclumos que A(CS1) falsa. De maneira similar, como CS2 e MATH1 esto na lista dos invadidos, sabemos que A(CS2) e A(MATH1) so verdadeiras.
Tambm podemos trabalhar com afirmaes que envolvam mais que uma varivel. Por
exemplo, considere a afirmao x = y + 3. Podemos indic-la por Q(x, y), em que x e y so
variveis e Q o predicado. Quando estabelecemos valores para as variveis, a proposio
Q(x, y) tem um valor-verdade.
Soluo: Para obter Q(1, 2), basta tomar x = 1 e y = 2 na equao representada por Q(x, y).
Portanto, Q(1, 2) a proposio 1 = 2 + 3, que falsa. A afirmao Q(3, 0) a proposio
3 = 0 + 3, que verdadeira.
EXEMPLO 4
1-32
Seja A(c, n) a representao de O computador c est conectado rede n, em que c uma varivel que indica computadores e n uma varivel que indica redes. Suponha que o computador
MATH1 est conectado rede CAMPUS2, mas no rede CAMPUS1. Quais os valores-verdade
de A(MATH1, CAMPUS1) e A(MATH1, CAMPUS2)?
Soluo: Como MATH1 no est conectado rede CAMPUS1, vemos que A(MATH1, CAMPUS1)
falsa. Por outro lado, MATH1 est conectado rede CAMPUS2, logo A(MATH1, CAMPUS2)
verdadeira.
De maneira anloga, podemos tomar afi rmaes com trs variveis, como R (x, y, z) representando x + y = z. Quando valores so atribudos s variveis, a proposio derivada tem um
valor-verdade.
EXEMPLO 5
Em geral, uma afi rmao que envolva n variveis x1, x2, ... , xn pode ser indicada por
P (x1, x2, ... , xn).
A declarao, ou afi rmao, indicada por P (x1, x2, ... , xn) chamada de valor da funo proposicional P para a n-pla (x1, x2, ... , xn), e P chamado de predicado n-rio.
Funes proposicionais ocorrem em programas de computao, como mostrado no Exemplo 6.
Links
CHARLES SANDERS PEIRCE (18391914) Muitos consideram Charles Peirce o intelectual mais original e verstil dos Estados Unidos; ele nasceu em Cambridge, Massachusetts, e fez importantes contribuies em um grande nmero de disciplinas, incluindo matemtica, astronomia, qumica, geodsica, metrologia, engenharia, psicologia,
fi lologia, histria da cincia e economia. Charles era tambm inventor, estudante de medicina dedicado, revisor de livros, dramaturgo e ator, escritor de contos, fenomenologista, lgico e metafsico. Ele fi cou conhecido pela sua competncia fi losfi ca construtivista e produtividade em lgica, matemtica e muitas outras reas da cincia. Seu pai,
Benjamin Peirce, era professor de matemtica e fi losofi a natural de Harvard. Peirce freqentou Harvard (1855
1859) e recebeu seu diploma de mestrado em artes (1862) e um diploma de doutorado em qumica pela Escola
Cientfi ca Lawrence (1863). Seu pai o apoiou a seguir a carreira cientfi ca, mas, em vez disso, ele escolheu estudar
lgica e metodologia cientfi ca.
Em 1861, Peirce se tornou um membro da Agrimensura da Costa dos Estados Unidos, com o objetivo de melhor compreender a metodologia cientfi ca. Seus servios para a Agrimensura o dispensaram dos servios militares durante a Guerra Civil. Enquanto trabalhava para
a Agrimensura, Peirce deu continuidade a seus trabalhos nas reas de astronomia e geodsica. Ele deu contribuies fundamentais na criao
de pndulos e projetos de mapas, aplicando novos desenvolvimentos matemticos na teoria de funes elpticas. Ele foi a primeira pessoa a
usar ondas de luz como unidade de medida. Peirce foi promovido a Assistente na Agrimensura, posio em que se manteve at que foi obrigado a larg-la em 1891, quando ele no concordou com a direo tomada pela administrao da Agrimensura.
Embora tenha dedicado a maior parte do tempo s cincias fsicas, Peirce desenvolveu uma hierarquia de cincias, com a matemtica
em seu topo, no qual os mtodos de uma cincia poderiam ser adaptados para serem usados pelas cincias que estivessem abaixo na hierarquia. Ele foi tambm o fundador da teoria fi losfi ca americana de pragmatismo.
A nica posio acadmica que Peirce conquistou foi a de mestre em lgica na Universidade John Hopkins, em Baltimore, de 1879 a
1884. Seu trabalho matemtico durante esse perodo inclui contribuies lgica, teoria dos conjuntos, lgebra abstrata e fi losofi a da matemtica. Seu trabalho relevante at nos dias de hoje; alguns de seus trabalhos em lgica foram recentemente aplicados inteligncia artifi cial. Peirce acreditava que o estudo da matemtica poderia desenvolver o poder mental da imaginao, abstrao e generalizao. Suas
diversas atividades, depois de aposentar-se da Agrimensura, incluem a escrita para jornais e peridicos cientfi cos, contribuio em dicionrios escolares, traduo de trabalhos cientfi cos, palestras e escrita de livros tericos. Infelizmente, todas essas atividades no foram sufi cientes para afastar Charles e sua esposa da pobreza abjeta. Nos seus ltimos anos de vida, ele foi sustentado por um fundo criado por seus
admiradores e administrado pelo fi lsofo William James, seu grande amigo. Embora Peirce tenha publicado muitas obras em diversas reas,
ele deixou mais de 100.000 manuscritos sem publicar. Por causa da difi culdade de estudar suas obras manuscritas, pesquisadores comearam
a entender apenas recentemente algumas de suas vrias contribuies. Um grupo de pessoas dedica-se a tornar seu trabalho disponvel na
Internet para trazer melhor apreciao do trabalho de Peirce para o mundo.
1-33
EXEMPLO 7 Considere o seguinte programa, feito para trocar os valores das variveis x e y.
temp := x
x := y
y := temp
Encontre predicados que podem ser usados como precondies e ps-condies para verificar se
esse programa correto. Explique como podemos us-los para verificar se para toda entrada vlida o programa faz o que se pretende.
Soluo: Como precondio, precisamos saber se x e y tm certos valores antes de rodar o programa. Ento, para essa precondio, podemos usar o predicado P(x, y), no qual P(x, y) a afirmao x = a e y = b, em que a e b so os valores de x e y antes de rodar o programa. Como
queremos verificar se o programa est trocando os valores das duas variveis, como ps-condio
podemos usar Q(x, y), em que Q(x, y) x = b e y = a.
Para verificar se esse programa sempre faz o que se deseja que faa, suponha que a precondio P(x, y) satisfeita. Ou seja, supomos que x = a e y = b verdadeira. Isso significa que
x = a e y = b. O primeiro passo do programa, temp := x, faz a varivel temp receber o valor de
x, ento, depois desse passo, x = a, temp = a e y = b. Depois do segundo passo, x := y, sabemos
que x = b, temp = a e y = b. Finalmente, depois do terceiro passo, sabemos que x = b, temp = a
e y = a. Conseqentemente, depois de rodar o programa, a ps-condio Q(x, y) satisfeita, isto
, x = b e y = a verdadeira.
Quantificadores
Autoavaliao
Quando impomos s variveis de uma funo proposicional algum valor, a declarao resultante
torna-se uma proposio e tem um valor-verdade. No entanto, existe uma outra maneira importante, chamada de quantificao, para criar proposies a partir de funes proposicionais. A
quantificao um meio de dizer que um predicado verdadeiro para um conjunto de elementos.
Em portugus, as palavras muitos, todos, alguns, nenhum e poucos so usadas em quantificaes.
Vamos nos concentrar em dois tipos de quantificao aqui: a universal, a qual significa que um
predicado verdadeiro para todos os elementos em considerao, e a existencial, a qual nos diz
que existe um ou mais elementos para os quais o predicado verdadeiro. A rea da lgica que
estuda predicados e quantificadores chamada de clculo de predicados.
1-34
DEFINIO 1
EXEMPLO 8 Seja P(x) a declarao x + 1 > x. Qual o valor-verdade da quantificao xP(x), no domnio
de todos os nmeros reais?
Exemplos
Extras
Tabela 1 Quantificadores.
Sentena
Quando verdadeira?
Quando falsa?
xP(x)
xP(x)
N.T.: Neste ponto, o livro original faz meno aos termos equivalentes em ingls que podem causar ambigidade.
Essas ambigidades no devem ser consideradas em portugus.
1-35
Uma declarao xP(x) falsa, em que P(x) uma funo proposicional, se e somente se
P(x) no sempre verdadeira para os valores de x no domnio. Uma maneira de mostrar que P(x)
no sempre verdadeira no domnio achar um contra-exemplo para a declarao xP(x). Note
que um nico contra-exemplo tudo de que precisamos para estabelecer que xP(x) falsa. O
Exemplo 9 ilustra como contra-exemplos so usados.
EXEMPLO 9 Seja Q(x) a declarao x < 2. Qual o valor-verdade da quantificao xQ(x), em que o domnio
consiste em todos os nmeros reais?
Soluo: Q(x) no verdadeira para todo nmero real x, porque, por exemplo, Q(3) falsa. Isto
, x = 3 um contra-exemplo para a declarao xQ(x). Logo
xQ(x)
falsa.
EXEMPLO 10 Suponha que P(x) seja x2 > 0. Para mostrar que xP(x) falsa onde o universo de discurso
consiste em todos os nmeros inteiros, damos um contra-exemplo. Vemos que x = 0 um contraexemplo, pois x2 = 0 quando x = 0, ento x2 no maior que 0 quando x = 0.
Procurar por contra-exemplos em proposies universalmente quantificadas uma importante atividade no estudo da matemtica, como veremos nas sees seguintes deste livro.
Quando todos os elementos do domnio podem ser listados seja x1, x2, ..., xn , segue-se
que a quantificao universal xP(x) o mesmo que a conjuno
P(x1) P(x2) P(xn),
pois esta conjuno verdadeira se e somente se P(x1), P(x2), ... , P(xn) forem todas verdadeiras.
EXEMPLO 11 Qual o valor-verdade de xP(x), em que P(x) a proposio x2 < 10 e o domnio o conjunto
dos inteiros positivos que no excedem 4?
Soluo: A declarao xP(x) o mesmo que a conjuno
P(1) P(2) P(3) P(4),
pois o domnio formado por esses quatro elementos. Como P(4), que a expresso 42 < 10,
falsa, segue-se que xP(x) falsa.
EXEMPLO 12 O que significa dizer xN(x) se N(x) O computador x est conectado rede e o domnio so
todos os computadores do campus?
Soluo: A declarao xN(x) significa que, para todo computador x no campus, x est conectado rede. Em portugus, a declarao pode ser expressa por Todo computador no campus est
conectado rede.
Apontamos anteriormente o fato de que a especificao do domnio primordial e obrigatria quando quantificadores so usados. O valor-verdade da proposio quantificada freqentemente depende do domnio, como mostra o Exemplo 13.
1-36
EXEMPLO 13 Qual o valor-verdade de x(x2 x) se o domnio consiste em todos os nmeros reais? E qual o
valor-verdade dessa proposio se o domnio so todos os nmeros inteiros?
Soluo: A quantificao universal x(x2 x), com domnio nos nmeros reais, falsa. Por
2
2
exemplo, (1 )2
/ 12 . Note que x x se e somente se x 2 x = x(x 2 1) 0. Conseqentemente,
2
2
x x se e somente se x 0 ou x 1. Daqui segue que x(x2 x) falsa se o domnio consiste
em todos os nmeros reais (pois a inequao no vlida para os nmeros reais entre 0 e 1). No
entanto, se o domnio so os nmeros inteiros, x(x2 x) verdadeira, pois no h nmeros inteiros entre 0 e 1.
DEFINIO 2
Um domnio deve sempre ser especificado quando uma proposio xP(x) usada. At mesmo porque seu significado muda quando mudamos o domnio. Sem a especificao de um domnio, a expresso xP(x) no tem sentido. A quantificao existencial xP(x) lida como
Existe um x tal que P(x).
Existe pelo menos um x tal que P(x).
ou
Para algum x P(x).
No lugar da palavra existe, podemos tambm expressar a quantificao existencial de muitas outras maneiras, tais como usar as palavras para algum, para pelo menos um ou h.
O significado do quantificador existencial resumido na segunda linha da Tabela 1. Vamos
ilustrar o uso do quantificador existencial nos exemplos 1416.
EXEMPLO 14 Seja P(x) a expresso x > 3. Qual o valor-verdade da quantificao xP(x) no domnio dos
nmeros reais?
Exemplos
Extras
Soluo: Como x > 3 verdadeira para alguns nmeros reais por exemplo, quando x = 4 ,
a quantificao existencial de P(x), que xP(x), verdadeira.
1-37
Soluo: Como Q(x) falsa para todos os nmeros reais, a quantificao existencial de Q(x), que
xQ(x), falsa.
EXEMPLO 16 Qual o valor-verdade de x P(x), em que P(x) a proposio x2 > 10 e o domnio o conjunto
dos inteiros positivos que no excedem 4?
Soluo: Como o domnio {1, 2, 3, 4}, a proposio xP(x) a mesma que a disjuno
P(1) P(2) P(3) P(4).
Como P(4), que a proposio 42 > 10, verdadeira, segue-se que x P(x) verdadeira.
s vezes interessante dar uma passada por todos os termos do domnio ou fazer uma
procura entre esses termos quando estamos determinando valores-verdade de uma quantificao. Suponha que temos n objetos no domnio para uma varivel x. Para determinar quando
xP(x) verdadeira, podemos dar uma passada por todos os valores de x para ver se P(x)
sempre verdadeira. Se encontrarmos um valor de x para o qual P(x) falsa, ento, teremos
mostrado que xP(x) falsa. Caso contrrio, xP(x) ser verdadeira. Para ver quando xP(x)
verdadeira, damos uma passada pelos n valores de x procurando um valor para o qual P(x)
verdadeira. Se nunca encontrarmos um tal valor de x, teremos, ento, determinado que xP(x)
falsa. (Note que esse procedimento de procura no se aplica quando existem infinitos valores
de x no domnio. No entanto, uma maneira possvel de pensar sobre os valores-verdade das
quantificaes.)
Outras Quantificaes
Agora temos introduzido os quantificadores universal e existencial. Esses so os mais importantes quantificadores em matemtica e em cincia da computao. No entanto, existe um nmero
no limitado de quantificadores que podemos definir, tais como existem exatamente dois,
existem no mais de trs, existem pelo menos 100, e assim por diante. Desses outros quantificadores, um dos mais freqentemente vistos o quantificador de unicidade, indicado por !
ou 1. A notao !xP(x) [ou 1xP(x)] indica que Existe um nico x tal que P(x) verdadeira.
Outras frases podem ser usadas para a quantificao de unicidade, incluindo existe exatamente
um e existe um e somente um. Observe que podemos usar quantificadores e lgica proposicional para expressar unicidade (veja o Exerccio 52 na Seo 1.4), ento podemos nos esquivar
do quantificador de unicidade. Geralmente, melhor trabalhar com os quantificadores universal
e existencial, pois as regras de inferncia para esses quantificadores podem ser usadas.
1-38
EXEMPLO 17 O que as proposies x < 0 (x2 > 0), y 0 (y3 0) e z > 0 (z2 = 2) significam, em que o
domnio em cada um dos casos o conjunto dos nmeros reais?
Soluo: A proposio x < 0 (x2 > 0) fala sobre qualquer nmero real x com x < 0, x2 > 0. Ou
seja, ela diz que O quadrado de todo nmero negativo positivo. A proposio o mesmo que
x(x < 0 x2 > 0).
A proposio y 0 (y3 0) fala que, para qualquer nmero real y com y 0, teremos y3 0.
Ou seja, ela diz que O cubo de um nmero no nulo tambm no nulo. Note que esta proposio equivalente a y(y 0 y3 0).
Finalmente, a proposio z > 0 (z2 = 2) fala que existe um nmero real z com z > 0, tal que
2
z = 2. Ou seja, ela diz que Existe um nmero real positivo tal que seu quadrado igual a 2.
Essa proposio equivalente a z(z > 0 z2 = 2).
Ligando Variveis
Quando um quantificador usado na varivel x, dizemos que essa ocorrncia da varivel ligada. Uma ocorrncia de uma varivel que no ligada por um quantificador ou no representa um
conjunto de valores particulares chamada de varivel livre. Todas as variveis que ocorrem em
uma funo proposicional devem ser ligadas ou devem representar um conjunto de valores particulares para ser uma proposio. Isso pode ser feito usando uma combinao de quantificadores
universais, existenciais ou dando algum valor para as variveis.
A parte da expresso lgica qual um quantificador aplicado chamada de escopo do
quantificador. Conseqentemente, uma varivel livre se ela no est sob o escopo de algum
quantificador na frmula em que aparece essa varivel.
EXEMPLO 18 Na afirmao x(x + y = 1), a varivel x ligada pelo quantificador existencial, mas a varivel
y livre, pois no ligada a nenhum quantificador, nem assume nenhum valor especfico. Isso
ilustra que, na declarao x(x + y = 1), x ligada e y livre.
Na afirmao x(P(x) Q(x)) xR(x), todas as variveis so ligadas. O escopo do primeiro
quantificador x, pois P(x) Q(x) aplicado apenas a x, e no ao resto da expresso. Similarmente, o escopo do segundo quantificador, x, nesta expresso R(x). Isto , o quantificador existencial atua sobre a varivel x em P(x) Q(x) e o quantificador universal x atua sobre a varivel
x em R(x). Observe que poderamos ter escrito nossa afirmao usando duas variveis diferentes x
1-39
e y, como x(P(x) Q(x)) yR(y), pois o escopo dos dois quantificadores no se sobrepe. O
leitor deve estar ciente de que, no uso comum, a mesma letra freqentemente usada para representar variveis ligadas por diferentes quantificadores com escopo que no se sobrepe.
DEFINIO 3
Sentenas que envolvem predicados e quantificadores so logicamente equivalentes se e somente se elas tm o mesmo valor-verdade quaisquer que sejam os predicados substitudos
nessas sentenas e qualquer que seja o domnio de discurso para as variveis nessas funes
proposicionais. Usamos a notao S T para indicar que as duas declaraes que envolvem
predicados e quantificadores so logicamente equivalentes.
EXEMPLO 19 Mostre que x(P(x) Q(x)) e xP(x) xQ(x) so logicamente equivalentes (em que o mesmo
domnio usado nas duas). Essa equivalncia lgica mostra que podemos distribuir o quantificador universal sobre a conjuno. Alm disso, podemos distribuir o quantificador existencial sobre
a disjuno. No entanto, no podemos distribuir o universal sobre a disjuno nem o existencial
sobre a conjuno. (Veja os exerccios 50 e 51.)
Soluo: Para mostrar que essas sentenas so logicamente equivalentes, devemos mostrar
que elas tm sempre o mesmo valor-verdade, no importando o que so os predicados P e Q,
e no importando qual seja o domnio usado. Suponha que tenhamos predicados particulares
P e Q, com um domnio comum. Podemos mostrar que x(P(x) Q(x)) e xP(x) xQ(x) so
logicamente equivalentes fazendo duas coisas. Primeiro, mostramos que se x(P(x) Q(x))
verdadeira, ento xP(x) xQ(x) verdadeira. Depois, mostramos que, se xP(x)
xQ(x) verdadeira, ento x(P(x) Q(x)) verdadeira.
Ento, suponha que x(P(x) Q(x)) seja verdadeira. Isso significa que se a est no domnio,
ento P(a) Q(a) verdadeira. Logo, P(a) verdadeira e Q(a) verdadeira. Como P(a) verdadeira e Q(a) verdadeira para todo elemento do domnio, podemos concluir que xP(x) e
xQ(x) so ambas verdadeiras. Isso significa que xP(x) xQ(x) verdadeira.
Agora podemos supor que xP(x) xQ(x) verdadeira. Disso segue que xP(x) e xQ(x)
so ambas verdadeiras. Logo, se a est no domnio, ento P(a) verdadeira e Q(a) verdadeira
(como P(x) e Q(x) so verdadeiras para todos os elementos do domnio, no h nenhum problema em usar o mesmo valor a). Disso segue que, para todo a do domnio, P(a) Q(a) verdadeira. Portanto, x(P(x) Q(x)) verdadeira. Podemos, ento, concluir que
x(P(x) Q(x)) xP(x) xQ(x).
1-40
em que P(x) a declarao x teve aulas de clculo e o domnio consiste em todos os estudantes
de sua classe. A negao dessa proposio No o caso de todos os alunos de sua classe terem
feito aulas de clculo. Isso equivalente a Existe um estudante em sua classe que no teve aula
de clculo. E isso simplesmente a quantificao existencial da negao da funo proposicional original, nominalmente,
xP(x).
Esse exemplo ilustra a seguinte equivalncia lgica:
xP(x) xP(x).
Para mostrar que xP(x) e x(x) so logicamente equivalentes, no importando o que significa
a funo proposicional P(x) e tampouco qual o domnio, primeiro note que xP(x) verdadeira
se e somente se xP(x) falsa. Depois, note que xP(x) falsa se e somente se existe um elemento x no domnio para o qual P(x) verdadeira. Finalmente, observe que existe um elemento x no
domnio, tal que P(x) verdadeira se e somente se xP(x) verdadeira. Colocando esses
passos em seqncia, podemos concluir que xP(x) e xP(x) so logicamente equivalentes.
Suponha que queiramos negar uma quantificao existencial. Por exemplo, considere a expresso Existe um estudante na sua classe que teve aulas de clculo. Este o quantificador
existencial
xQ(x),
em que Q(x) a declarao x teve aulas de clculo. A negao dessa frase a proposio No
o caso de existir um estudante na sua classe que teve aulas de clculo. Que equivalente a
Todo estudante nesta classe no teve aulas de clculo, que a quantificao universal da negao da funo proposicional original, ou, escrito em linguagem dos quantificadores,
xQ(x).
Esse exemplo ilustra a equivalncia
xQ(x) xQ(x).
Para mostrar que xQ(x) xQ(x) so logicamente equivalentes, no importando o que
significa a funo proposicional Q(x) e tampouco qual o domnio, primeiro note que xQ(x)
verdadeira se e somente se xQ(x) falsa. E isso verdadeiro se e somente se no existe um
elemento x no domnio para o qual Q(x) verdadeira. Depois, note que no existe x no domnio
para o qual Q(x) verdadeira se e somente se Q(x) falsa para todo x no domnio. Finalmente,
observe que Q(x) falsa para todo x no domnio se e somente se Q(x) verdadeira para todo x
no domnio, que s pode ocorrer se e somente se xQ(x) verdadeira. Colocando esses passos
em seqncia, vemos que xQ(x) verdadeira se e somente se xQ(x) verdadeira. E conclumos que eles so logicamente equivalentes.
As regras para negaes de quantificadores so chamadas de leis de De Morgan para quantificadores. Essas regras esto resumidas na Tabela 2.
1-41
Sentena Equivalente
Quando Falsa?
xP(x)
xP(x)
xP(x)
xP(x)
P(x) falsa.
EXEMPLO 20 Quais as negaes de Existe um poltico honesto e Todos os brasileiros comem churrasco?
Exemplos
Extras
Soluo: Seja H(x) correspondente a x honesto. Ento, a proposio Existe um poltico honesto representada por xH(x), em que o domnio consiste em todos os polticos. A negao dessa
declarao xH(x), que equivalente a xH(x). Essa negao pode ser expressa por Todos
os polticos so desonestos (ou Todos os polticos so no honestos, mas, dependendo da lngua
em que se fala, essa ltima pode gerar uma ambigidade; logo, preferimos a primeira).
Seja C(x) correspondente a x come churrasco. Ento, a proposio Todos os brasileiros
comem churrasco representada por xC(x), em que o domnio consiste em todos os brasileiros. A negao dessa proposio representada por xC(x), que equivalente a xC(x). Essa
negao pode ser expressa de muitas maneiras diferentes, incluindo Alguns brasileiros no comem churrasco ou Existe um brasileiro que no come churrasco.
1-42
EXEMPLO 23 Expresse a sentena Todo estudante desta classe estudou clculo, usando predicados e quantificadores.
Soluo: Primeiro, reescrevemos a sentena para identificar claramente qual o quantificador
apropriado para usar. Fazendo isso, obtemos:
Para cada estudante desta classe, este estudante estudou clculo.
Exemplos
Extras
No Exemplo 23, mostramos diferentes modos de expressar a mesma sentena usando predicados e quantificadores. No entanto, devemos sempre adotar o mais simples, que adequado para
usar em nosso raciocnio subseqente.
EXEMPLO 24 Expresse as sentenas Algum estudante da classe visitou o Mxico e Todo estudante da classe
visitou Canad ou Mxico usando predicados e quantificadores.
1-43
EXEMPLO 25 Use predicados e quantificadores para expressar o sistema de especificaes Todo e-mail com
tamanho maior que um megabyte ser comprimido e Se um usurio estiver ativo, ao menos um
link de rede estar habilitado.
Exemplos
Extras
Soluo: Seja S(m, y) o predicado E-mail m tem tamanho maior que y megabytes, em que o
domnio de m consiste em todas as mensagens de e-mail e y um nmero real positivo, e seja
C(m) o predicado O e-mail m ser comprimido. Ento, a especificao Todo e-mail com
1-44
tamanho maior que um megabyte ser comprimido pode ser representada por m (S (m,1)
C (m)).
Seja A (u) o predicado O usurio u est ativo, em que a varivel u tem como domnio todos
os usurios, e seja S (n, x) o predicado O link de rede n est no estado x, em que n tem como
domnio todos os links de rede e x tem como domnio os estados possveis de cada link. Ento, a
especifi cao Se um usurio estiver ativo, ao menos um link de rede estar habilitado pode ser
expressa por u A (u) n S (n, habilitado).
EXEMPLO 26 Considere estas sentenas. As duas primeiras so chamadas de premissas e a terceira chamada
de concluso. O conjunto inteiro chamado de argumento.
Todos os lees so selvagens.
Alguns lees no bebem caf.
Algumas criaturas selvagens no bebem caf.
(Na Seo 1.5 vamos discutir a questo de determinar quando a concluso uma conseqncia
vlida das premissas. Neste exemplo, .) Sejam P (x), Q (x) e R (x) as sentenas x um leo, x
selvagem e x bebe caf, respectivamente. Assumindo que o domnio consiste em todas as
criaturas, expresse as sentenas do argumento usando quantifi cadores e P (x), Q (x) e R (x).
Soluo: Podemos expressar essas sentenas como:
x (P (x) Q (x)).
x (P (x) R (x)).
x (Q (x) R (x)).
Note que a segunda sentena no pode ser escrita por x (P (x) R (x)). A razo que
P(x) R (x) verdadeira toda vez que x no um leo, logo x (P (x) R (x)) verdadeira
sempre que existir uma criatura que no seja um leo, mesmo que todo leo beba caf. Similarmente, a terceira sentena no pode ser expressa por
x (Q (x) R (x)).
Links
CHARLES LUTWIDGE DODGSON (18321898) Conhecemos Charles Dodgson como Lewis Carroll pseudnimo que ele usou em seus escritos sobre lgica. Dodgson, fi lho de um clrigo, foi o terceiro fi lho de um total de 11
crianas; de todas, ele era o nico que gaguejava. Ele fi cava constrangido na presena de adultos e dito que ele falava
sem gaguejar apenas com jovens garotas, muitas com as quais ele se divertia, se correspondia e as fotografava (algumas
vezes em poses que hoje seriam consideradas inapropriadas). Embora atrado por jovens garotas, ele era extremamente puritano e religioso. Sua amizade com as trs fi lhas jovens de Dean Liddell inspirou-o a escrever Alice no Pas das
Maravilhas, que lhe trouxe dinheiro e fama.
Dodgson formou-se em Oxford em 1854 e obteve seu ttulo de mestre em 1857. Ele foi indicado como professor
em matemtica na Christ Church College, Oxford, em 1855. Foi ordenado na Igreja da Inglaterra em 1861, mas nunca
praticou seu ministrio. Seus escritos incluem artigos e livros sobre geometria, determinantes e a matemtica de torneios e eleies. (Tambm usou o pseudnimo Lewis Carroll em muitos de seus trabalhos de lgica recreacional.)
1-45
EXEMPLO 27 Considere estas sentenas, das quais as trs primeiras so premissas e a quarta uma concluso
vlida.
Todos os beija-flores so ricamente coloridos.
Nenhum pssaro grande vive de nctar.
Pssaros que no vivem de nctar so montonos nas cores.
Beija-flores so pequenos.
Sejam P(x), Q(x), R(x) e S(x) as sentenas x um beija-flor, x grande, x vive de nctar e
x ricamente colorido, respectivamente. Assumindo que o domnio consiste em todos os pssaros, expresse as sentenas do argumento usando quantificadores e P(x), Q(x), R(x) e S(x).
Soluo: Podemos expressar as sentenas do argumento por
x(P(x) S(x)).
x(Q(x) R(x)).
x(R(x) S(x)).
x(P(x) Q(x)).
(Note que assumimos que pequenos o mesmo que no grandes e que montono nas cores
o mesmo que no ricamente colorido. Para mostrar que a quarta sentena uma concluso
vlida a partir das trs primeiras, precisamos do uso de regras de inferncia, que sero discutidas
na Seo 1.5.)
Programao Lgica
Links
EXEMPLO 28 Considere um programa Prolog que oferece como fatos (facts) os instrutores de cada classe
(instructor) e em qual classe cada aluno est matriculado (enrolled). O programa usa esses fatos
para responder quem o instrutor de um estudante em particular. Esse programa deve usar os
predicados instructor(p, c) e enrolled(s, c) para representar que o professor p o instrutor do
curso c e o estudante s est matriculado no curso c, respectivamente. Por exemplo, os Prolog
facts nesse programa podem incluir:
instructor(chan,math273)
instructor(patel,ee222)
instructor(grossman,cs301)
enrolled(kevin,math273)
enrolled(juana,ee222)
enrolled(juana,cs301)
enrolled(kiko,math273)
enrolled(kiko,cs301)
(As letras minsculas so usadas para as entradas, pois o Prolog considera nomes que comeam
por letras maisculas como variveis.)
1-46
Um novo predicado teaches(p, s), que representa que o professor p ensina o estudante s, pode
ser definido usando uma Prolog rule
teaches(P,S) :- instructor(P,C), enrolled(S,C)
o que significa que teaches(p, s) verdadeiro se existir uma classe c tal que o professor p instrutor dessa classe e o estudante s est matriculado na classe c. (Note que uma vrgula usada
para representar uma conjuno de predicados em Prolog. Similarmente, um ponto-e-vrgula
usado para representar uma disjuno de predicados.)
Prolog responde s perguntas usando os fatos e as regras dadas. Por exemplo, usando os fatos
e as regras listadas, a pergunta
?enrolled(kevin,math273)
produz a resposta
yes
porque o fato enrolled (kevin, math273) foi dado como entrada. A pergunta
?enrolled(X,math273)
produz a resposta
kevin
kiko
Para produzir essa resposta, Prolog determina todos os valores possveis da varivel X, para os
quais enrolled(X, math273) foi dado como Prolog fact. Similarmente, para encontrar os professores que so os instrutores das classes de Juana, usamos a pergunta
?teaches(X,juana)
Essa pergunta retorna
patel
grossman
Exerccios
1. Considere P(x) como a proposio x 4. Quais so os
valores-verdade das proposies abaixo?
a) P(0)
b) P(4)
c) P(6)
2. Considere P(x) como a proposio a palavra x contm a
letra a. Quais so os valores-verdade das proposies
abaixo?
a) P(orange) b) P(lemon)
c) P(true) d) P(false)
3. Considere Q(x, y) como a proposio x a capital de y.
Quais os valores-verdade das proposies a seguir?
a) Q(Denver, Colorado)
b) Q(Detroit, Michigan)
c) Q(Massachusetts, Boston)
d) Q(Nova York, Nova York)
4. Constate o valor de x depois que a proposio if P(x) then
x := 1 for executada, em que P(x) a proposio x > 1,
se o valor de x, quando essa proposio for alcanada, for
a) x = 0.
b) x = 1.
c) x = 2.
5. Considere P(x) como a proposio x passa mais do que
cinco horas em aula todos os dias, em que o domnio de x
so todos os estudantes. Expresse cada uma dessas
quantificaes em portugus.
1-47
a) x P(x)
b) x P(x)
c) x P(x)
d) x P(x)
6. Considere N(x) como a proposio x visitou Dakota do
Norte, em que o domnio so os estudantes de sua escola.
Expresse cada uma dessas quantificaes em portugus.
a) x N(x)
b) x N(x)
c) x N(x)
d) x N(x)
e) x N(x)
f) x N(x)
7. Transcreva estas proposies para o portugus, em que
C(x) x um comediante e F(x) x divertido e o
domnio so todas as pessoas.
a) x(C(x) F(x))
b) x(C(x) F(x))
c) x(C(x) F(x))
d) x(C(x) F(x))
8. Transcreva estas proposies para o portugus, em que
R(x) x um coelho e H(x) x salta e o domnio so
todos os animais.
a) x(R(x) H(x))
b) x(R(x) H(x))
c) x(R(x) H(x))
d) x(R(x) H(x))
9. Considere P(x) como a proposio x fala russo e considere
Q(x) como a proposio x sabe a linguagem computacional
C++. Expresse cada uma dessas sentenas em termos de
P(x), Q(x), quantificadores e conectivos lgicos. O domnio
para quantificadores so todos os estudantes de sua escola.
a) H um estudante em sua escola que fala russo e sabe
C++.
b) H um estudante em sua escola que fala russo, mas no
sabe C++.
c) Todo estudante em sua escola ou fala russo ou sabe
C++.
d) Nenhum estudante em sua escola fala russo ou sabe
C++.
10. Considere C(x) como a proposio x tem um gato, D(x)
como x tem um cachorro e F(x) como x tem um furo.
Expresse cada uma dessas proposies em termos de C(x),
D(x), F(x), quantificadores e conectivos lgicos. O domnio
so todos os estudantes de sua sala.
a) Um estudante de sua sala tem um gato, um cachorro e
um furo.
b) Todos os estudantes de sua sala tm um gato, um
cachorro ou um furo.
c) Algum estudante de sua sala tem um gato e um furo,
mas no tem um cachorro.
d) Nenhum estudante de sua sala tem um gato, um
cachorro e um furo.
e) Para cada um desses trs animais, gatos, cachorros e
fures, h um estudante em sua sala que possui um dos
trs como animal de estimao.
11. Considere P(x) como a proposio x = x2. Se o domnio
forem os nmeros inteiros, quais sero os valores-verdade?
a) P(0)
b) P(1)
c) P(2)
d) P(1)
e) xP(x)
f) xP(x)
12. Considere Q(x) como a proposio x + 1 > 2x. Se o
domnio forem todos os nmeros inteiros, quais sero os
valores- verdade?
a) Q(0)
b) Q(21)
c) Q(1)
d) xQ(x)
e) xQ(x)
f) x Q(x)
g) x Q(x)
1-48
1-49
35. Encontre um contra-exemplo, se possvel, para estas proposies quantificadas universalmente, em que o domnio
para todas as variveis so todos os nmeros inteiros.
a) x(x2 x)
b) x(x > 0 x < 0)
c) x(x = 1)
36. Encontre um contra-exemplo, se possvel, para estas proposies quantificadas universalmente, em que o domnio
para todas as variveis so todos os nmeros reais.
b) x(x2 2)
a) x(x2 x)
c) x(|x| > 0)
37. Expresse cada uma das proposies abaixo usando
predicados e quantificadores.
a) Um passageiro em uma companhia area qualificado
como um viajante de elite se voar mais de 25.000
milhas em um ano ou pegar mais de 25 vos durante
o ano.
b) Um homem se classifica para a maratona se seu melhor
tempo for menor que 3 horas, e uma mulher, se seu
melhor tempo for menor que 3,5 horas.
c) Um estudante deve freqentar no mnimo 60 horas/
aula, ou pelo menos 45 horas/aula e escrever uma tese,
e ter, em todas as disciplinas, conceito no menor que
B para receber o ttulo de mestre.
d) H um estudante que cursou mais de 21 crditos em
um semestre e recebeu apenas conceitos A.
Os exerccios 38 a 42 lidam com a transcrio entre sistema de
especificao e expresses lgicas que envolvem quantificadores.
38. Transcreva os sistemas de especificaes abaixo para o
portugus, em que o predicado S(x, y) x est em estado
y e o domnio para x e y so todos os sistemas e todos os
estados possveis, respectivamente.
a) x S(x, aberto)
b) x (S(x, em mau funcionamento) S(x, diagnstico))
c) x S(x, aberto) x S(x, diagnstico)
d) x S(x, disponvel)
e) x S(x, em funcionamento)
39. Transcreva as especificaes abaixo para o portugus, em
que F(p) A impressora p est quebrada, B(p) A
impressora p est ocupada, L(j) A impresso do
trabalho j foi perdida e Q( j ) A impresso do trabalho
j foi adicionada fila.
a) p(F(p) B(p)) jL(j)
b) pB(p) jQ(j)
c) j(Q(j) L(j)) pF(p)
d) (pB(p) jQ(j)) jL(j)
40. Expresse cada um dos sistemas de especificaes a seguir,
usando predicados, quantificadores e conectivos lgicos.
a) Quando h menos de 30 megabytes livres no disco
rgido, um aviso enviado a todos os usurios.
b) Nenhum diretrio no sistema de arquivos pode ser
aberto e nenhum arquivo pode ser fechado se forem
detectados erros no sistema.
c) O sistema de arquivos no pode ser recuperado se
houver um usurio conectado.
1-50
1.4Quantificadores Agrupados
Introduo
Na Seo 1.3, definimos os quantificadores existencial e universal e mostramos como podem ser
usados em sentenas matemticas. Tambm explicamos como podem ser usados para traduzir
1-51
sentenas do portugus para expresses lgicas. Nesta seo, vamos estudar quantificadores
agrupados. Dois quantificadores so agrupados se um est no escopo do outro, tal como
xy(x + y = 0).
Note que tudo que est no escopo de um quantificador pode ser considerado uma funo proposicional. Por exemplo,
xy(x + y = 0)
o mesmo que xQ(x), em que Q(x) yP(x, y) e P(x, y) x + y = 0. Quantificadores agrupados sempre ocorrem em matemtica e cincia da computao. No entanto, quantificadores agrupados podem ser, s vezes, difceis de entender; as regras que estudamos na Seo 1.3 podem nos
ajudar.
Para entender essas sentenas que envolvem muitos quantificadores, precisamos esclarecer o
que significa cada predicado e cada quantificador que aparece. Isso ilustrado nos exemplos 1 e 2.
EXEMPLO 1 Assuma que o domnio para as variveis x e y consiste em todos os nmeros reais. A sentena
xy(x + y = y + x)
Exemplos
Extras
diz que x + y = y + x para todos os nmeros reais x e y. Essa a propriedade comutativa para
nmeros reais. De maneira anloga, a sentena
xy(x + y = 0)
diz que para cada (para todo) nmero real x existe um nmero real y, tal que x + y = 0. Essa
sentena diz que todo nmero real tem um inverso aditivo (o oposto). Similarmente, a sentena
xyz(x + (y + z) = (x + y) + z)
a propriedade associativa da adio para nmeros reais.
1-52
para o qual P(x, y) verdadeira. Se para todo valor de x encontrarmos um y, ento xyP(x, y)
verdadeira; se para algum x nunca encontrarmos um valor de y, ento xyP(x, y) falsa.
Para ver se xyP(x, y) verdadeira, podemos dar uma volta pelos valores de x at encontrarmos um valor de x para o qual P(x, y) sempre verdadeira quando damos uma volta pelos
valores de y. Se encontrarmos tal x, saberemos que xyP(x, y) verdadeira. Se no encontrarmos tal x, concluiremos que xyP(x, y) falsa.
Finalmente, para ver se xyP(x, y) verdadeira, damos uma volta pelos valores de x, em
que para cada x damos uma volta pelos valores de y at encontrarmos um x para o qual existe um
y, tal que P(x, y) seja verdadeira. A sentena xyP(x, y) ser falsa somente se no encontrarmos
um x para o qual encontramos algum y tal que P(x, y) seja verdadeira.
xyP(x, y)
indica a proposio
Para todo nmero real x, para todo nmero real y, x + y = y + x.
Como P(x, y) verdadeira para todos os nmeros reais x e y (esta a propriedade comutativa para
a adio, que um axioma para todos os nmeros reais veja o Apndice 1), a proposio
xyP(x, y) verdadeira. Note que a sentena yxP(x, y) diz Para todo nmero real y, para
todo nmero real x, x + y = y + x. Isto tem o mesmo significado que a sentena Para todo
nmero real x, para todo nmero real y, x + y = y + x. Ou seja, xyP(x, y) e yxP(x, y) tm
o mesmo significado, e so ambas verdadeiras. Isso ilustra o princpio que diz que a ordem dos
quantificadores universais em uma sentena sem outros quantificadores pode ser mudada sem
alterar o significado da sentena quantificada.
1-53
Quando verdadeira?
Quando falsa?
xyP(x, y)
yxP(x, y)
Para todo x existe um y para
xyP(x, y)
yxP(x, y)
P(x, y) verdadeira.
todo par x, y.
xyP(x, y)
xyP(x, y)
A quantificao
xyQ(x, y)
indica a proposio
Para todo nmero real x existe um nmero real y tal que Q(x, y).
Dado um nmero real x, existe um nmero real y tal que x + y = 0; isto , y = 2 x. Portanto,
xyQ(x, y) verdadeira.
O Exemplo 4 ilustra que a ordem em que aparecem os quantificadores faz muita diferena.
As sentenas yxQ(x, y) e xyQ(x, y) no so logicamente equivalentes. A sentena yxQ(x, y)
verdadeira se e somente se existe um y que faz com que Q(x, y) seja verdadeira para todo x.
Portanto, para essa sentena ser verdadeira, deve existir um valor particular de y para o qual Q(x, y)
verdadeira independentemente da escolha de x. Por outro lado, xyQ(x, y) verdadeira se
para todo x existe um nmero y para o qual Q(x, y) verdadeira. Portanto, para essa sentena ser
verdadeira, qualquer que seja o valor de x que voc escolha, deve existir um valor de y (possivelmente dependente do valor de x escolhido) para o qual Q(x, y) verdadeira. Em outras palavras, no segundo caso, y pode depender de x, enquanto, no primeiro caso, y uma constante
independente de x.
Dessas observaes, segue-se que yxQ(x, y) verdadeira, ento xyQ(x, y) deve ser
verdadeira. No entanto, se xyQ(x, y) verdadeira, no necessariamente yxQ(x, y) deve
ser verdadeira. (Veja os exerccios suplementares 24 e 25 no final deste captulo.)
A Tabela 1 resume o significado das possveis quantificaes diferentes que envolvem duas
variveis.
Quantificaes com mais de duas variveis tambm so comuns, como ilustra o Exemplo 5.
1-54
que a sentena
Para todo nmero real x e para todo nmero real y existe z tal que x + y = z,
verdadeira. A ordem da quantificao aqui importante, pois a quantificao
zxyQ(x, y, z),
que a sentena
Existe z tal que para todo x e para todo y verdade que x + y = z,
falsa, pois no h nenhum valor de z que satisfaa a equao para quaisquer valores de x e y.
EXEMPLO 6 Traduza para uma expresso lgica a sentena A soma de dois nmeros inteiros positivos
sempre positiva.
Exemplos
Extras
Soluo: Para traduzir essa sentena para uma expresso lgica, vamos primeiro reescrev-la at
que os quantificadores e o domnio sejam mostrados: Para todo par de inteiros, se os dois so
positivos, ento a soma ser um inteiro positivo. Conseqentemente, podemos expressar essa
sentena como
xy((x > 0) (y > 0) (x + y > 0)),
em que o domnio para ambas as variveis so os nmeros inteiros. Note que podemos traduzir
essa sentena usando como domnio o conjunto dos inteiros positivos. Ento, a sentena A soma
de dois nmeros inteiros positivos sempre positiva fica Para todo par de inteiros positivos,
sua soma positiva. Podemos express-la por
xy(x + y > 0),
em que o domnio consiste em todos os inteiros positivos.
EXEMPLO 7 Traduza para uma expresso lgica a sentena Todo nmero real diferente de zero tem um inverso multiplicativo. (Um inverso multiplicativo de um nmero real x o nmero real y tal que
xy = 1.)
Soluo: Primeiro, reescrevemos como Para todo real x diferente de zero, x tem inverso multiplicativo. Podemos, ainda, reescrever como Para todo nmero real x, se x 0, ento existe um
y real, tal que xy = 1. E pode ser traduzida como
x((x 0) y(xy = 1)).
Um exemplo com o qual voc deve estar familiarizado o conceito de limite, que importante em clculo.
1-55
x a
: para todo real e > 0 existe um nmero real > 0 tal que | f(x) 2 L| < e toda vez que 0 < | x 2
a| < . Essa definio de limite pode ser expressa em termos de quantificadores por
e x(0 < |x 2 a| < |f(x) 2 L| < e),
em que o domnio das variveis e e consiste em todos os reais, e, para x, o domnio so todos os
reais.
Essa definio tambm pode ser expressa por
e > 0 > 0 x(0 < |x 2 a| < |f(x) 2 L| < e)
quando o domnio das variveis e e consiste em todos os reais, em vez de apenas os nmeros
reais positivos. [Aqui, quantificadores restritos devem ser utilizados. Lembre que x > 0 P(x)
significa que para todo x com x > 0, P(x) verdadeira.]
1-56
EXEMPLO 11 Expresse a sentena Se uma pessoa do sexo feminino e tem filhos, ento ela me de algum
como uma expresso lgica que envolve predicados, quantificadores com domnio que consiste
em todas as pessoas e conectivos lgicos.
Soluo: A sentena Se uma pessoa do sexo feminino e tem filhos, ento ela me de algum
pode ser reescrita por Para toda pessoa x, se x do sexo feminino e x tem filhos, ento existe uma
pessoa y tal que x me de y. Introduziremos a funo proposicional F(x) para representar x
do sexo feminino, P(x) para representar x tem filhos e M(x, y) para representar x me de
y. Ento a sentena original pode ser escrita por
x((F(x) P(x)) yM(x, y)).
Usando a regra da quantificao nula na parte (b) do Exerccio 47 da Seo 1.3, podemos mover
y para a esquerda e esse quantificador aparecer depois de x, porque y no aparece em F(x)
P(x). Ento obtemos a expresso logicamente equivalente
xy((F(x) P(x)) M(x, y)).
EXEMPLO 12 Expresse a sentena Todos tm exatamente um melhor amigo como uma expresso lgica que
envolve predicados, quantificadores com domnio que consiste em todas as pessoas e conectivos
lgicos.
Soluo: A sentena Todos tm exatamente um melhor amigo pode ser expressa por Para toda
pessoa x, x tem exatamente um melhor amigo. Introduzindo o quantificador universal, vemos
que essa sentena o mesmo que x (x tem exatamente um melhor amigo), em que o domnio
consiste em todas as pessoas.
Dizer que x tem exatamente um melhor amigo o mesmo que dizer que existe uma pessoa y
que o melhor amigo de x, e, mais ainda, que para toda pessoa z, se z no y, ento z no o
melhor amigo de x. Quando introduzimos o predicado B(x, y) para representar y o melhor
amigo de x, a sentena x tem exatamente um melhor amigo pode ser representada por
y(B(x, y) z((z y) B(x, z))).
Conseqentemente, nossa sentena original pode ser expressa por
xy(B(x, y) z((z y) B(x, z))).
[Note que poderamos escrever esta sentena como x!yB(x, y) em que ! o quantificador de
unicidade definido na pgina 37.]
EXEMPLO 13 Use quantificadores para expressar a sentena Existe uma mulher que j tomou um avio em
todas as linhas areas do mundo.
1-57
Sentenas que envolvem quantificadores agrupados podem ser negadas por aplicaes sucessivas
das regras de negao de sentenas com um nico quantificador. Isso ilustrado nos exemplos 14
a 16.
EXEMPLO 14 Expresse a negao da sentena xy(xy = 1) de tal forma que a negao no preceda algum
quantificador.
Exemplos
Extras
Soluo: Por sucessivas aplicaes das leis de De Morgan para quantificadores na Tabela 2 da
Seo 1.3, podemos mover a negao em xy(xy = 1) para dentro de todos os quantificadores.
Vemos que xy(xy = 1) equivalente a xy(xy = 1), que equivalente a xy(xy = 1).
Como (xy = 1) pode ser expresso de maneira mais simples por xy 1, conclumos que nossa
sentena negada pode ser expressa como xy(xy 1).
EXEMPLO 15 Use quantificadores para a sentena No existe uma mulher que j tenha tomado um avio em
todas as linhas areas do mundo.
Soluo: Essa sentena a negao da sentena do Exemplo 13. De acordo com Exemplo 13, nossa
sentena pode ser expressa por wa f(P(w, f) Q(f, a)), em que P(w, f) o predicado w tomou
o avio f e Q(f, a) o predicado f um avio da linha a. Por sucessivas aplicaes das leis de De
Morgan para quantificadores na Tabela 2 da Seo 1.3, podemos mover a negao para dentro de todos os quantificadores e, por aplicao da lei de De Morgan para a conjuno no ltimo passo, vemos
que nossa sentena equivalente a cada uma das outras desta seqncia de sentenas:
waf(P(w, f) Q(f, a)) wa f (P(w, f) Q(f, a))
wa f (P(w, f) Q(f, a))
wa f(P(w, f) Q(f, a)).
Esta ltima sentena diz que Para toda mulher existe uma linha area tal que, para todos os vos,
essa mulher no tomou esse vo ou esse vo no dessa linha area.
EXEMPLO 16 (Requer clculo) Use quantificadores e predicados para expressar que limx a f(x) no existe.
Soluo: Para dizer que limx a f(x) no existe, basta dizer que, para todo L, limx a f(x) L.
Usando o Exemplo 8, a sentena limx a f(x) L pode ser expressa por
e > 0 > 0 x (0 < |x 2 a| < |f(x) 2 L | < e).
1-58
Por sucessivas aplicaes das regras para negao de expresses quantificadas, construmos esta
seqncia de sentenas equivalentes
e > 0 > 0 x(0 < |x 2 a| < |f(x) 2 L| < e)
Na ltima passagem, usamos a equivalncia (p q) p q, que segue da quinta equivalncia da Tabela 7 da Seo 1.2.
Como a sentena limx a f(x) no existe significa que para todo nmero real L, limx a
f(x) L, essa pode ser expressa por
L e > 0 > 0 x (0 < |x 2 a| < |f(x) 2 L| e).
Essa ltima sentena diz que para todo nmero real L existe um nmero real e > 0 tal que para
cada nmero real > 0, existe um nmero real x tal que 0 < |x 2 a| < e |f(x) 2 L| e.
Exerccios
1. Transcreva as proposies abaixo para o portugus, em que
o domnio para cada varivel consista nos nmeros reais.
a) xy(x < y)
b) xy(((x 0) (y 0)) (xy 0))
c) xyz(xy = z)
2. Transcreva as proposies abaixo para o portugus, em que
o domnio para cada varivel consista nos nmeros reais.
a) xy(xy = y)
b) xy(((x 0) (y < 0)) (x 2 y > 0))
c) xyz(x = y + z)
3. Considere Q(x, y) como a proposio x enviou um e-mail
para y, em que o domnio para x e y so todos os estudantes
de sua sala. Expresse cada uma das quantificaes abaixo
em portugus.
b) xyQ(x, y)
a) xyQ(x, y)
c) xyQ(x, y)
d) yxQ(x, y)
e) yxQ(x, y)
f) xyQ(x, y)
4. Considere P(x, y) como a proposio o estudante x tem
freqentado as aulas y, em que o domnio para x so os
estudantes de sua sala e y, todos os cursos de cincia da
computao em sua escola. Expresse cada uma das
quantificaes abaixo em portugus.
a) xyP(x, y)
b) xyP(x, y)
c) xyP(x, y)
d) yxP(x, y)
e) yxP(x, y)
f) xyP(x, y)
5. Considere W(x, y) que significa que o estudante x visitou o
site da Web y, em que o domnio para x so todos os
1-59
c) yT (T(Monique Arsenault, y)
T (Jay Johnson, y))
d) xzy((x z) (T(x, y) T(z, y)))
e) xzy(T(x, y) T(z, y))
f) xzy(T(x, y) T(z, y))
8. Considere Q(x, y) como a proposio o estudante x foi um
participante no programa de perguntas e respostas y. Expresse cada uma das sentenas abaixo em termos de Q(x,
y), quantificadores e conectivos lgicos, em que o domnio
para x so todos os estudantes de sua escola e o domnio de y,
todos os programas de perguntas e respostas da televiso.
a) H um estudante na sua escola que participou de um
programa de perguntas e respostas na televiso.
b) Nenhum estudante da sua escola nunca participou de
um programa de perguntas e respostas na televiso.
c) H um estudante em sua escola que participou do
programa Show do Milho e Roda da Fortuna.
d) Todo programa de perguntas e resposta da televiso
teve como participante um estudante de sua escola.
e) Pelo menos dois estudantes da sua escola foram
participantes do Show do Milho.
9. Considere L(x, y) como a proposio x ama y, em que o
domnio para x e y so todas as pessoas do mundo. Use
quantificadores para expressar cada proposio abaixo.
a) Todos amam Jerry.
b) Todas as pessoas amam algum.
c) H algum que amado por todos.
d) Ningum ama a todos.
e) H algum a quem Ldia no ama.
f) H algum a quem ningum ama.
g) H exatamente uma pessoa a quem todos amam.
h) H exatamente duas pessoas a quem Lynn ama.
i) Todos amam a si prprios.
j) H algum que no ama ningum alm dele prprio.
10. Considere F(x, y) como a proposio x pode enganar y,
em que o domnio so todas as pessoas no mundo. Use
quantificadores para expressar cada uma das proposies
abaixo.
a) Todos podem enganar Fred.
b) Evelyn pode enganar a todos.
c) Todos podem enganar algum.
d) No h ningum que possa enganar a todos.
e) Todos podem ser enganados por algum.
f) Ningum pode enganar Fred e Jerry.
g) Nancy pode enganar exatamente duas pessoas.
h) H exatamente uma pessoa a quem todos podem
enganar.
i) Ningum pode enganar a si prprio.
j) H algum que pode enganar exatamente uma pessoa
alm de si prprio.
11. Considere S(x) como o predicado x um estudante,
F(x) o predicado x um membro da faculdade e A(x, y)
o predicado x fez uma pergunta a y, em que o domnio
so todas as pessoas associadas a sua escola. Use
quantificadores para expressar cada proposio a seguir.
a) Lois fez uma pergunta ao professor Michaels.
1-60
1-61
c) xy(xy = 0)
d) xy(x + y y + x)
e) x(x 0 y(xy = 1))
f) xy(y 0 xy = 1)
g) xy(x + y = 1)
h) xy(x + 2y = 2 2x + 4y = 5)
i) xy(x + y = 2 2x 2 y = 1)
j) xyz(z = (x + y)/2)
29. Suponha que o domnio da funo proposicional P(x, y)
so os pares x e y, em que x 1, 2 ou 3 e y, 1, 2 ou 3.
Desenvolva as proposies abaixo usando disjunes e
conjunes.
a) xyP(x, y)
b) xyP(x, y)
c) xyP(x, y)
d) yxP(x, y)
30. Reescreva cada uma das proposies para que as negaes
apaream apenas inseridas nos predicados (ou seja,
nenhuma negao esteja do lado de fora de um quantificador
ou de uma expresso que envolva conectivos lgicos).
a) yxP(x, y)
b) xy P(x, y)
c) y(Q(y) x R(x, y))
d) y(xR(x, y) xS(x, y))
e) y(xzT (x, y, z) xzU(x, y, z))
31. Expresse as negaes de cada uma das proposies abaixo, tal que todos os smbolos de negao precedam imediatamente os predicados.
a) xyzT (x, y, z)
b) xy P (x, y) xy Q (x, y)
c) xy (P (x, y) z R (x, y, z))
d) xy (P (x, y) Q (x, y))
32. Expresse as negaes de cada uma das proposies abaixo, tal que todos os smbolos de negao precedam imediatamente os predicados.
a) zyxT(x, y, z)
b) xyP(x, y) xyQ(x, y)
c) xy(Q(x, y) Q(y, x))
d) yxz(T(x, y, z) Q(x, y))
33. Reescreva cada uma das proposies para que as negaes
apaream apenas inseridas nos predicados (ou seja,
nenhuma negao esteja do lado de fora de um quantificador
ou de uma expresso que envolva conectivos lgicos).
a) xyP(x, y)
b) yx P(x, y)
c) yx(P(x, y) Q(x, y))
d) (xyP(x, y) xyQ(x, y))
e) x(yz P(x, y, z) zy P(x, y, z))
34. Encontre um domnio comum para as variveis x, y e z para
que a proposio xy((x y) z((z = x) (z = y)))
seja verdadeira e outro domnio para que ela seja falsa.
35. Encontre um domnio comum para as variveis x, y, z e
w para que a proposio xyzw((w x) (w y)
(w z)) seja verdadeira e outro domnio para que ela
seja falsa.
36. Expresse cada uma das proposies a seguir. Ento, forme
a negao de cada proposio, para que a negao fique
do lado esquerdo de um quantificador. Depois, expresse
a negao em portugus. (No use as palavras No o
caso de.)
1-62
1-63
1.5Regras de Inferncia
Introduo
Mais adiante, neste captulo, vamos estudar demonstraes. Demonstraes em matemtica so
argumentos vlidos que estabelecem a veracidade das sentenas matemticas. Por um argumento, entendemos uma seqncia de sentenas que terminam com uma concluso e, por vlido, que
uma concluso, ou a sentena final do argumento, deve seguir o valor-verdade das sentenas
precedentes, ou premissas, do argumento. Ou seja, um argumento vlido se e somente se for
impossvel que todas as premissas sejam verdadeiras e a concluso seja falsa. Para deduzir novas
sentenas de sentenas que j temos, usamos regras de inferncia, as quais so moldes para construo de argumentos vlidos. Regras de inferncia so nossas ferramentas bsicas para o estabelecimento do valor-verdade das sentenas.
Antes de estudarmos demonstraes matemticas, vamos olhar para argumentos que envolvem apenas proposies compostas. Vamos definir o que significa um argumento ser vlido quando envolve proposies compostas. Ento, vamos introduzir um conjunto de regras de inferncia
de lgica proposicional. Essas regras de inferncia so o mais importante ingrediente na produo de argumentos vlidos. Depois de ilustrar como as regras de inferncia so utilizadas para
produzir argumentos vlidos, vamos descrever algumas formas comuns de raciocnio incorreto,
chamadas de falcias, que nos levam a argumentos invlidos.
Depois de estudar as regras de inferncia em lgica proposicional, vamos introduzir regras
de inferncia para sentenas quantificadas. Vamos descrever como essas regras de inferncia
podem ser utilizadas para produzir argumentos vlidos. Essas regras de inferncia para sentenas
que envolvem quantificadores universal e existencial representam importante papel em demonstraes em cincia da computao e matemtica, embora elas sejam sempre utilizadas sem serem
explicitamente mencionadas.
Finalmente, vamos mostrar como regras de inferncia para sentenas proposicionais e quantificacionais podem ser combinadas. Essas combinaes so freqentemente utilizadas em argumentos complicados.
1-64
Sabemos que se p e q so variveis proposicionais, a sentena ((p q) p) q uma tautologia (veja o Exerccio 10(c) na Seo 1.2). Em particular, quando ambos p q e p so verdadeiras, sabemos que q tambm deve ser. Dizemos que essa uma forma vlida de argumento
porque sempre que todas as suas premissas (todas as sentenas do argumento, a no ser a ltima,
a concluso) so verdadeiras, a concluso tambm deve ser. Agora suponha que ambas Se voc
tem uma senha atualizada, ento voc pode entrar na rede e Voc tem uma senha atualizada
so sentenas verdadeiras. Quando trocamos p por Voc tem uma senha atualizada e q por
Voc pode entrar na rede, segue necessariamente que a concluso Voc pode entrar na rede
verdadeira. Esse argumento vlido porque est na forma vlida. Note que sempre que substituirmos p e q por proposies em que p q e p so verdadeiras, ento q deve ser verdadeira.
O que acontece quando substitumos p e q nessa forma de argumento por proposies tal que
p e p q no so ambas verdadeiras? Por exemplo, suponha que p represente Voc tem acesso
rede e q represente Voc pode mudar suas notas e p seja verdadeira, mas p q seja falsa. O
argumento que obtemos substituindo esses valores de p e q na forma do argumento anterior :
Se voc tem acesso rede, ento voc pode mudar suas notas.
Voc tem acesso rede.
Voc pode mudar suas notas.
O argumento obtido um argumento vlido, mas, como uma das premissas, chamada de primeira premissa, falsa, no podemos decidir se a concluso verdadeira. (Mas parece que essa
concluso falsa.)
Em nossa discusso, para analisar um argumento, substitumos as proposies por variveis
proposicionais. Isso transforma um argumento em uma forma de argumento. Dizemos que a validade de um argumento segue a validade da forma do argumento. Resumimos a terminologia utilizada para discutir a validade de argumentos com nossa definio dessas noes importantes.
DEFINIO 1
Da definio de forma de argumento vlida, vemos que uma forma de argumento com premissas p1, p2, p3, ... , pn e concluso q vlida, quando (p1 p2 ... pn) q uma tautologia.
A chave para mostrar que um argumento na lgica proposicional vlido mostrar que
sua forma de argumento vlida. Conseqentemente, gostaramos de ter tcnicas para mostrar que formas de argumentos so vlidas. Vamos agora desenvolver mtodos para alcanar
esse objetivo.
1-65
EXEMPLO 1 Suponha que a sentena condicional Se nevar hoje, ento eu vou esquiar e sua hiptese Est
nevando hoje so verdadeiras. Ento, por modus ponens, segue que a concluso do condicional
Vou esquiar verdadeira.
Como mencionado anteriormente, um argumento vlido pode nos levar a uma concluso incorreta se uma ou mais de suas premissas so falsas. Ilustramos isso, novamente, no Exemplo 2.
EXEMPLO 2 Determine se o argumento dado aqui vlido e se sua concluso deve ser verdadeira apenas pela
validade do argumento.
2
( 2 ) = 2 > (32 ) = 94 .
2
3
Soluo: Seja p a proposio 2 > 32 e q a proposio 2 > (2 ) . As premissas do argumento so p q e p, e q a concluso. Esse argumento vlido, pois construdo de acordo com
modus ponens, uma forma vlida de argumento. No entanto, uma de suas premissas, 2 > 32 ,
falsa. Conseqentemente, no podemos deduzir que a concluso seja verdadeira. Nesse caso,
notamos que a concluso falsa, pois 2 < 94 .
EXEMPLO 3 Diga qual regra de inferncia a base do seguinte argumento: Est esfriando agora. Portanto,
est esfriando ou chovendo agora.
1-66
Tautologia
Nome
[p (p q)] q
Modus ponens
[q (p q)] p
Modus tollens
[(p q) (q r)] (p r)
Silogismo hipottico
[(p q) p] q
Silogismo disjuntivo
p (p q)
Adio
(p q) p
Simplificao
[(p) (q)] (p q)
Conjuno
[(p q) (p r)] (q r)
Resoluo
pq
q
q
pq
p
pq
qr
pr
pq
p
q
p
pq
pq
p
p
q
pq
pq
p r
qr
Soluo: Seja p a proposio Est esfriando agora e q a proposio Est chovendo agora.
Ento esse argumento da forma
p
pq
Esse um argumento que usa a regra da adio.
EXEMPLO 4 Diga qual regra de inferncia a base do seguinte argumento: Est esfriando e chovendo agora.
Portanto, est esfriando agora.
Soluo: Seja p a proposio Est esfriando agora e q a proposio Est chovendo agora.
Ento, esse argumento da forma
p q
p
Esse um argumento que usa a regra da simplificao.
1-67
EXEMPLO 6 Mostre que as hipteses No est ensolarada esta tarde e est mais frio que ontem, Vamos
nadar se estiver ensolarado, Se no formos nadar, ento vamos fazer um passeio de barco e
Se fizermos um passeio de barco, ento estaremos em casa ao anoitecer nos levam concluso
Estaremos em casa ao anoitecer.
Exemplos
Extras
Soluo: Seja p a proposio Est ensolarada esta tarde, q a proposio Est mais frio que ontem, r a proposio Vamos nadar, s a proposio Vamos fazer um passeio de barco e t a proposio Estaremos em casa ao anoitecer. Ento, as hipteses se tornam p q, r p, r s,
e s t e a concluso simplesmente t.
Construmos um argumento para mostrar que nossas hipteses nos levam concluso como
se segue.
Passo
1. p q
2. p
3. r p
4. r
5. r s
6. s
7. s t
8. t
Razo
Hiptese
Simplificao usando (1)
Hiptese
Modus tollens usando (2) e (3)
Hiptese
Modus ponens usando (4) e (5)
Hiptese
Modus ponens usando (6) e (7)
Note que poderamos ter empregado uma tabela-verdade para mostrar que, sempre que as hipteses so verdadeiras, a concluso tambm ser. No entanto, como estamos trabalhando com
cinco variveis proposicionais (p, q, r, s e t), essa tabela teria 32 linhas.
EXEMPLO 7 Mostre que as hipteses Se voc me mandar um e-mail, ento eu terminarei o programa,
Se voc no me mandar um e-mail, ento vou dormir cedo e Se eu dormir cedo, ento
1-68
Razo
Hiptese
Contrapositiva de (1)
Hiptese
Silogismo hipottico usando (2) e (3)
Hiptese
Silogismo hipottico usando (4) e (5)
Resoluo
Programas de computador tm sido desenvolvidos para automatizar a tarefa de raciocinar e fornecer teoremas. Muitos desses programas fazem uso da regra de inferncia conhecida como resoluo. Essa regra de inferncia baseia-se na tautologia
Links
EXEMPLO 8 Use a resoluo para mostrar que as hipteses Jasmim est esquiando ou no est nevando e
Est nevando ou Jos est jogando futebol implica que Jasmim est esquiando ou Jos est
jogando futebol.
Exemplos
Extras
1-69
p q e p r, cada uma delas sendo uma clusula. Podemos substituir uma sentena da forma
(p q) por duas sentenas p e q porque a lei de De Morgan nos diz que (p q) p
q. Podemos tambm substituir uma sentena condicional p q pela disjuno equivalente p q.
Falcias
Links
1-70
EXEMPLO 12 Mostre que as premissas Todos os alunos da classe de matemtica discreta esto tendo um curso
de cincia da computao e Maria uma estudante dessa classe implica a concluso Maria
est freqentando um curso de cincia da computao.
Tabela 2 Regras de Inferncia para Sentenas Quantificadas.
Regra de Inferncia
xP(x)
P(c)
P(c) para um c arbitrrio
xP(x)
xP(x)
P(c) para algum elemento c
P(c) para algum elemento c
xP(x)
Nome
Instanciao universal
Generalizao universal
Instanciao existencial
Generalizao existencial
1-71
Exemplos
Extras
Soluo: Seja D(x) a sentena x est na classe de matemtica discreta e seja C(x) a sentena x
est freqentando um curso de cincia da computao. Ento, as premissas so x(D(x) C(x))
e D(Maria). E a concluso C(Maria).
Os seguintes passos podem ser utilizados para estabelecer a concluso a partir das premissas.
Passo
1. x(D(x) C(x))
2. D(Maria)C(Maria)
3. D(Maria)
4. C(Maria)
Razo
Premissa
Instanciao Universal de (1)
Premissa
Modus ponens a partir de (2) e (3)
EXEMPLO 13 Mostre que as premissas Um estudante desta classe no tem lido o livro e Todos nesta classe
passaram no primeiro exame implica a concluso Algum passou no primeiro exame sem ter
lido o livro.
Soluo: Sejam C(x) a sentena x est nesta classe, B(x) a sentena x no tem lido o livro e
P(x) a sentena x passou no primeiro exame. As premissas so x(C(x) B(x)) e x(C(x)
P(x)). A concluso x(P(x) B(x)). Estes passos podem ser utilizados para estabelecer a
concluso a partir das premissas.
Passo
Razo
1. x(C(x) B(x))
Premissa
2. C(a) B(a)
Instanciao existencial a partir de (1)
3. C(a)
Simplificao a partir de (2)
4. x(C(x) P(x))
Premissa
5. C(a) P(a)
Instanciao universal a partir de (4)
6. P(a)
Modus ponens a partir (3) e (5)
7. B(a)
Simplificao a partir de (2)
8. P(a) B(a)
Conjuno a partir de (6) e (7)
9. x(P(x) B(x))
Generalizao existencial a partir de (8)
EXEMPLO 14 Assuma que Para todo inteiro positivo n, se n maior que 4, ento n2 menor que 2n verdadeira. Use o modus ponens universal para mostrar que 1002 < 2100.
1-72
Soluo: Seja P(n) a sentena n > 4 e Q(n) a sentena n2 < 2n . A sentena Para todo inteiro positivo n, se n maior que 4, ento n2 menor que 2n pode ser representada por n(P(n)
Q(n)), em que o domnio consiste em todos os inteiros positivos. Estamos assumindo que n(P(n)
Q(n)) verdadeira. Note que P(100) verdadeira, pois 100 > 4. Ento segue por modus ponens universal que Q(n) verdadeira, explicitamente 1002 < 2100.
Outra combinao muito utilizada de regra de inferncia para lgica com uma regra de inferncia para sentenas quantificadas o modus tollens universal. Modus tollens universal combina a instanciao universal e o modus tollens e pode ser expresso por:
x(P(x) Q(x))
Q(a), em que a um elemento particular no domnio
P(a)
Deixamos a verificao do modus tollens universal para o leitor (veja o Exerccio 25). O
Exerccio 26 desenvolve combinaes adicionais de regras de inferncia na lgica proposicional
e sentenas quantificadas.
Exerccios
1. Encontre a forma de argumento para o argumento dado e
determine se vlido. Podemos inferir que a concluso
verdadeira se as premissas forem verdadeiras?
Se Scrates humano, ento Scrates mortal.
Scrates humano.
Scrates mortal.
2. Encontre a forma de argumento para o argumento dado e
determine se vlido. Podemos inferir que a concluso
verdadeira se as premissas forem verdadeiras?
Se George no tem oito patas, ento ele no um
inseto.
George um inseto.
1-73
programas em Java conseguem um emprego bem remunerado. Por isso, algum nesta sala pode conseguir
um emprego bem remunerado.
b) Algum nesta sala gosta de ver baleias. Toda pessoa
que gosta de ver baleias se preocupa com a poluio
no mar. Por isso, h uma pessoa na sala que se preocupa
com a poluio marinha.
c) Cada um dos 93 estudantes nesta classe possuem seu
prprio computador. Todos que possuem seu prprio
computador podem usar um programa de processamento de palavras. Por isso, Zeke, um estudante da
sala, pode usar um programa de processamento.
d) Todos em Nova Jersey vivem a 50 milhas do oceano.
Algum que mora em Nova Jersey nunca viu o oceano. Por isso, algum que mora a 50 milhas do oceano
nunca o viu.
14. Para cada argumento abaixo, aponte quais regras de
inferncia foram utilizadas em cada passo.
a) Linda, uma estudante desta sala, tem um conversvel
vermelho. Todo mundo que tem um conversvel vermelho tem pelo menos uma multa por excesso de velocidade. Por isso, algum nesta sala tem uma multa por
excesso de velocidade.
b) Cada um dos cinco colegas de quarto, Melissa, Aaron,
Ralph, Veneesha e Keeshawn, freqentou um curso de
matemtica discreta. Todo estudante que freqentou um
curso de matemtica discreta pode freqentar um curso de
algoritmo. Por isso, todos os cinco colegas de quarto podem freqentar um curso de algoritmo no prximo ano.
c) Todos os filmes produzidos por John Sayles so
maravilhosos. John Sayles produziu um filme sobre
mineiros de carvo mineral. Por isso, h um filme
maravilhoso sobre mineiros de carvo.
d) H algum nesta sala que foi Frana. Todos que vo
Frana visitam o Louvre. Por isso, algum nesta sala
visitou o Louvre.
15. Determine se cada um dos argumentos abaixo correto ou
incorreto e explique o porqu.
a) Todos os estudantes nesta sala entendem lgica.
Xavier um estudante desta sala. Por isso, Xavier
entende lgica.
b) Todo graduando em cincia da computao faz
matemtica discreta. Natasha est fazendo matemtica
discreta. Por isso, Natasha uma graduanda em cincia
da computao.
c) Todos os papagaios gostam de frutas. Meu passarinho
de estimao no um papagaio. Por isso, meu
passarinho de estimao no gosta de frutas.
d) Todos que comem granola todo dia so saudveis.
Linda no saudvel. Por isso, Linda no come granola
todos os dias.
16. Determine se cada um dos argumentos abaixo correto ou
incorreto e explique o porqu.
a) Todos que so matriculados na universidade moram
em um dormitrio. Mia nunca morou em um dormitrio.
Por isso, Mia no est matriculada na universidade.
b) Um carro conversvel bom de dirigir. O carro de
Isaac no um conversvel. Por isso, o carro de Isaac
no bom de dirigir.
1-74
1-75
1.6Introduo a Demonstraes
Introduo
Nesta seo, introduziremos a noo de demonstrao e descreveremos mtodos para a construo de
demonstraes. Uma demonstrao um argumento vlido que estabelece a verdade de uma sentena
matemtica. Uma demonstrao pode usar as hipteses do teorema, se existirem, axiomas assumidos
com verdade e teoremas demonstrados anteriormente. Usando esses ingredientes e regras de inferncia, o passo final da demonstrao estabelece a verdade da sentena que est sendo demonstrada.
Em nossa discusso, vamos nos mover de demonstraes formais de teoremas at demonstraes mais informais. Os argumentos que introduzimos na Seo 1.5 para demonstrar que sentenas que envolvem proposies e sentenas quantificadas so verdadeiras sob demonstraes
formais, se todos os passos so dados, e as regras para cada passo do argumento so tambm
dadas. No entanto, demonstraes formais de teoremas muito comuns podem ser extremamente
longas e difceis de fazer. Na prtica, as demonstraes dos teoremas feitas por humanos so na
sua maioria demonstraes informais, em que mais de uma regra de inferncia pode ser utilizada em cada passo, passos podem ser pulados, axiomas so assumidos e as regras de inferncia
utilizadas em cada passo no so explicitamente demonstradas. Demonstraes informais podem
explicar aos humanos por que teoremas so verdadeiros, enquanto computadores s se contentam
quando produzem uma demonstrao formal usando sistemas de raciocnio automtico.
Os mtodos de demonstraes discutidos neste captulo so importantes no s porque so utilizados para demonstrar teoremas, mas tambm pelas muitas aplicaes em cincia da computao.
Essas aplicaes incluem verificar se programas de computador so corretos, estabelecendo se sistemas de operao so seguros, fazendo inferncia em inteligncia artificial, mostrando que sistemas de
especificaes so consistentes, e assim por diante. Conseqentemente, compreender as tcnicas utilizadas em demonstraes essencial tanto para matemtica quanto para cincia da computao.
Alguma Terminologia
Links
Formalmente, um teorema uma sentena que se pode demonstrar que verdadeira. Em escrita
matemtica, o termo teorema usualmente reservado para as sentenas que so consideradas com
alguma importncia. Teoremas menos importantes so comumente chamados de proposies. (Teoremas podem ser tambm referidos como fatos ou resultados.) Um teorema pode ser uma quantificao universal de uma sentena condicional com uma ou mais premissas e uma concluso. No
entanto, pode ser outro tipo de sentena lgica, como os exemplos vo mostrar, mais tarde, neste
captulo. Ns demonstramos que um teorema verdadeiro com uma demonstrao. Uma demonstrao um argumento vlido que estabelece a verdade de um teorema. As sentenas utilizadas na
demonstrao podem incluir axiomas (ou postulados), os quais so sentenas que assumimos ser
verdadeiras (por exemplo, veja Apndice 1 com axiomas para os nmeros reais), as premissas do
teorema, se existirem, e teoremas previamente provados. Axiomas podem ser descritos usando
termos primitivos que no requerem definio, mas todos os outros termos utilizados em teoremas
e suas demonstraes devem ser definidos. Regras de inferncia, juntamente com as definies dos
termos, so utilizadas para chegar a concluses a partir de outras afirmaes, unindo os passos da
demonstrao. Na prtica, o passo final de uma demonstrao usualmente a concluso do teorema.
No entanto, para esclarecer, vamos freqentemente retomar a sentena do teorema como o passo
final de uma demonstrao.
Um teorema menos importante que nos ajuda em uma demonstrao de outros resultados chamado de lema (plural lemas ou lemata). Demonstraes complicadas so usualmente mais fceis de
entender quando elas so demonstradas utilizando-se uma srie de lemas, em que cada lema demonstrado individualmente. Um corolrio um teorema que pode ser estabelecido diretamente de um
teorema que j foi demonstrado. Uma conjectura uma sentena que inicialmente proposta como
verdadeira, usualmente com base em alguma evidncia parcial, um argumento heurstico ou a intuio
de um perito. Quando uma demonstrao de uma conjectura achada, a conjectura se torna um teorema. Muitas vezes so verificadas que conjecturas so falsas, portanto elas no so teoremas.
1-76
Antes de introduzir mtodos para demonstrar teoremas, precisamos entender como teoremas
matemticos so expostos. Muitos teoremas dizem que essa propriedade assegurada para todos
os elementos em um domnio, como os inteiros ou os nmeros reais. Embora as sentenas precisas desses teoremas necessitem da incluso de um quantificador universal, a conveno em matemtica omiti-la. Por exemplo, a sentena
Se x > y, em que x e y so nmeros reais positivos, ento x2 > y2.
significa que
Para todos os nmeros reais positivos x e y, se x > y, ento x2 > y2.
Entretanto, quando teoremas desse tipo so demonstrados, a propriedade da instanciao universal freqentemente usada sem ser explicitamente mencionada. O primeiro passo da demonstrao usualmente envolve selecionar um elemento geral do domnio. Os passos subseqentes
mostram que esse elemento tem a propriedade em questo. Finalmente, a generalizao universal
implica que o teorema vlido para todos os membros do domnio.
Vamos agora mudar nossa ateno para demonstrao de teoremas matemticos. Demonstrar teoremas pode ser difcil. Vamos precisar de toda a munio que tivermos para nos ajudar a demonstrar resultados diferentes. Vamos, ento, introduzir uma bateria de mtodos de demonstraes
diferentes. Esses mtodos podem se tornar parte de nosso repertrio para demonstrar teoremas.
Para demonstrar um teorema da forma x(P(x) Q(x)), nosso objetivo mostrar que
P(c) Q(c) verdadeira, em que c um elemento arbitrrio do domnio, e ento aplicar a generalizao universal. Nesta demonstrao, precisamos mostrar que uma sentena condicional
verdadeira. Por isso, focalizaremos mtodos que demonstram que condicionais so verdadeiras.
Lembre-se de que p q verdadeira, a menos que p seja verdadeira e q seja falsa. Note que para
a sentena p q ser demonstrada, necessrio apenas mostrar que q verdadeira se p verdadeira. A seguinte discusso nos dar as tcnicas mais comuns para demonstrar sentenas condicionais. Mais tarde vamos discutir mtodos para demonstrar outros tipos de sentenas. Nesta
seo e na Seo 1.7, vamos desenvolver um arsenal de muitas tcnicas diferentes de demonstrao, que podem ser usadas para demonstrar uma grande variedade de teoremas.
Quando voc ler demonstraes, encontrar freqentemente as palavras obviamente ou
claramente. Essas palavras indicam que passos foram omitidos e que o autor espera que o leitor
seja capaz de faz-los. Infelizmente, assumir isso nem sempre interessante, pois os leitores no
so todos capazes de fazer os passos nesses buracos das demonstraes. Vamos assiduamente
tentar no usar essas palavras e no omitir muitos passos. No entanto, se concluirmos todos os
passos em demonstraes, nossas demonstraes sero com freqncia exaustivamente longas.
Demonstraes Diretas
Uma demonstrao direta de uma sentena condicional p q construda quando o primeiro
passo assumir que p verdadeira; os passos subseqentes so construdos utilizando-se regras
de inferncia, com o passo final mostrando que q deve ser tambm verdadeira. Uma demonstrao direta mostra que uma sentena condicional p q verdadeira mostrando que p verdadeira, ento q deve ser verdadeira, de modo que a combinao p verdadeira e q falsa nunca ocorre.
Em uma demonstrao direta, assumimos que p verdadeira e usamos axiomas, definies e teoremas previamente comprovados, junto com as regras de inferncia, para mostrar que q deve ser
tambm verdadeira. Voc ver que demonstraes diretas de muitos resultados so construdas de
1-77
maneira direta, com uma seqncia bvia de passos que levam da hiptese concluso. No entanto, demonstraes diretas algumas vezes requerem insights particulares e podem ser bastante
astuciosas. As primeiras demonstraes diretas que vamos apresentar aqui so bastante bvias;
mais tarde veremos algumas menos bvias.
Vamos dar muitos exemplos de demonstraes diretas. Mas, antes de darmos o primeiro
exemplo, precisamos de uma definio.
DEFINIO 1
O inteiro n par se existe um inteiro k tal que n = 2k, e n mpar se existe um inteiro k tal que
n = 2k + 1. (Note que um inteiro sempre par ou mpar e nenhum inteiro par e mpar.)
EXEMPLO 1 D uma demonstrao direta do teorema Se n um nmero inteiro mpar, ento n2 mpar.
Exemplos
Extras
Soluo: Note que este teorema diz nP((n) Q(n)), em que P(n) n um inteiro mpar e
Q(n) n2 mpar. Como dissemos, vamos seguir a conveno matemtica usual para demonstraes, mostrando que P(n) implica Q(n), e no usando explicitamente instanciao universal.
Para comear uma demonstrao direta desse teorema, vamos assumir que a hiptese dessa sentena condicional verdadeira, ou seja, assumimos que n mpar. Pela definio de nmero mpar,
temos que n = 2k + 1, em que k algum inteiro. Queremos demonstrar que n2 tambm mpar.
Podemos elevar ao quadrado ambos os membros da equao n = 2k + 1 para obter uma nova
equao que expresse n2. Quando fizermos isso, teremos n2= (2k + 1)2= 4k2 + 4k + 1 =
2(2k2 + 2k) + 1. Pela definio de inteiro mpar, conclumos que n2 mpar (ele um a mais que
o dobro de um inteiro). Conseqentemente, provamos que se n um nmero inteiro mpar, ento
n2 mpar.
EXEMPLO 2 D uma demonstrao direta de que se m e n so ambos quadrados perfeitos, ento nm tambm um quadrado perfeito. (Um inteiro a um quadrado perfeito se existe um inteiro b
tal que a = b2.)
Soluo: Para produzir uma demonstrao direta desse teorema, assumimos que a hiptese dessa
condicional verdadeira, ou seja, assumimos que m e n so ambos quadrados perfeitos. Pela
definio de quadrado perfeito, segue-se que existem inteiros s e t tal que m = s2 e n = t2. O objetivo da demonstrao mostrar que mn tambm deve ser um quadrado perfeito quando m e n o
so; olhando adiante, vemos como podemos mostrar isto apenas multiplicando as duas equaes
m = s2 e n = t2. Isso mostra que mn = s2t2, o que implica que mn = (st)2 (usando comutatividade
e associatividade da multiplicao). Pela definio de quadrado perfeito, segue que mn tambm
um quadrado perfeito, pois o quadrado de st, o qual tambm um inteiro. Demonstramos que
se m e n so ambos quadrados perfeitos, ento mn tambm um quadrado perfeito.
1-78
Soluo:Primeiro vamos olhar para uma demonstrao direta. Para construir uma demonstrao
direta, devemos assumir que 3n + 2 um nmero mpar. Isso significa que 3n + 2 = 2k + 1 para
algum inteiro k. Podemos usar esse fato para mostrar que n mpar? Vemos que 3n + 1 = 2k, mas
no parece ter algum meio direto para concluir que n mpar. Como nossa tentativa com demonstrao direta falhou, vamos tentar uma demonstrao por contraposio.
O primeiro passo em uma demonstrao por contraposio assumir que a concluso da sentena
condicional Se 3n + 2 mpar, ento n mpar falsa; assumimos que n par. Ento, pela definio
de nmero par, n = 2k para algum inteiro k. Substituindo 2k em n, chegamos a 3n + 2 = 3(2k) + 2 =
6k + 2 = 2(3k + 1). Isso nos diz que 3n + 2 par (pois um mltiplo de 2), e logo no mpar. Isso
a negao da hiptese do teorema. Como a negao da concluso da sentena condicional implica
que a hiptese falsa, a sentena original verdadeira. Nossa demonstrao por contraposio foi
bem-sucedida; demonstramos que se n um inteiro e 3n + 2 mpar, ento n mpar.
EXEMPLO 5 Mostre que a proposio P(0) verdadeira, em que P(n) Se n > 1, ento n2 > n e o domnio
consiste todos os inteiros.
Soluo: Note que P(0) Se 0 > 1, ento 02 > 0. Podemos mostrar P(0) utilizando-se uma
demonstrao por vacuidade, pois a hiptese 0 > 1 falsa. Isso nos diz que P(0) automaticamente verdadeira.
1-79
Lembre-se: O fato de a concluso desta sentena condicional, 02 > 0, ser falsa irrelevante para
o valor-verdade da sentena condicional, pois uma condicional com uma hiptese falsa diretamente verdadeira.
Podemos tambm demonstrar rapidamente que a condicional p q verdadeira se sabemos que
a concluso q verdadeira. Mostrar que q verdadeira faz com que p q deva ser tambm verdadeira. Uma demonstrao de p q que usa o fato de que q verdadeira chamada de demonstrao
por trivializao. Demonstraes por trivializao so freqentemente usadas e de grande importncia quando demonstramos casos especiais de teoremas (veja a discusso de demonstraes por casos
na Seo 1.7) e em induo matemtica, que uma tcnica de demonstrao discutida na Seo 4.1.
EXEMPLO 6 Seja P(n) a proposio Se a e b so inteiros positivos com a b, ento an bn, em que o domnio consiste em todos os inteiros. Mostre que P(0) verdadeira.
Soluo: A proposio P(0) Se a b, ento a0 b0. Como a0 = b0 = 1, a concluso da condicional Se a b, ento a0 b0 verdadeira. Portanto, a sentena condicional, que P(0),
verdadeira. Este um exemplo de demonstrao por trivializao. Note que a hiptese, a sentena a b, no foi necessria nesta demonstrao.
UM POUCO DE ESTRATGIA DE DEMONSTRAO Descrevemos dois importantes mtodos para provar teoremas da forma x(P(x) Q(x)): demonstrao direta e demonstrao por
contraposio. Tambm demos exemplos que mostram como cada uma usada. No entanto, quando voc recebe um teorema da forma x(P(x) Q(x)), que mtodo voc deve tentar usar para
demonstrar? Vamos prover algumas regras rpidas aqui; na Seo 1.7 vamos discutir estratgias de
demonstrao com mais detalhes. Quando queremos demonstrar uma sentena da forma x(P(x)
Q(x)), primeiro devemos avaliar o que parece ser uma demonstrao direta para esta sentena.
Comece expandindo as definies da hiptese. V raciocinando sobre essas hipteses, juntamente
com os axiomas e os teoremas demonstrados. Se uma demonstrao direta no aparecer em nenhuma situao, tente a mesma coisa com a contraposio. Lembre-se de que em uma demonstrao
por contraposio voc assume que a concluso falsa e usa uma demonstrao direta para mostrar
que a hiptese deve ser falsa. Vamos ilustrar essa estratgia nos exemplos 7 e 8. Antes de apresentar
nossos prximos exemplos, precisamos de uma definio.
DEFINIO 2
O nmero real r racional se existem inteiros p e q com q 0, tal que r = p/q. Um nmero
real que no racional chamado de irracional.
EXEMPLO 7 Demonstre que a soma de dois nmeros racionais um racional. (Note que se incluirmos o quantificador implcito aqui, o teorema que queremos demonstrar Para todo nmero real r e todo
real s, se r e s so nmeros racionais, ento r + s racional.)
Exemplos
Extras
Soluo:Primeiro tentemos uma demonstrao direta. Para comear, suponha que r e s so racionais. Da definio de nmeros racionais, segue que existem inteiros p e q, com q 0, tal que
r = p/q, e inteiros t e u, com u 0, tal que s = t/u. Podemos usar essas informaes para mostrar
que r + s racional? O prximo passo adicionar r = p/q e s = t/u, para obter
r+s=
p
pu + qt
t
+ =
.
q
u
qu
1-80
EXEMPLO 9 Demonstre que ao menos 4 de 22 dias escolhidos devem cair no mesmo dia da semana.
Exemplos
Extras
Soluo: Seja p a proposio Ao menos 4 dos 22 dias escolhidos caem no mesmo dia da semana.
Suponha que p verdadeira. Isso significa que no mximo 3 dos 22 dias caem no mesmo dia da
semana. Como existem 7 dias na semana, isso implica que no mximo 21 dias podem ser escolhidos, pois, para cada dia da semana, podem ser escolhidos no mximo 3 dias que coincidem no
mesmo dia da semana. Isso contradiz a hiptese que afirmava ter 22 dias considerados. Assim, se r
a sentena que diz que 22 dias foram escolhidos, ento temos mostrado que p (r r).
Conseqentemente, sabemos que p verdadeira. Demonstramos que ao menos 4 de 22 dias escolhidos devem cair no mesmo dia da semana.
EXEMPLO 10 Demonstre que 2 irracional por meio de uma demonstrao por contradio.
Soluo: Seja p a proposio 2 irracional. Para comear uma demonstrao por contradio,
supomos que p verdadeira. Note que p a sentena No o caso que 2 irracional, o que
diz que 2 racional. Vamos demonstrar que, assumindo que p verdadeira, chegaremos a uma
contradio.
Se 2 racional, existem inteiros a e b tal que 2 = a/b, em que a e b no tm fator comum
(ento a frao a/b irredutvel). (Aqui, estamos usando o fato de que todo nmero racional pode
ser escrito em uma frao irredutvel.) Como 2 = a/b, quando ambos os membros da equao
so elevados ao quadrado, segue-se que
2 = a2/b2.
1-81
Portanto,
2b2 = a2.
Pela definio de nmero par segue-se que a2 par. Podemos usar o fato de que se a2 par, ento
a par, o qual segue do Exerccio 16. Mas se a par, pela definio de nmero par, a = 2c para
algum inteiro c. Ento,
2b2 = 4c2.
Dividindo ambos os membros dessa equao por 2, temos
b2 = 2c2.
Pela definio de par, isso significa que b2 par. Novamente usando o fato de que se o quadrado de
um inteiro par, ento o inteiro tambm deve ser par, conclumos que b deve ser par tambm.
Agora mostramos que ter assumido p nos levou equao 2 = a/b, em que a e b no tm fator
comum; mas a e b so pares, ou seja, 2 divide ambos os nmero a e b. Note que a sentena 2 = a/b,
em que a e b no tm fator comum, significa em particular que 2 no divide ambos a e b. Como ter
assumido p nos levou contradio de que 2 divide ambos a e b e 2 no divide ambos a e b, p deve
ser falsa. Ou seja, a sentena p, 2 irracional, verdadeira. Provamos que 2 irracional.
Demonstrao por contradio pode ser usada para demonstrar condicionais. Nessas demonstraes, primeiro assumimos a negao da concluso. Ento, usamos as premissas do teorema e a negao da concluso para chegar contradio. (A razo pela qual essas demonstraes so vlidas est
na equivalncia lgica p q e (p q) F. Para ver que essas sentenas so equivalentes, simplesmente porque cada uma falsa em exatamente um caso, quando p verdadeira e q falsa.)
Note que podemos reescrever uma demonstrao por contraposio de uma sentena condicional como uma demonstrao por contradio. Em uma demonstrao de p q por contraposio, assumimos que q verdadeira. E, ento, mostramos que p tambm deve ser verdadeira.
Para reescrever uma demonstrao por contraposio de p q como uma demonstrao por contradio, supomos que ambas p e q so verdadeiras. Ento, usamos os passos de uma demonstrao de q p para mostrar que p verdadeira. Isso nos leva contradio p p,
completando a demonstrao. O Exemplo 11 ilustra como uma demonstrao por contraposio de
uma condicional pode ser reescrita como uma demonstrao por contradio.
Note que podemos tambm demonstrar por contradio que p q verdadeira, assumindo
que p e q so verdadeiras, e mostrando que q deve ser tambm verdadeira. Isso implica que q
e q so ambas verdadeiras, uma contradio. Essa observao nos diz que podemos tornar uma
demonstrao direta em uma demonstrao por contradio.
1-82
DEMONSTRAES DE EQUIVALNCIAS Para demonstrar um teorema que uma sentena bicondicional, ou seja, que da forma p q, mostramos que p q e q p so ambas verdadeiras. A validade desse mtodo baseia-se na tautologia
(p q) [(p q) (q p)].
EXEMPLO 12 Prove o teorema Se n um inteiro positivo, ento n mpar se e somente se n2 for mpar.
Exemplos
Extras
Algumas vezes um teorema determina que muitas proposies so equivalentes. Esses teoremas determinam que as proposies p1, p2, p3, . . . , pn so equivalentes. Isso pode ser escrito por
p1 p2 pn,
que significa que todas as n proposies tm o mesmo valor-verdade e, conseqentemente, que
para todo i e j com 1 i n e 1 j n, pi e pj so equivalentes. Uma maneira de demonstrar essa
equivalncia mutua usar a tautologia
[p1 p2 . . . pn] [(p1 p2) (p2 p3) . . . (pn p1)].
Isso mostra que se as sentenas condicionais p1 p2, p2 p3, . . . , pn p1 podem ser demonstradas como verdadeiras, ento as proposies p1, p2, . . . , pn so todas equivalentes.
Isso muito mais eficiente que demonstrar que pi pj para todo i j com 1 i n e 1
j n.
Quando demonstramos que algumas sentenas so equivalentes, podemos estabelecer uma
cadeia de sentenas condicionais que escolhermos to grande quanto possvel para trabalhar sobre essa cadeia e ir de qualquer uma dessas sentenas para outra. Por exemplo, podemos evidenciar que p1, p2 e p3 so equivalentes mostrando que p1 p3, p3 p2 e p2 p1.
n par.
n 1 mpar.
n2 par.
Soluo:Vamos demonstrar que essas trs sentenas so equivalentes mostrando que as condicionais p1 p2, p2 p3, e p3 p1 so verdadeiras.
Vamos usar uma demonstrao direta para mostrar que p1 p2. Suponha que n par. Ento
n = 2k para algum inteiro k. Conseqentemente, n 1 = 2k 1 = 2(k 1) + 1. Isso significa que
n 1 mpar, pois da forma 2m + 1, em que m o inteiro k 1.
Tambm vamos usar uma demonstrao direta para mostrar que p2 p3. Agora, suponha
que n 1 mpar. Ento n 1 = 2k + 1 para algum inteiro k. Portanto, n = 2k + 2, ento,
n2 = (2k + 2)2 = 4k2 + 8k + 4 = 2(2k2 + 4k + 2). Isso significa que n2 o dobro do inteiro
2k2 + 4k + 2, e, portanto, par.
Para demonstrar p3 p1, usaremos uma demonstrao por contraposio. Ou seja, provamos
que se n no par, ento n2 no par. Isso o mesmo que demonstrar que se n mpar, ento n2
mpar, o que j demonstramos no Exemplo 1. Isso completa a demonstrao.
1-83
CONTRA-EXEMPLOS Na Seo 1.3, dissemos que, para demonstrar que uma sentena da
forma x P(x) falsa, precisamos apenas encontrar um contra-exemplo, que um exemplo de x
para o qual P(x) falsa. Quando recebemos uma sentena da forma x P(x), a qual acreditamos
ser falsa ou no conseguimos demonstrar por nenhum mtodo, procuramos por contra-exemplos.
Vamos ilustrar o uso de contra-exemplos no Exemplo 14.
EXEMPLO 14 Mostre que a sentena Todo inteiro positivo a soma dos quadrados de dois inteiros falsa.
Exemplos
Extras
Soluo: Para mostrar que a sentena falsa, procuramos um contra-exemplo, que ser um inteiro que no a soma dos quadrados de dois inteiros. Isso no vai demorar muito, pois 3 no pode
ser escrito como a soma dos quadrados de dois inteiros. Para mostrar esse caso, note que os quadrados que no excedem 3 so 02 = 0 e 12 = 1. Mais que isso, no h como obter 3 da soma
desses dois quadrados, com apenas dois termos. Conseqentemente, mostramos que Todo inteiro positivo a soma dos quadrados de dois inteiros falsa.
Erros em Demonstraes
Links
Razo
Dado
Multiplicando ambos os membros de (1) por a.
Subtraindo b2 de ambos os lados de (2)
Fatorando ambos os membros de (3)
Dividindo ambos os lados de (4) por a b
Substituindo a por b em (5), pois a = b, e simplificando
Dividindo ambos os membros de (6) por b
Soluo: Todos os passos so vlidos exceto um, o passo 5, onde dividimos ambos os lados por a b.
O erro est no fato de a b ser zero; dividir ambos os lados de uma equao pela mesma quantidade vlido se essa quantidade no zero.
1-84
EXEMPLO 18 O argumento seguinte est correto? Ele supostamente mostra que n um inteiro par sempre que
n2 um inteiro par.
Suponha que n2 par. Ento n2 = 2k para algum inteiro k. Seja n = 2l para algum inteiro l.
Isso mostra que n par.
Soluo: Este argumento incorreto. A sentena Seja n = 2l para algum inteiro l ocorre na
demonstrao. Nenhum argumento foi dado para demonstrar que n pode ser escrito como 2l para
algum inteiro l. Este um raciocnio circular, pois essa sentena equivalente sentena que est
sendo demonstrada, n par. claro que o resultado est correto; apenas o mtodo de demonstrao est errado.
Cometer erros nas demonstraes faz parte do processo de aprendizado. Quando voc comete um erro que algum encontra, voc deve analisar cuidadosamente onde est errando e garantir
que no cometer mais o mesmo erro. Matemticos profissionais tambm cometem erros em
demonstraes. Algumas demonstraes incorretas de importantes resultados enganaram as pessoas por anos antes de os erros serem encontrados.
S um Comeo
Temos agora desenvolvido um arsenal bsico de mtodos de demonstraes. Na prxima seo,
vamos introduzir outros mtodos de demonstrao importantes. Tambm vamos introduzir muitas
tcnicas importantes de demonstrao no Captulo 4, incluindo induo matemtica ou induo
1-85
matemtica, que pode ser usada para demonstrar resultados que valem para todos os inteiros
positivos. No Captulo 5, vamos introduzir a noo de demonstraes combinatrias.
Nesta seo, introduzimos muitos mtodos para demonstrar teoremas da forma x(P(x)
Q(x)), incluindo demonstraes diretas e demonstraes por contraposio. Existem muitos teoremas desse tipo que tm suas demonstraes facilmente construdas pelo mtodo direto atravs de
hipteses e definies de termos do teorema. No entanto, freqentemente difcil demonstrar um
teorema sem utilizar uma demonstrao por contraposio ou uma demonstrao por contradio,
ou alguma outra tcnica de demonstrao. Na Seo 1.7, vamos direcionar estratgias de demonstraes. Vamos descrever vrias possibilidades que podem ser usadas para encontrar demonstraes
quando o mtodo direto no funciona. Construir demonstraes uma arte que s pode ser aprendida atravs da experincia, incluindo escrever demonstraes, ter uma demonstrao sua criticada
e ler e analisar demonstraes.
Exerccios
1. Use uma demonstrao direta para mostrar que a soma de
dois nmeros inteiros mpares par.
2. Use uma demonstrao direta para mostrar que a soma de
dois nmeros inteiros pares par.
3. Mostre que o quadrado de um nmero par um nmero
par, usando a demonstrao direta.
4. Mostre que o inverso aditivo, ou negativo, de um nmero
par um nmero par, usando a demonstrao direta.
5. Demonstre que se m + n e n + p so nmeros inteiros
pares, em que m, n e p so nmeros inteiros, ento m + p
par. Que tipo de demonstrao voc utilizou?
6. Use uma demonstrao direta para mostrar que o produto
de dois nmeros mpares mpar.
7. Use uma demonstrao direta para mostrar que todo
nmero inteiro mpar a diferena de dois quadrados.
8. Demonstre que se n um quadrado perfeito, ento n + 2
no um quadrado perfeito.
9. Use um demonstrao por contradio para provar que a
soma de um nmero irracional e um racional irracional.
10. Use uma demonstrao direta para mostrar que o produto
de dois nmeros racionais racional.
11. Demonstre ou contrarie que o produto de dois nmeros
irracionais irracional.
12. Demonstre ou contrarie que o produto de um nmero racional diferente de zero e um nmero irracional irracional.
13. Demonstre que se x irracional, ento 1/x irracional.
14. Demonstre que se x racional e x 0, ento 1/x racional.
15. Use uma demonstrao por contraposio para mostrar que se
x + y 2, em que x e y so nmeros reais, ento x 1 ou y 1.
16. Demonstre que se m e n so nmeros inteiros e mn par,
ento m par ou n par.
17. Mostre que se n um nmero inteiro e n3 + 5 mpar,
ento n par, usando:
a) uma demonstrao por contraposio.
b) uma demonstrao por contradio.
18. Demonstre que se n um nmero inteiro e 3n + 2 par,
ento n par, usando:
1-86
Na Seo 1.6 introduzimos uma variedade de mtodos de demonstraes e ilustramos como cada
mtodo pode ser usado. Nesta seo vamos continuar neste esforo. Vamos introduzir muitos
outros importantes mtodos de demonstraes, incluindo demonstraes em que consideramos
diferentes casos separadamente e demonstraes em que comprovamos a existncia de objetos
com determinada propriedade desejada.
Na Seo 1.6 apenas discutimos brevemente a estratgia por trs da construo das demonstraes. Essa estratgia inclui a seleo de um mtodo de demonstraes e ento a construo
com sucesso de um argumento passo a passo, com base nesse mtodo. Nesta seo, depois que
tivermos desenvolvido um grande arsenal de mtodos de demonstrao, vamos estudar alguns
aspectos adicionais da arte e da cincia das demonstraes. Vamos prover avanos em como encontrar demonstraes trabalhando de trs para frente e adaptando demonstraes existentes.
Quando matemticos trabalham, eles formulam conjecturas e tentam comprov-las ou tentam encontrar um contra-exemplo. Vamos brevemente descrever esse processo aqui, comprovando resultados sobre ladrilhar tabuleiros de xadrez com domins ou outros tipos de peas.
Olhando para esse mtodo de ladrilhar, podemos ser capazes de rapidamente formular conjecturas e comprovar teoremas sem que tenhamos desenvolvido uma teoria.
Vamos concluir a seo discutindo o papel das questes abertas. Em particular, vamos discutir alguns problemas interessantes que apenas foram resolvidos depois de permanecerem abertos
por centenas de anos ou porque ainda esto abertos.
1-87
teoremas, considerando diferentes casos separadamente. Esse mtodo baseia-se em uma regra de
inferncia que vamos introduzir agora. Para comprovar uma sentena condicional da forma
(p1 p2 pn) q
a tautologia
[(p1 p2 pn) q] [(p1 q) (p2 q) (pn q)]
pode ser usada como regra de inferncia. Isso mostra que o condicional original com a hiptese
formada por uma disjuno das proposies p1, p2, . . . , pn pode ser comprovada verificando-se
cada uma das n condicionais pi q, i = 1, 2, . . . , n, individualmente. Esse argumento chamado de demonstrao por casos. Algumas vezes para comprovar que uma sentena condicional p
q verdadeira, conveniente usar a disjuno p1 p2 pn em vez de p como hiptese
da sentena condicional, em que p e p1 p2 pn so equivalentes.
DEMONSTRAO POR EXAUSTO Alguns teoremas podem ser comprovados examinando-se
um nmero relativamente pequeno de exemplos. Essas demonstraes so chamadas de demonstraes por exausto, pois procedem pela exausto de todas as possibilidades. Uma demonstrao por
exausto um tipo especial de demonstrao por casos em que cada caso envolve apenas a demonstrao de um simples exemplo. Vamos ver algumas ilustraes de demonstraes por exausto.
Exemplos
Extras
Soluo: Vamos usar a demonstrao por exausto. Apenas precisamos verificar que a inequao
(n + 1)2 3n verdadeira quando n = 1, 2, 3 e 4. Para n = 1, temos (n + 1)2 = 22 = 4 e 3n = 31
= 3; para n = 2, temos (n + 1)2 = 32 = 9 e 3n = 32 = 9; para n = 3, temos (n + 1)3 = 43 = 64 e
3n = 33 = 27; e para n = 4, temos (n + 1)3 = 53 = 125 e 3n = 34 = 81. Em cada um dos quatro
casos, vemos que (n + 1)2 3n. Usamos o mtodo de demonstrao por exausto para demonstrar
que (n + 1)2 3n se n um nmero inteiro positivo com n 4.
EXEMPLO 2 Demonstre que os nicos inteiros positivos consecutivos no excedendo 100 que so potncias
perfeitas so 8 e 9. (Um inteiro uma potncia perfeita se for igual a na, em que a um inteiro
maior que 1.)
Soluo: Podemos demonstrar esse fato mostrando que o nico par n, n + 1 de inteiros positivos
consecutivos que so potncias perfeitas com n < 100 ocorre quando n = 8. Podemos demonstrar
esse fato examinando os nmeros inteiros positivos n no excedendo 100; primeiro verificamos
quando n uma potncia perfeita e, se for, verificamos se n + 1 tambm o . O mtodo mais rpido para fazer isto simplesmente olhar para todas as potncias perfeitas no excedendo 100.
Os quadrados que no excedem 100 so 1, 4, 9, 16, 25, 36, 49, 64, 81 e 100. Os cubos que no
excedem 100 so 1, 8, 27 e 64. As quartas potncias que no excedem 100 so 1, 16 e 81. As
quintas potncias que no excedem 100 so 1 e 32. As sextas potncias de nmeros inteiros que
no excedem 100 so 1 e 64. No existem outras potncias maiores que as sextas que excedam
100, exceto o nmero 1. Olhando para essa lista de potncias, vemos que n = 8 a nica potncia
perfeita para a qual n + 1 tambm uma potncia perfeita. Ou seja, 23 = 8 e 32 = 9 so as nicas
duas potncias perfeitas consecutivas que no excedem 100.
1-88
DEMONSTRAES POR CASOS Uma demonstrao por casos deve cobrir todos as possibilidades que aparecem no teorema. Ilustramos demonstraes por casos com alguns exemplos.
Em cada exemplo, voc deve verificar que so cobertos todos os casos possveis.
Exemplos
Extras
Caso (i). Quando n = 0, como 02 = 0, vemos que 02 0. Disso segue que n2 n verdadeira nesse caso.
Caso (ii). Quando n 1, quando multiplicamos ambos os membros da inequao n 1 pelo
nmero inteiro positivo n, obtemos n n n 1. Isso implica que n2 n para n 1.
Caso (iii). Nesse caso, n 1. No entanto, n2 0. Disso segue que n2 n.
Como a inequao n2 n verdadeira para os trs casos, podemos concluir que se n um inteiro,
ento n2 n.
EXEMPLO 4 Use uma demonstrao por casos para mostrar que |xy| = |x||y|, em que x e y so nmeros reais.
(Lembre-se de que |a|, o valor absoluto de a, igual a a quando a 0 e igual a a quando a 0.)
Soluo: Em nossa demonstrao desse teorema, vamos remover os valores absolutos usando o
fato de que |a| = a quando a 0 e |a| = a quando a < 0. Como ambos |x| e |y| ocorrem em nossa
frmula, vamos precisar de quatro casos: (i) x e y ambos no negativos, (ii) x no negativo e y
negativo, (iii) x negativo e y no negativo e (iv) x negativo e y negativo.
(Note que podemos remover o valor absoluto, fazendo a escolha apropriada dos sinais em
cada caso.)
Caso (i). Vemos que p1 q, pois xy 0 quando x 0 e y 0, ento |xy| = xy = |x||y|.
Caso (ii). Para ver que p2 q, note que se x 0 e y < 0, ento xy 0, logo |xy| = xy = x(y)
= |x||y|. (Aqui, como y < 0, temos |y| = y.)
Caso (iii). Para ver que p3 q, seguimos o mesmo raciocnio como no caso anterior com os
papis de x e y invertidos.
Caso (iv). Para ver que p4 q, note que quando x < 0 e y < 0, da segue que xy > 0. Logo,
|xy| = xy = (x)(y) = |x||y|.
Como completamos os quatro casos e esses casos so todas as possibilidades, podemos concluir
que |xy| = |x||y|, sempre que x e y so nmeros reais.
ALAVANCANDO DEMONSTRAES POR CASOS Os exemplos que apresentamos para ilustrar demonstraes por casos proveram algum insight sobre quando usar esse mtodo de demonstrao. Em particular, quando no possvel tratar todos os casos ao mesmo tempo, uma demonstrao
por casos deve ser considerada. Mas quando usar essa demonstrao? Geralmente, tentar uma demonstrao por casos quando no existe um meio bvio de comear a demonstrao, mas tambm
quando informaes extras de cada caso podem ser usadas para seguir a demonstrao. O Exemplo 5
ilustra como o mtodo de demonstraes por casos pode ser usado efetivamente.
EXEMPLO 5 Formule uma conjectura sobre os dgitos decimais que ocorrem como algarismo das unidades nos
quadrados de um nmero inteiro e demonstre seu resultado.
Soluo: Os menores quadrados perfeitos so 1, 4, 9, 16, 25, 36, 49, 64, 81, 100, 121, 144, 169,
196, 225, e assim por diante. Notamos que os dgitos que ocorrem com algarismos das unidades
dos quadrados so 0, 1, 4, 5, 6 e 9, com 2, 3, 7 e 8 no aparecendo como o ltimo dgito dos qua-
1-89
s vezes, podemos eliminar alguns dos casos, restando poucos exemplos, como o Exemplo 6 ilustra.
1-90
EXEMPLO 7 M
ostre que (x + y)r < xr + yr quaisquer que sejam x e y reais positivos e r um nmero real com
0 < r < 1.
Soluo: Sem perda de generalidade, podemos assumir que x + y = 1. [Para ver isso, suponha
que tenhamos demonstrado o teorema, assumindo que x + y = 1. Suponha que x + y = t. Ento
(x/t) + (y/t) = 1, o que implica que ((x/t) + (y/t))r < (x/t)r + (y/t)r. Multiplicando-se ambos os
lados dessa ltima equao por tr, mostramos que (x + y)r < xr + yr .]
Assumindo que x + y = 1, como x e y so positivos, temos 0 < x < 1 e 0 < y < 1. Como
0 < r < 1, segue que 0 < 1 r < 1, portanto x1r < 1 e y1r < 1. Isso significa que x < xr e y < yr.
Conseqentemente, xr + yr > x + y = 1. Isso significa que (x + y)r = 1r < xr + yr. Isso demonstra o teorema para x + y = 1.
Como assumimos x + y = 1 sem perda de generalidade, sabemos que (x + y)r < xr + yr
quaisquer que sejam x e y reais positivos e r um nmero real com 0 < r < 1.
EXEMPLO 8 verdade que todo nmero inteiro positivo a soma de 18 quartas potncias de inteiros?
Soluo: Para determinar quando n pode ser escrito como a soma de 18 quartas potncias de inteiros, devemos comear examinando quando n a soma de 18 quartas potncias de inteiros para
o menor inteiro positivo. Como as quatro primeiras quartas potncias so 0, 1, 16, 81, . . . , se
pudermos selecionar 18 termos desses que adicionados resultam n, ento n a soma de 18 quartas
potncias. Podemos mostrar que todos os nmeros inteiros positivos at o 78 podem ser escritos
como a soma de 18 quartas potncias. (Os detalhes so deixados para o leitor.) No entanto, se
decidirmos que j o bastante, podemos chegar a uma concluso errada. Pois no verdade que
todo inteiro positivo pode ser escrito como a soma de 18 quartas potncias de inteiros, uma vez
que 79 no pode ser escrito como essa soma (como o leitor pode verificar).
Outro erro comum envolve fazer afirmaes no garantidas que levam a demonstraes por
casos incorretas em que nem todos os casos so considerados. Isso ilustrado no Exemplo 9.
1-91
Demonstraes de Existncia
Muitos teoremas so afirmaes de que determinados objetos de certo tipo existem. Um teorema
desse tipo uma proposio da forma x P(x), em que P um predicado. Uma demonstrao de
uma proposio da forma x P(x) chamada de demonstrao de existncia. Existem muitos
meios de demonstrar um teorema desse tipo. s vezes, uma demonstrao de existncia de x
P(x) pode ser dada encontrando-se um elemento a tal que P(a) verdadeira. Essas demonstraes de existncia so chamadas de construtivas. Tambm possvel dar uma demonstrao de
existncia que seja no construtiva; ou seja, no encontramos um elemento a tal que P(a)
verdadeira, mas podemos provar que x P(x) verdadeira de alguma outra maneira. Um mtodo
comum de fornecer uma demonstrao de existncia no construtiva usar a demonstrao por
contradio e mostrar que a negao da quantificao existencial implica uma contradio. O
conceito de demonstrao construtiva de existncia ilustrado no Exemplo 10 e o conceito de
no construtiva, no Exemplo 11.
EXEMPLO 10 Demonstrao de Existncia Construtiva Mostre que existe um inteiro positivo que pode ser
escrito como a soma de cubos de duas maneiras diferentes.
Exemplos
Extras
Soluo: Depois de considervel trabalho (tal como uma procura computacional), encontramos
1.729 = 103 + 93 = 123 + 13.
Como mostramos um inteiro positivo que pode ser escrito como a soma de cubos de dois modos
diferentes, est feito.
( 2 2)
ey= 2,
logo xy = ( 2 ) 2 = 2
= 2 = 2.
Esta demonstrao um exemplo de demonstrao de existncia no construtiva, pois no
encontramos nmeros irracionais x e y, tal que xy racional. No entanto, mostramos que ou o par
x = 2 , y = 2 ou o par x = 2 2 , y = 2 tem a propriedade desejada, mas no mostramos
para qual dos dois pares isso funciona!
EXEMPLO 12 Chomp um jogo para dois jogadores. Nesse jogo, biscoitos so dispostos em uma grade retangular. O biscoito na ponta esquerda envenenado, como mostra a Figura 1(a). Os dois jogadores
fazem movimentos alternadamente, um tem de comer um biscoito restante, junto com todos os
Links
biscoitos direita e/ou abaixo deste (veja a Figura 1(b), por exemplo). O perdedor o jogador
que no tiver escolha e tiver de comer o biscoito envenenado. Perguntamos se um dos dois jogadores pode ter uma estratgia vencedora. Ou seja, pode um jogador sempre fazer movimentos
que garantam a ele a vitria?
Soluo: Vamos dar uma demonstrao de existncia no construtiva de uma estratgia vencedora para o primeiro jogador. Ou seja, vamos mostrar que o primeiro jogador tem uma estratgia
vencedora sem descrev-la explicitamente.
Primeiro, note que o jogo tem um fim e no pode terminar empatado porque, com cada movimento, ao menos um biscoito comido; portanto, depois de m n, o jogo chega ao fim, em
1-92
Figura 1 (a) Chomp, o Biscoito na Ponta Superior Esquerda Envenenado (b) Trs Movimentos Possveis
que a grade original m n. Agora, suponha que o primeiro jogador comece o jogo comendo
exatamente o biscoito no canto direito inferior. Existem duas possibilidades, esse o primeiro
movimento de uma estratgia vencedora para o primeiro jogador ou o segundo jogador pode
fazer uma jogada que seja o primeiro movimento de uma estratgia vencedora para o segundo
jogador. Nesse segundo caso, em vez de comer o biscoito no canto inferior direito, o primeiro
jogador poderia ter feito o mesmo movimento que o segundo jogador fez como seu primeiro
movimento de uma estratgia vencedora (e ento continuar seguindo aquela estratgia vencedora). Isso garantiria uma vitria para o primeiro jogador.
Note que mostramos que uma estratgia vencedora existe, mas no especificamos uma tal
estratgia. Conseqentemente, a demonstrao no construtiva. De fato, ningum foi capaz de
descrever uma estratgia vencedora para o Chomp que se aplique para todas as grades retangulares, e descreva os movimentos que o primeiro jogador deve seguir. No entanto, estratgias vencedoras podem ser descritas para determinados casos especiais, como quando a grade quadrada
e quando tem apenas duas linhas de biscoitos (veja os exerccios 15 e 16 na Seo 4.2).
Demonstraes de Unicidade
Alguns teoremas afirmam a existncia de um nico elemento com uma determinada propriedade.
Em outras palavras, esses teoremas afirmam que existe exatamente um elemento com essa propriedade. Para demonstrar uma sentena desse tipo, precisamos mostrar que um elemento com
essa propriedade existe e que nenhum outro elemento tem essa propriedade. As duas partes de
uma demonstrao de unicidade so:
Existncia: Mostramos que um elemento x com a propriedade desejada existe.
Unicidade: Mostramos que se y x, ento y no tem a propriedade desejada.
Equivalentemente, podemos mostrar que se x e y tm ambos essa propriedade, ento x = y.
Observao: Mostrar que existe um nico elemento x, tal que P(x) o mesmo que demonstrar a
sentena x(P(x) y(y x P(y))).
Vamos ilustrar os elementos de uma demonstrao de unicidade no Exemplo 13.
1-93
93
EXEMPLO 13 Mostre que se a e b so nmeros reais e a 0, ento existe um nico nmero real r, tal que ar +
b = 0.
Exemplos
Extras
Soluo: Primeiro, note que o nmero real r = b/a uma soluo para ar + b = 0, pois a (b/a)
+ b = b + b = 0. Conseqentemente, um nmero real r existe para o qual ar + b = 0. Esta a
parte de existncia da demonstrao.
Segundo, suponha que s um nmero real, tal que as + b = 0. Ento, ar + b = as + b, em
que r = b/a. Subtraindo b de ambos os lados, encontramos ar = as. Dividindo ambos os lados
dessa ltima equao por a, que no zero, vemos r = s. Isso signifi ca que se s r, ento
as + b 0. Isso estabelece a parte da unicidade da demonstrao.
Estratgias de Demonstrao
Encontrar demonstraes pode ser um trabalho desafi ador. Quando voc confrontado com uma
sentena para demonstrar, voc deve primeiro substituir os termos por suas defi nies e, ento,
cuidadosamente analisar o que as hipteses e a concluso signifi cam. Depois disso, voc pode tentar demonstrar o resultado usando um dos mtodos de demonstrao avaliados. Geralmente, se a
sentena uma sentena condicional, voc deve primeiro tentar uma demonstrao direta; se esta
Links
GODFREY HAROLD HARDY (18771947) Hardy, nascido em Cranleigh, Surrey, Inglaterra, foi o mais velho de
dois fi lhos de Isaac Hardy e Sophia Hall Hardy. Seu pai era mestre em geografi a e desenho pela Escola de Cranleigh e
tambm dava aulas de canto e jogava futebol. Sua me dava aulas de piano e mantinha uma penso para jovens estudantes. Os pais de Hardy eram devotos da educao de seus fi lhos. Hardy demonstrou suas habilidades com nmeros
com apenas dois anos de idade, quando comeou a desenhar nmeros em milhes. Ele teve um tutor em matemtica
em vez de freqentar a escola regular. Foi para a Winchester College, escola de segundo grau particular, aos 13 anos
ao ganhar uma bolsa de estudos. Ele era um excelente aluno e demonstrou um intenso interesse por matemtica. Hardy
entrou para o Trinity College, Cambridge, em 1896, com uma bolsa de estudos e ganhou vrios prmios durante o
tempo que passou por l, graduando-se em 1899.
Hardy manteve o cargo de professor em matemtica na Trinity College, na Cambridge University, de 1906 a 1919, quando foi indicado
para a cadeira de geometria de Sullivan, em Oxford. Ele fi cou descontente com Cambridge por causa da demisso do famoso fi lsofo e
matemtico Bertrand Russell, do Trinity, pelas atividades antiblicas, e no apoiava algumas atitudes administrativas tomadas. Em 1931, ele
retornou a Cambridge como professor de matemtica pura, onde permaneceu at sua aposentadoria em 1942. Ele foi um matemtico purista
e manteve uma viso elitista da matemtica, esperando que sua pesquisa nunca fosse aplicada.
Ironicamente, Hardy talvez o mais conhecido dos criadores da lei HardyWeinberg, que predita os modelos de herana. Seu trabalho
nessa rea aparece como uma carta no peridico Science, no qual ele usa as idias de lgebra simples para demonstrar os erros em um artigo
sobre gentica. Hardy trabalhou primeiramente com a teoria de nmeros e funo, explorando alguns tpicos como a funo zeta de Riemann, sries de Fourier e a distribuio dos nmeros primos. Ele fez muitas contribuies importantes a destacados problemas, como os de
Waring sobre a representao dos nmeros inteiros positivos como soma da k-sima potncia e o problema da representao dos nmeros
inteiros mpares como a soma de trs primos. Hardy tambm lembrado pelas suas colaboraes com John E. Littlewood, colega de trabalho
com quem escreveu mais de 100 artigos, e com o famoso matemtico indiano prodgio Srinivasa Ramanujan. Sua colaborao com Littlewood formou a piada de que existiam apenas trs matemticos importantes naquela poca, Hardy, Littlewood e HardyLittlewood, embora algumas pessoas pensassem que Hardy teria inventado uma pessoa fi ctcia, Littlewood, porque Littlewood era muito pouco visto fora de
Cambridge. Hardy teve a sabedoria de reconhecer a genialidade de Ramanujan a partir de escritos no convencionais, mas extremamente
criativos enviados por Ramanujan para ele, enquanto outros matemticos falharam nesta tarefa. Hardy trouxe Ramanujan para Cambridge,
e ele colaborou em importantes artigos, estabelecendo novos resultados no nmero de parties de nmeros inteiros. Hardy se interessava
pela educao matemtica, e seu livro Um Curso de Matemtica Pura teve um grande efeito na educao primria e secundria em matemtica na primeira metade do sculo XX. Hardy tambm escreveu Uma Apologia de um Matemtico, em que ele deu sua resposta pergunta
de que se vale a pena devotar a vida ao estudo da matemtica. Neste livro apresentada a viso dele do que matemtica e o que ela faz.
Hardy teve um grande interesse por esportes. Ele era um f vido de crquete e acompanhava os resultados de perto. Em uma determinada partida em que ele estava, tiraram uma foto dele da qual no gostou (apenas cinco fotos so conhecidas), alm disso, no gostava de
espelhos, cobrindo-os com uma toalha imediatamente ao entrar em um quarto de hotel.
NOTA HISTRICA O matemtica ingls G. H. Hardy, quando visitava o indiano prodgio Ramanujan no hospital, contou-lhe que se
lembrara do nmero 1.729, o nmero de txis que tomara, que era bastante estpido. Ramanujan respondeu: No; um nmero muito interessante; o menor nmero que pode ser expresso como a soma dos cubos de duas formas diferentes.
1-94
falhar, voc pode tentar uma demonstrao indireta. Se nenhuma dessas tentativas funcionar, voc
deve tentar uma demonstrao por contradio.
RACIOCNIO DIRETO E PARA TRS Qualquer que seja o mtodo escolhido, voc precisa
de um ponto de partida para sua demonstrao. Para comear uma demonstrao direta de uma
sentena condicional, comece com as premissas. Usando estas premissas, juntamente com os
axiomas e conhecendo teoremas, voc pode construir uma demonstrao usando uma seqncia
de passos que nos leva concluso. Esse tipo de raciocnio, chamado de raciocnio direto, o
tipo mais comum de raciocnio usado para demonstrar resultados relativamente simples. Similarmente, com raciocnios indiretos, voc pode comear com a negao da concluso e, usando uma
seqncia de passos, obter a negao das premissas.
Infelizmente, raciocnio direto com freqncia difcil de usar para demonstrar resultados
mais complicados, pois os raciocnios necessrios para alcanar a concluso desejada podem
estar distantes do bvio. Nesses casos pode ser interessante usar um raciocnio para trs. Raciocinando de trs para frente para demonstrar uma sentena q, achamos uma sentena p que pode demonstrar a propriedade que p q. (Note que isso no ajuda a encontrar uma sentena r que voc
pode demonstrar que q r, pois esta uma falcia de carregar a pergunta para concluir de q r
e r que q verdadeira.) Raciocnios de trs para frente sero ilustrados nos exemplos 14 e 15.
Links
SRINIVASA RAMANUJAN (18871920) Famoso prodgio matemtico, Ramanujan nasceu e foi criado no sul da
ndia, prximo cidade de Madras (agora chamada de Chennai). Seu pai era balconista em uma loja de roupas. Sua
me contribua com a renda familiar cantando em um templo local. Ramanujan estudou em uma escola de lngua inglesa, expondo seu talento e interesse pela matemtica. Com 13 anos, ele usava um livro de teoria para universitrios.
Quando ele tinha 15 anos, um universitrio deu-lhe uma cpia de Sinopse da Matemtica Pura. Ramanujan decidiu
trabalhar com os mais de 6 mil resultados do livro, declarados sem demonstrao ou explicao, escrevendo tudo em
folhas depois coletadas em um livro de anotaes. Terminou o colegial em 1904 e ganhou uma bolsa de estudos para a
Universidade de Madras. Inscrito em um currculo de artes fi nas, ele no freqentava suas aulas e assistia s aulas de
matemtica, o que o fez perder sua bolsa. Ele no passou nos exames na universidade quatro vezes, de 1904 a 1907,
indo bem apenas em matemtica. Durando esse tempo, ele completava seu caderno de anotaes com escritos originais, algumas vezes redescobrindo trabalhos j publicados e, em outras, fazendo novas descobertas.
Sem um diploma universitrio, era difcil para Ramanujan conseguir um emprego decente. Para sobreviver, ele dependia de ajuda de
amigos. Ele foi tutor de estudantes em matemtica, mas suas maneiras no convencionais de pensar e sua falta de conhecimento do programa
de ensino causavam-lhe problemas. Ele casou-se em 1909, um casamento arranjado com uma garota 9 anos mais nova que ele. Por precisar
sustentar a nova famlia, mudou-se para Madras e foi atrs de um emprego. Ele mostrava suas anotaes matemticas aos empregadores em
potencial, mas elas os transtornavam. Entretanto, um professor da Presidency College reconheceu sua genialidade e o apoiou e, em 1912, ele
conseguiu um emprego como gerente de contas, ganhando um pequeno salrio.
Ramanujan continuou seu trabalho matemtico durante esse tempo e publicou seu primeiro artigo em 1910 em um peridico indiano.
Ele percebeu que seu trabalho a alm daquilo j feito pelos matemticos indianos e decidiu escrever aos matemticos ingleses. O primeiro
matemtico a quem escreveu, recusou seu pedido de ajuda. Mas, em janeiro de 1913, ele escreveu a G. H. Hardy, que estava inclinado a recusar Ramanujan, mas as proposies matemticas em sua carta, sem demonstraes, chamaram a ateno de Hardy. Ele decidiu examin-las
de perto com a ajuda de seu colega e colaborador J. E. Littlewood. Eles decidiram, depois de um estudo minucioso, que Ramanujan era
provavelmente um gnio, porque suas proposies poderiam ser escritas apenas por um matemtico de alto nvel; elas devem ser verdadeiras, porque se forem falsas, ningum poderia ter a imaginao de invent-las.
Hardy conseguiu uma bolsa de estudos para Ramanujan, trazendo-o para a Inglaterra, em 1914. Hardy pessoalmente o auxiliou na anlise matemtica e eles trabalharam juntos por 5 anos, provando teoremas signifi cativos sobre o nmero de parties de inteiros. Durante esse
tempo, Ramanujan fez importantes contribuies para a teoria dos nmeros e tambm trabalhou com fraes, sries infi nitas e funes elpticas. Ramanujan teve vrias idias que envolviam determinados tipos de funes e sries, mas suas suposies de teoremas de nmeros
primos estavam geralmente erradas. Isso ilustra sua vaga idia do que constitui uma demonstrao correta. Ele foi um dos membros mais
novos que se juntou Irmandade da Sociedade Real. Infelizmente, em 1917, Ramanujan fi cou muito doente. Nesta poca, pensou-se que ele
estava tendo problemas com o clima ingls e tivesse contrado tuberculose. Sabe-se agora que ele sofria de defi cincia de uma vitamina, uma
vez que Ramanujan era vegetariano. Ele retornou para a ndia em 1919, continuando seus estudos em matemtica mesmo quando estava
confi nado em sua cama. Ele era religioso e acreditava que seu talento matemtico procedia da divindade de sua famlia, Namagiri. Ramanujan considerava a matemtica e a religio como que entrelaadas. Ele dizia que uma equao para mim no tem signifi cado a menos que
expresse um pensamento de Deus. Sua curta vida veio ao fi nal em abril de 1920, quando ele tinha 32 anos de idade. Ramanujan deixou
muitas anotaes com resultados no publicados. Os escritos nesses cadernos mostram os pensamentos de Ramanujan, mas so limitados.
Muitos matemticos devotaram anos de estudo para explicar e justifi car os resultados dos cadernos.
1-95
EXEMPLO 14 Dados dois nmeros reais positivos x e y, sua mdia aritmtica (x + y)/2 e sua mdia geomtrica xy. Quando comparamos essas mdias para pares de nmeros reais positivos distintos,
vemos que a mdia aritmtica sempre maior que a geomtrica. [Por exemplo, quando x = 4
e y = 6, temos 5 = (4 + 6) / 2 > 4 6 = 24 . ] Podemos demonstrar que essa inequao
sempre verdadeira?
Soluo: Para demonstrar que (x + y)/2 > xy.quando x e y so nmeros reais distintos, podemos
pensar de trs para frente. Construmos a seqncia de inequaes equivalentes. As inequaes
equivalentes so:
Exemplos
Extras
(x + y)/2 > xy.,
(x + y)2/4 > xy,
(x + y)2 > 4xy,
x2 + 2xy + y2 > 4xy,
x2 2xy + y2 > 0,
(x y)2 > 0.
Como (x y)2 > 0 quando x y, segue que a inequao final verdadeira. Como todas essas
inequaes so equivalentes, segue que (x + y)/2 > xy.quando x y. Uma vez que fizemos esse
raciocnio, podemos facilmente reverter os passos para construir uma demonstrao usando um
raciocnio direto. Daremos agora esta demonstrao.
Suponha que x e y so nmeros reais distintos. Ento (x y)2 > 0, pois o quadrado de um
nmero diferente de zero positivo (veja Apndice 1). Como (x y)2 = x2 2xy + y2, isso implica que x2 2xy + y2 > 0. Adicionando 4xy em ambos os lados, obtemos x2 + 2xy + y2 > 4xy.
Como x2 + 2xy + y2 = (x + y)2, isso significa que (x + y)2 4xy. Dividindo ambos os membros
dessa equao por 4, vemos que (x + y)2/4 > xy. Finalmente, tomando razes quadradas dos dois
lados (o que preserva a inequao, pois ambos os lados so positivos), temos (x + y)/2 > xy.
Conclumos que se x e y so nmeros reais positivos, ento sua mdia aritmtica (x + y)/2
EXEMPLO 15 Suponha que duas pessoas participem de um jogo, e que cada um na sua vez toma uma, duas
ou trs pedras de uma pilha que contm 15 pedras. A pessoa que remove a ltima pedra ganha o jogo. Mostre que o primeiro jogador pode ganhar, no importando o que o segundo
jogador faa.
Soluo: Para comprovar que o primeiro jogador pode sempre ganhar o jogo, podemos pensar de
trs para frente. No ltimo passo, o primeiro jogador pode ganhar se sobrar uma pilha com uma,
duas ou trs pedras. O segundo jogador ser forado a deixar uma, duas ou trs pedras se ele tiver
de jogar com uma pilha que contm quatro pedras. Conseqentemente, uma maneira de o primeiro jogador ganhar deixar quatro pedras para o segundo jogador na sua penltima jogada. O
primeiro jogador pode deixar quatro pedras quando existirem cinco, seis ou sete na pilha que o
segundo jogador deixou, o que acontecer quando o segundo jogador fizer seu movimento em
uma pilha com oito pedras. Conseqentemente, para forar o segundo jogador a deixar cinco, seis
ou sete pedras, o primeiro jogador deve deixar oito pedras para o segundo na sua antipenltima
jogada. Isso significa que deve ter nove, dez ou onze pedras para esta jogada. Similarmente, o
segundo jogador deve deixar doze pedras quando fizer sua primeira jogada. Podemos reverter
este argumento para mostrar que o primeiro jogador deve sempre fazer jogadas para ganhar o
jogo, qualquer que sejam as jogadas do segundo. Essas jogadas sucessivamente deixam doze,
oito e quatro pedras para o segundo.
1-96
EXEMPLO 16 No Exemplo 10 da Seco 1.6, demonstramos que 2 irracional. Agora, conjecturamos que 3
irracional. Podemos adaptar a demonstrao do Exemplo 10 da Seo 1.6 para mostrar que
3 irracional?
Exemplos
Extras
Soluo: Para adaptar a demonstrao do Exemplo 10 da Seo 1.6, comeamos imitando os passos
da demonstrao, mas substituindo 2 por 3 . Primeiro, supomos que 3 = d/c em que a frao
c/d irredutvel. Elevando ambos os lados ao quadrado, temos 3 = c2/d2, logo 3d2 = c2. Podemos
usar essa equao para mostrar que 3 deve ser um fator de c e d, similar a como usamos a equao
2 b 2 = a 2 no Exemplo 10 da Seo 1.6 para mostrar que 2 deveria ser um fator de a e b? (Lembrese de que um inteiro s um fator de um inteiro t se t/s for um inteiro. Um inteiro n par se e somente se 2 for um fator de n.) Sim, podemos, mas precisamos de mais alguma munio da teoria dos
nmeros, que vamos desenvolver no Captulo 3. Vamos terminar a demonstrao, mas deixaremos as
justificativas desses passos para o Captulo 3. Como 3 um fator de c2, este deve ser um fator de c. Mais
que isso, como 3 um fator de c, 9 deve ser um fator de c2, o que significa que 9 um fator de 3d2.
Isso implica que 3 um fator de d2, o que significa que 3 um fator de d. Isso mostra que 3 um fator
de c e d, o que uma contradio. Depois de termos certeza das justificativas desses passos, teremos
mostrado que 3 irracional pela adaptao da demonstrao de que 2 irracional. Note que esta
demonstrao pode ser estendida para mostrar que n irracional sempre que n for um inteiro positivo que no um quadrado perfeito. Deixaremos estes detalhes para o Captulo 3.
Uma boa dica procurar demonstraes de existncia que voc pode adaptar quando for
confrontado com a demonstrao de um novo teorema, particularmente quando o novo teorema
parece semelhante a um que voc j demonstrou.
Procurando Contra-exemplos
Na Seo 1.5, introduzimos o uso de contra-exemplos para mostrar que determinadas sentenas so
falsas. Quando confrontado com uma conjectura, voc deve primeiro tentar demonstrar essa conjectura, e, se suas tentativas no tiverem sucesso, voc deve tentar encontrar um contra-exemplo. Se
voc no conseguir um contra-exemplo, deve tentar demonstrar a sentena. De qualquer forma,
procurar contra-exemplos extremamente importante, pois freqentemente nos d algum insight
sobre o problema. Vamos ilustrar o papel dos contra-exemplos com alguns exemplos.
EXEMPLO 17 No Exemplo 14 da Seo 1.6, mostramos que a sentena Todo inteiro positivo a soma de dois
quadrados de inteiros falsa, encontrando um contra-exemplo. Ou seja, existem inteiros positivos que no podem ser escritos como a soma de dois quadrados de inteiros. Portanto, no podemos escrever todos os inteiros como a soma de quadrados de dois nmeros inteiros, mas talvez
possamos escrever todo nmero inteiro como a soma dos quadrados de trs nmeros inteiros. Ou
seja, a sentena Todo nmero inteiro positivo pode ser escrito como a soma dos quadrados de
trs nmeros inteiros verdadeira ou falsa?
Exemplos
Extras
Soluo: Como sabemos mostrar que nem todo nmero inteiro positivo pode ser escrito como a
soma de dois quadrados de inteiros, devemos inicialmente ser cticos sobre todo inteiro poder ser
escrito como a soma de trs quadrados de inteiros. Portanto, vamos primeiro procurar por um contra-exemplo. Ou seja, podemos mostrar que a sentena Todo nmero inteiro positivo pode ser
1-97
escrito como a soma dos quadrados de trs nmeros inteiros falsa se encontrarmos um
inteiro que no seja a soma de quadrados de trs inteiros. Para encontrar um contra-exemplo, tentamos escrever a sucesso dos inteiros como a soma de trs quadrados. Vemos que 1 = 02+ 02+ 12,
2 = 02 + 12 + 12, 3 = 12 + 12 + 12, 4 = 02 + 02 + 22, 5 = 02 + 12 + 22, 6 = 12 + 12 + 22, mas
no podemos encontrar um modo de escrever 7 como a soma de trs quadrados. Para mostrar que
no existem trs quadrados que somados resultem 7, notemos que os nicos quadrados possveis
que podemos usar menores que 7 so 0, 1 e 4. Como no existe soma de trs termos que resulte 7
com essas parcelas, segue-se que 7 um contra-exemplo. Conclumos que a sentena Todo nmero inteiro positivo pode ser escrito como a soma dos quadrados de trs nmeros inteiros falsa.
Mostramos que nem todo inteiro positivo pode ser escrito como a soma de quadrados de trs
inteiros. A prxima pergunta deve ser se podemos escrever todos os inteiros positivos como a
soma de quatro quadrados de inteiros. Alguma experimentao mostra evidncias de que sim. Por
exemplo, 7 = 12 + 12 + 12 + 22, 25 = 42 + 22 + 22 + 12 e 87 = 92 + 22 + 12 + 12. Isso nos faz
conjecturar que Todo inteiro positivo a soma dos quadrados de quatro inteiros verdadeira.
Para uma demonstrao, veja [Ro05].
Estratgia de Demonstrao em Ao
A matemtica geralmente concebida como se fatos matemticos estivessem cravados em pedras. Textos de matemtica (incluindo este livro) apresentam formalmente teoremas e suas demonstraes. Essas apresentaes no nos levam a descobrir o processo matemtico. Esse
processo comea com a explorao de conceitos e exemplos, fazendo perguntas, formulando
conjecturas e tentando valorar essas conjecturas com uma demonstrao ou com contra-exemplos. Essas so as atividades do dia-a-dia de um matemtico. Acredite ou no, o material apresentado em livros originalmente concebido dessa forma.
Pessoas formulam conjecturas com base em muitos tipos de evidncia. O exame de casos
especiais pode nos levar a uma conjectura, como a identificao de possveis modelos. Alterando
hipteses e concluses de teoremas conhecidos tambm podemos ser levados a conjecturas plausveis. Em outros tempos, conjecturas eram feitas com base na intuio, na crena de que um
resultado era verdadeiro. Independentemente de como uma conjectura foi feita, uma vez formulada, o objetivo demonstrar que verdadeira ou falsa. Quando um matemtico acredita que uma
conjectura deve ser verdadeira, ele tenta encontrar uma demonstrao. Se no consegue encontr-la, deve procurar por um contra-exemplo. Quando no encontra um contra-exemplo, deve
tornar atrs e tentar provar a conjectura novamente. Embora muitas conjecturas sejam verificadas
rapidamente, algumas resistem por centenas de anos e levam ao desenvolvimento de novas partes
da matemtica. Vamos mencionar algumas famosas conjecturas mais tarde, nesta seo.
Ladrilhando
Links
1-98
Figura 3
Dois Domins.
EXEMPLO 19 Podemos ladrilhar um tabuleiro obtido pela remoo de um dos cantos de um tabuleiro standard?
Exemplos
Extras
Soluo: Para responder a essa questo, note que um tabuleiro standard tem 64 quadrados, portanto, removendo um quadrado, teremos um tabuleiro com 63 quadrados. Agora, suponha que
possamos ladrilhar o tabuleiro obtido. O tabuleiro deve ter um nmero par de quadrados, pois
cada domin cobre dois quadrados e no existem domins sobrepostos nem que ultrapassam as
bordas do tabuleiro. Conseqentemente, demonstramos por contradio que um tabuleiro de xadrez com um de seus quadrados removidos no pode ser ladrilhado usando domins, pois esse
tabuleiro tem um nmero mpar de quadrados.
EXEMPLO 20 Podemos ladrilhar um tabuleiro obtido pela retirada do quadrado superior esquerdo e do inferior
direito de um tabuleiro standard, mostrado na Figura 5?
Soluo: Um tabuleiro obtido pela retirada de dois quadrados de um tabuleiro standard contm 64
2 = 62 quadrados. Como 62 par, no podemos dizer imediatamente que no existe essa situao,
como fizemos no Exemplo 19, em que demonstramos que no existia um ladrilhamento de um tabuleiro com um quadrado removido. Procurar construir um ladrilhamento desse tabuleiro atravs da
colocao de sucessivos domins pode ser uma primeira tentativa, como o leitor pode experimentar.
No entanto, mesmo depois de muitas tentativas, no conseguimos encontrar essa soluo. Como
nossos esforos no resultaram em uma soluo, somos levados a conjecturar que no existe essa
soluo.
1-99
Tentamos ento demonstrar que no existe ladrilhamento, mostrando que alcanamos uma situao sem sada toda vez que colocamos sucessivamente domins no tabuleiro. Para construir essa
demonstrao, devemos considerar todos os possveis casos que aparecem como se estivssemos
passando por todas as escolhas possveis na colocao de sucessivos domins. Por exemplo, temos
duas escolhas para cobrir o quadrado na segunda coluna da primeira linha, prximo ao quadrado
removido do canto esquerdo superior. Podemos cobri-lo com um domin na horizontal ou na vertical. Cada uma das escolhas nos leva a muitas escolhas, e assim sucessivamente. No demorar
muito para ver que esse no um plano interessante para uma pessoa, embora um computador possa
ser usado para completar essa demonstrao por exausto. (O Exerccio 21 pede para fornecer uma
demonstrao de que um tabuleiro 4 por 4 com cantos opostos excludos no pode ser ladrilhado.)
Precisamos de um outro mtodo. Talvez exista uma maneira mais fcil de demonstrar que
no existe essa soluo para um tabuleiro standard com dois cantos opostos removidos. Como em
muitas demonstraes, alguma observao pode ajudar. Vamos colorir os quadrados desse tabuleiro usando branco e preto alternadamente, como na Figura 2. Observe que um domin cobre
sempre um quadrado branco e um preto. Agora note que esse tabuleiro tem um nmero diferente
de quadrados brancos e pretos. Podemos usar essa observao para mostrar por contradio que
um tabuleiro standard com cantos opostos removidos no pode ser ladrilhado usando domins.
Agora apresentamos essa demonstrao.
Demonstrao: Suponha que usemos domins para ladrilhar um tabuleiro standard com cantos
opostos removidos. Note que o tabuleiro standard com cantos opostos removidos contm 64 2
= 62 quadrados. O ladrilhamento usar 62/2 = 31 domins. Note que cada domin cobre um
quadrado branco e um preto. Conseqentemente, o ladrilhamento cobre 31 quadrados brancos e
31 pretos. No entanto, quando removemos dois cantos opostos, 32 dos quadrados restantes so
brancos e 30 so pretos ou 32 pretos e 30 brancos. Isso contradiz o fato assumido de que podemos
usar domins para cobrir esse tabuleiro, completando a demonstrao.
Figura 6 Um
Triomin Direita e
Um Triomin Reto.
Podemos usar outros tipos de peas alm de domins para ladrilhar. Em vez de domins,
podemos estudar ladrilhamentos que usam peas construdas a partir de quadrados congruentes
que so conectados pelos seus lados. Essas peas so os chamados poliomins, termo cunhado
em 1953 pelo matemtico Solomon Golomb, autor de um livro de entretenimento sobre eles
[Go94]. Vamos considerar dois poliomins com o mesmo nmero de quadrados que podemos
rotacionar e/ou deslizar para obter outro poliomin. Por exemplo, existem dois tipos de triomins
(veja a Figura 6), que so poliomins feitos com trs quadrados conectados pelos seus lados. Um
1-100
tipo de triomin, o triomin reto, tem trs quadrados conectados horizontalmente, o outro tipo,
o triomin direita, lembra uma letra L, e pode ser rotacionado e/ou deslocado, se necessrio.
Podemos estudar esses ladrilhamentos de tabuleiros por triomins retos agora; e vamos estudar
os ladrilhamentos por triomins direita na Seo 4.1.
No Exemplo 22, consideraremos o problema de ladrilhar um tabuleiro standard sem um canto com triomins retos.
EXEMPLO 22 Podemos usar triomins retos para cobrir um tabuleiro standard sem um de seus cantos? Um tabuleiro 8 por 8 com um canto removido tem 64 1 = 63 quadrados. Qualquer possibilidade de cobrir
com triomins retos usar 63/3 = 21 triomins. No entanto, quando tentamos, no conseguimos
encontrar uma soluo. Uma demonstrao por exausto no parece promissora. Podemos adaptar
nossa demonstrao do Exemplo 20 para demonstrar que esse ladrilhamento no existe?
Soluo: Vamos colorir os quadrados desse tabuleiro em uma tentativa de adaptar a demonstrao
por contradio que demos no Exemplo 20, da impossibilidade de ladrilhar, usando domins para
cobrir um tabuleiro com cantos opostos removidos. Como estamos usando triomins retos em vez
de domins, vamos colorir os quadrados usando trs cores em vez de duas, como mostra a Figura
7. Note que existem 21 quadrados cinza, 21 pretos e 22 brancos nessa colorao. Depois, faremos
uma observao crucial que, quando o triomin cobre trs quadrados do tabuleiro, ele cobre um
quadrado cinza, um preto e um branco. Depois, note que cada uma das trs cores aparece em algum
canto do tabuleiro. Em seguida, sem perda de generalidade, podemos assumir que o quadrado retirado cinza. Portanto, assumimos que sobram 20 quadrados cinza, 21 pretos e 22 brancos.
Se consegussemos ladrilhar usando triomins retos, ento deveramos usar 63/3 = 21 triomins. E esses deveriam cobrir 21 quadrados cinza, 21 brancos e 21 pretos. Isso contradiz o fato
de que esse tabuleiro contm 20 quadrados cinza, 21 pretos e 22 brancos. Portanto, no podemos
cobrir esse tabuleiro usando triomins retos.
TEOREMA 1
1-101
Links
EXEMPLO 23 A Conjectura 3x +1 Seja T a transformao que leva um nmero par x para x/2 e um nmero
mpar x para 3x + 1. Uma conjectura famosa, conhecida como a conjectura 3x +1, diz que para
todos os nmeros inteiros positivos x, quando aplicamos repetidamente a transformao T, vaLinks
mos encontrar em algum ponto o inteiro 1. Por exemplo, comeando com x = 13, encontramos T
(13) = 3 13 + 1 = 40, T (40) = 40/2 = 20, T (20) = 20/2 = 10, T (10) = 10/2 = 5, T (5) = 3 5
+ 1 = 16, T (16) = 8, T (8) = 4, T (4) = 2 e T (2) = 1. A conjectura 3x + 1 foi verificada para
todos os nmeros inteiros at 5,6 1013.
1-102
A conjectura 3x + 1 tem uma histria interessante e tem atrado a ateno dos matemticos
desde a dcada de 1950. A conjectura apareceu muitas vezes e com muitos nomes diferentes, incluindo o problema Collatz, o algoritmo de Hasse, o problema de Ulam, o problema de Siracusa e
o problema de Kakutani. Muitos matemticos desviaram-se de seus trabalhos para gastar tempo
dedicando-se inteiramente a essa conjectura. Isso levou piada de que esse problema era parte de
uma conspirao para diminuir o ritmo de desenvolvimento da pesquisa matemtica norte-americana. Veja o artigo de Jeffrey Lagarias [La85] para uma discusso fascinante sobre esse problema
e os resultados que j foram encontrados pelos matemticos que se dedicaram a ele.
No Captulo 3, vamos descrever questes abertas adicionais sobre nmeros primos. Estudantes j familiarizados com as noes bsicas sobre primos podem querer explorar a Seo 3.4,
onde estas questes abertas so discutidas. Vamos mencionar outras questes abertas importantes
por todo o livro.
Exerccios
1. Demonstre que n2 + 1 2n quando n um nmero inteiro
positivo com 1 n 4.
2. Demonstre que no h cubos perfeitos positivos menores
que 1.000 que so a soma dos cubos de dois nmeros inteiros
positivos.
3. Demonstre que se x e y so nmeros reais, ento max(x, y)
+ min(x, y) = x + y. [Dica: Use uma demonstrao por
casos, com os dois casos correspondentes a x y e x < y,
respectivamente.]
4. Use uma demonstrao por casos para mostrar que min(a,
min(b, c)) = min(min(a, b), c), sempre que a, b e c forem
nmeros reais.
5. Demonstre que a desigualdade triangular, que afirma que
se x e y so nmeros reais, ento |x| + |y| |x + y| (em que
|x| representa o valor absoluto de x, que igual a x se x 0
e igual a x se x < 0).
1-103
26.
27.
28.
29.
30.
31.
32.
33.
34.
*35.
36.
37.
38.
39.
40.
41.
42.
1-104
Termos-chave e Resultados
TERMOS
proposio: uma sentena que verdadeira ou falsa
varivel proposicional: varivel que representa uma proposio
valor-verdade: verdadeiro ou falso
p (negao de p): proposio com o valor-verdade oposto do
valor-verdade de p
operadores lgicos: operadores usados para combinar proposies
proposies compostas: proposio construda pela combinao de proposies usando operadores lgicos
tabela-verdade: tabela que mostra os valores-verdade das
proposies
p q (disjuno de p e q): proposio p ou q, que verdadeira
se e somente se ao menos uma entre p e q for verdadeira
p q (conjuno de p e q): proposio p e q, que verdadeira
se e somente se ambas p e q forem verdadeiras
p q (ou exclusivo de p e q): proposio p XOR q, que
verdadeira se e somente se exatamente uma entre p e q for
verdadeira
p q (p implica q): proposio se p, ento q, que falsa se
e somente se p for verdadeira e q for falsa
1-105
Questes de Reviso105
Questes de Reviso
1. a) Defina a negao de uma proposio.
b) Qual a negao de Este um curso entediante?
2. a)Defina (usando tabelas-verdade) a disjuno, conjuno, ou exclusivo, condicional e bicondicional das proposies p e q.
b) Quais so: disjuno, conjuno, ou exclusivo, condicional e bicondicional das proposies Eu vou ao cinema esta noite e Eu vou terminar minha lio de
casa de matemtica discreta?
1-106
Exerccios Complementares
1. Seja p a proposio Eu vou fazer todo exerccio deste
livro e q a proposio Eu vou tirar A neste curso.
Expresse cada uma delas como uma combinao de p e q.
a) Eu vou tirar A neste curso somente se eu fizer todos
os exerccios deste livro.
b) Eu vou tirar A neste curso e vou fazer todos os exerccios deste livro.
c) Ou eu no vou tirar A neste curso ou eu no vou fazer
todos os exerccios deste livro.
d) Para eu tirar A neste curso necessrio e suficiente
que eu faa todos os exerccios deste livro.
2. Faa a tabela-verdade da proposio composta (p q)
(p r).
3. Mostre que estas proposies compostas so tautologias.
a) (q (p q)) p
b) ((p q) p) q
4. D a oposta, a contrapositiva e a inversa dessas sentenas
condicionais.
a) Se est chovendo, ento eu vou de carro para o trabalho.
b) Se |x| = x, ento x 0.
c) Se n maior que 3, ento n2 maior que 9.
1-107
Exerccios Complementares107
1-108
Desenvolvimento de Programas
(Escreva programas com as entradas e sadas abaixo.)
1. Dados os valores-verdade das proposies p e q, encontre
os valores-verdade de conjuno, disjuno, ou exclusivo,
sentena condicional e bicondicional dessas proposies.
2. Dadas duas seqncias de bits de comprimento n, encontre
as seqncias resultantes das operaes AND, OR e XOR
dessas seqncias.
3. Dados os valores-verdade das proposies p e q em lgica
Fuzzy, encontre os valores-verdade da disjuno e da
Explorando a Computao
(Use um programa (ou programas) computacional que voc escreveu para resolver estes exerccios.)
1. Procure inteiros positivos que no so a soma dos cubos de
nove inteiros positivos diferentes.
2. Procure inteiros positivos maiores que 79 que no so a
soma de quartas potncias de 18 inteiros positivos.
3. Encontre quantos inteiros positivos voc puder, tal que eles
possam ser escritos como a soma de cubos de inteiros
Projetos
(Responda a estas questes com informaes encontradas em outras fontes.)
1. Discuta paradoxos lgicos, incluindo o paradoxo de
Epimenides, o Cretense, o paradoxo da carta de Jourdain e
o paradoxo do barbeiro e mostre como eles podem ser
resolvidos.
2. Descreva como a lgica fuzzy est sendo aplicada na
prtica. Consulte um ou mais dos recentes livros de lgica
fuzzy escritos para o pblico em geral.
3. Descreva as regras bsicas do WFFN PROOF, The Game
of Modern Logic, desenvolvido por Layman Allen. D
exemplos de alguns dos jogos includos no WFFN
PROOF.
1-109
teoremas. Discuta os objetivos e as aplicaes da demonstrao automatizada de teoremas e o progresso feito no desenvolvimento de provadores automticos.
8. Descreva como computao de DNA tem sido usada para
resolver instncias do problema de satisfao.
9. Discuta o que conhecido sobre estratgias vencedoras do
jogo Chomp.