Os Fundamentos:
Lgica e Demonstraes
A
s regras da lgica especifcam o signifcado de sentenas matemticas. Propositalmente,
essas regras nos ajudam a entender proposies tais como Existe um inteiro que no a
soma de dois quadrados e Para cada inteiro positivo n, a soma dos inteiros positivos menores
que ou iguais a n n(n + 1) / 2, bem como a raciocinar sobre elas. Lgica a base de todo ra-
ciocnio matemtico e de todo raciocnio automatizado. Ela tem aplicaes prticas no desenvol-
vimento de mquinas de computao, em especifcao de sistemas, em inteligncia artifcial,
em programao de computadores, em linguagens de programao e em outras reas da cincia da
computao, bem como em outros campos de estudo.
Para entender matemtica, precisamos entender o que torna um argumento matemtico correto,
ou seja, uma demonstrao. Primeiro, demonstramos que uma afrmao verdadeira e a chamamos
de teorema. Um conjunto de teoremas sobre determinado tpico organiza o que conhecemos sobre
esse tpico. Para aprender um tpico de matemtica, uma pessoa precisa construir ativamente argu-
mentos matemticos nesse tpico, e no apenas ler algumas exposies. Alm disso, conhecer a
demonstrao de um teorema, com freqncia, torna possvel modifcar o resultado em alguma outra
situao; demonstraes so essenciais para o desenvolvimento de novas idias. Estudantes de cin-
cia da computao freqentemente se surpreendem em relao ao quanto as demonstraes so
importantes em sua rea. De fato, elas so essenciais quando queremos verifcar se um programa
computacional est dando uma sada correta para todos os possveis valores de entrada, quando
mostramos que algoritmos sempre produzem resultados corretos, quando estabelecemos a seguran-
a de um sistema e quando criamos inteligncia artifcial. Sistemas de raciocnio automatizado tm
sido construdos para permitir que computadores construam suas prprias demonstraes.
Neste captulo, vamos explicar o que torna um argumento matemtico correto e introduzir
ferramentas para construir esses argumentos. Vamos desenvolver um arsenal de mtodos de de-
monstrao diferentes que nos tornaro capazes de demonstrar muitos tipos de resultados. De-
pois de introduzir os diferentes mtodos de demonstrao, introduziremos alguma estratgia
para a construo de demonstraes e tambm a noo de conjectura, e explicaremos o processo
de desenvolvimento da matemtica pelo estudo das conjecturas.
1.1 Lgica Proposicional
Introduo
As regras de lgica nos do um signifcado 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, comea-
remos nosso estudo de matemtica discreta com uma introduo lgica.
Paralelamente sua importncia no entendimento do raciocnio matemtico, a lgica tem nu-
merosas aplicaes em cincia da computao. Suas regras so usadas no design de circuitos de
computador, na construo de programas, na verifcao da correo de programas e de muitas
outras formas. Alm do mais, sistemas de softwares tm sido desenvolvidos para construir de-
monstraes automaticamente. Vamos discutir essas aplicaes da lgica nos prximos captulos.
Proposies
Nossa discusso comea com uma introduo construo dos blocos bsicos de lgica pro-
posies. Uma proposio uma sentena declarativa (isto , uma sentena que declara um
fato), que pode ser verdadeira ou falsa, mas no ambas.
1
1.1 Lgica
Proposicional
1.2 Equivalncias
Proposicionais
1.3 Predicados e
Quantifcadores
1.4 Quantifcadores
Agrupados
1.5 Regras de
Inferncia
1.6 Introduo a
Demonstraes
1.7 Mtodos de
Demonstrao
e Estratgia
1-1 1
C A P T U L O
2 1 / Os Fundamentos: Lgica e Demonstraes 1-2
EXEMPLO 1 Todas as seguintes sentenas declarativas so proposies.
1. Braslia a capital do Brasil.
2. Toronto a capital do Canad.
3. 1 1 = 2.
4. 2 2 = 3.
As proposies 1 e 3 so verdadeiras, assim como 2 e 4 so falsas.
Algumas sentenas que no so proposies so dadas no Exemplo 2.
EXEMPLO 2 Considere as seguintes sentenas.
1. Que horas so?
2. Leia isto cuidadosamente.
3. x 1 = 2.
4. x y = z.
As sentenas 1 e 2 no so proposies porque no so sentenas declarativas. As sentenas 3 e
4 no so proposies porque no so nem verdadeiras nem falsas. Note que as sentenas 3 e 4
podem se tornar proposies se atribuirmos um valor para as variveis. Tambm vamos discutir
outros meios de transformar tais sentenas em proposies na Seo 1.3.
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 flsofo 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 flsofo no pde seguir o costume de ter
a mesma profsso de seu pai. Aristteles fcou 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. Arist-
teles 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 suces-
sor 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, Aris-
tteles se mudou para Mitilena e, convidado pelo rei Filipe da Macednia, tornou-se tutor de Alexandre, flho 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, retor-
nou a Atenas e organizou sua prpria escola, chamada Liceu.
Os seguidores de Aristteles eram chamados de peripatticos, que signifca os que passeiam, j que Aristteles costumava caminhar
quando discutia questes flosfcas. Aristteles ensinou no Liceu por 13 anos, dando lies aos seus estudantes mais avanados pela ma-
nh 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 cientfcos e tratados sis-
temticos. Estes ltimos incluem trabalhos de lgica, flosofa, psicologia, fsica e histria natural. Os escritos de Aristteles foram preserva-
dos 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.
Exemplos
Extras
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 combi-
nando-se uma ou mais proposies. Novas proposies, chamadas de proposies compostas,
so criadas a partir de proposies existentes usando-se operadores lgicos.
DEFINIO 1 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.
EXEMPLO 3 Encontre a negao da proposio
Hoje sexta-feira.
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.
EXEMPLO 4 Encontre a negao da proposio
No mnimo 10 mm de chuva caram hoje em So Paulo.
e expresse-a em portugus.
Soluo: A negao
No o caso de no mnimo 10 mm de chuva ter cado hoje em So Paulo.
E pode ser expressa por
Menos de 10 mm de chuva caram hoje em So Paulo.
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 fxo seja assumido. O mesmo ocorre para
advrbios de lugar, at que um lugar fxo seja assumido, e para pronomes, at que um indivduo
seja assumido. Ns sempre assumiremos um instante fxo, um lugar defnido ou um indiv-
duo 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.
TABELA 1 A
Tabela-Verdade
para a Negao
de uma
Proposio.
p p
V
F
F
V
Links
Exemplos
Extras
1-3 1.1 Lgica Proposicional 3
4 1 / Os Fundamentos: Lgica e Demonstraes 1-4
A negao de uma proposio pode tambm ser considerada o resultado da operao do
operador de negao em uma proposio. O operador de negao constri novas proposies a
partir de proposies preexistentes. Agora, introduziremos os operadores lgicos que so usados
para criar novas proposies a partir de outras duas ou mais j existentes. Os operadores lgicos
so tambm chamados de conectivos.
DEFINIO 2 Sejam p e q proposies. A conjuno de p e q, indicada por p q, a proposio p e q. A
conjuno p q verdadeira quando ambas so verdadeiras, e falsa caso contrrio.
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 conjun-
o. 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 subs-
tancial entre mas e e, mas no vamos nos preocupar com essa nuana aqui.)
EXEMPLO 5 Encontre a conjuno das proposies p e q, em que p a proposio Hoje sexta-feira e q a
proposio Hoje est chovendo.
Soluo: A conjuno p q dessas proposies a proposio Hoje sexta-feira e hoje est
chovendo. Essa proposio verdadeira em uma sexta-feira chuvosa e falsa em qualquer outro
caso.
DEFINIO 3 Sejam p e q proposies. A disjuno de p e q, indicada por p q, a proposio p ou q. A
disjuno p q falsa se p e q so ambas falsas, e verdadeira em qualquer outro caso.
A Tabela 3 nos mostra a tabela-verdade para p q.
O uso do conectivo ou em uma disjuno corresponde a uma das formas de uso da palavra ou
em portugus, chamado ou inclusivo. Uma disjuno verdadeira quando ao menos uma das
proposies verdadeira. Por exemplo, o ou inclusivo foi usado na frase
Estudantes que tm aulas de clculo ou cincia da computao podem assistir a estas
aulas.
TABELA 2 A Tabela-Verdade para
a Conjuno de Duas Proposies.
p q p q
V
V
F
F
V
F
V
F
V
F
F
F
TABELA 3 A Tabela-Verdade para
a Disjuno de Duas Proposies.
p q p q
V
V
F
F
V
F
V
F
V
V
V
F
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 as-
sistir 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 Qual a disjuno das proposies p e q, em que p e q so as proposies do Exemplo 5?
Soluo: A disjuno p q dessas proposies a proposio
Hoje sexta-feira ou hoje est chovendo.
Essa proposio verdadeira em uma sexta-feira ou em um dia chuvoso e somente falsa no caso
em que no sexta-feira nem chove.
Como tnhamos observado anteriormente, o uso do conectivo ou em uma disjuno
corresponde a uma das formas da palavra ou usadas em portugus, denominada forma inclusiva.
Ento, uma disjuno verdadeira se uma das proposies o . s vezes usamos ou da maneira
exclusiva. Quando a maneira exclusiva usada para conectar as proposies p e q, a proposio
p ou q (mas no ambas) obtida. Essa proposio verdadeira se uma, e apenas uma, das
proposies verdadeira, e falsa quando p e q so ambas falsas ou ambas verdadeiras.
DEFINIO 4 Sejam p e q proposies. A disjuno exclusiva (ou ou exclusivo) de p e q, indicada por
p q, a proposio que verdadeira quando exatamente uma das duas verdadeira e falsa
nos outros casos.
A tabela-verdade para o ou exclusivo de duas proposies mostrada na Tabela 4.
Links
GEORGE BOOLE (18151864) George Boole, flho de um sapateiro, nasceu em Lincoln, na Inglaterra, em novem-
bro de 1815. Por causa da difcil situao fnanceira 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 traba-
lhos dos grandes matemticos. Enquanto lia os trabalhos do grande matemtico francs Lagrange, Boole fez descober-
tas 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 fnal 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.
Exemplos
Extras
1-5 1.1 Lgica Proposicional 5
6 1 / Os Fundamentos: Lgica e Demonstraes 1-6
Proposies Condicionais
Vamos, agora, discutir outros modos importantes sobre os quais podemos combinar proposies.
DEFINIO 5 Sejam p e q proposies. A proposio condicional p q a proposio se p, ento q. A
condicional p q falsa quando p verdadeira e q falsa, e verdadeira em qualquer outro
caso. Na condicional p q, p chamada de hiptese (ou antecedente ou premissa) e q cha-
mada de concluso (ou conseqncia ou conseqente).
A proposio p q chamada de condicional porque p q afrma que q verdadeira na condi-
o 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 p implica q
se p, q p apenas se q
p sufciente para q uma condio sufciente para q p
q se p q sempre que p
q quando ocorrer p q necessrio para p
uma condio necessria para p q q segue de p
q a menos que 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 infuncia sufciente 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 fnal, ento ter conceito A.
TABELA 4 A Tabela-Verdade para
o Ou Exclusivo de Duas Proposies.
p q p
q
V
V
F
F
V
F
V
F
F
V
V
F
TABELA 5 A Tabela-Verdade para
as Sentenas Condicionais
p q.
p q p q
V
V
F
F
V
F
V
F
V
F
V
V
Auto-
avaliao
Se tirar nota 10 no exame fnal, 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 signifca 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 signifca 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 valor-
verdade.
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.
Soluo: Da defnio de condicional, vemos que, quando p a proposio Maria aprende ma-
temtica 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, sufciente que Maria aprenda matemtica discreta.
e
Maria vai conseguir um bom emprego, a menos que no aprenda matemtica discreta.
Note que o modo que defnimos a condicional mais geral do que o signifcado 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 matem-
tica 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 defnio de proposio condicional, porque a concluso verdadeira. (O valor-
verdade 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
Exemplos
Extras
1-7 1.1 Lgica Proposicional 7
8 1 / Os Fundamentos: Lgica e Demonstraes 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 defnio de condicional especifca seus valores-verdade; no tem como base
a sua utilizao em portugus. A linguagem proposicional uma linguagem artifcial; 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.
EXEMPLO 8 Qual o valor da varivel x depois da declarao
if 2 2 = 4 then x :
=
x 1
se x = 0 antes de a declarao ser encontrada? (O smbolo :
=
signifca atribuio. A declarao
x := x 1 signifca que o valor x 1 ser atribudo a x.)
Soluo: Como 2 2 = 4 verdadeira, a declarao de atribuio x :
=
x 1 executada. Por-
tanto, x tem o valor 0 1 = 1 depois da declarao encontrada.
OPOSTA, CONTRAPOSITIVA E INVERSA Podemos formar muitas outras proposies co-
meando com a condicional p q. Em particular, existem trs proposies condicionais relacio-
nadas 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 verifcar, 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.
EXEMPLO 9 Qual a contrapositiva, a oposta e a inversa da proposio condicional
O time da casa ganha sempre que est chovendo.?
Soluo: Como q sempre que p uma das maneiras de escrever a condicional p q, a propo-
sio 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.
Exemplos
Extras
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 Sejam p e q proposies. A proposio bicondicional p q a proposio p se e somente se
q. A bicondicional p q verdadeira sempre que p e q tm o mesmo valor-verdade, e falsa
caso contrrio. Bicondicionais so tambm chamadas de bi-implicaes.
A tabela-verdade para p q est representada na Tabela 6. Note que p q verdadeira, quando
ambas as condicionais p q e q p so verdadeiras, e falsa, caso contrrio. Este o motivo
pelo qual usamos a expresso se e somente se para expressar o conectivo e porque ele simbo-
licamente escrito pela combinao de e . Existem muitas outras maneiras comuns de ex-
pressar p q:
p necessria e sufciente para q
se p ento q, e vice-versa
p sse q (p iff q).
A ltima maneira de expressar uma bicondicional usa a abreviao sse para se e somente se.
Note que p q exatamente o mesmo que (p q) (q p).
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.
Essa proposio verdadeira se p e q so ambas verdadeiras ou ambas falsas, ou seja, se voc
comprou uma passagem e pode tomar o avio ou se voc no comprou uma passagem e no pode
tomar o avio. E ela falsa quando p e q tm valores-verdade opostos, ou seja, quando voc
comprou uma passagem, mas no pode tomar o avio (como se a empresa area o impedisse) ou
quando no comprou uma passagem e pode tomar o avio (como se voc tivesse ganho uma
viagem).
TABELA 6 A Tabela-Verdade para a
Bicondicional p q.
p q p q
V
V
F
F
V
F
V
F
V
F
F
V
Exemplos
Extras
1-9 1.1 Lgica Proposicional 9
10 1 / Os Fundamentos: Lgica e Demonstraes 1-10
USO IMPLCITO DE BICONDICIONAIS Devemos estar cientes de que nem sempre bi-
condicionais esto explcitas em nossa linguagem natural. Em particular, a construo se e
somente se raramente usada na linguagem comum. Em vez disso, bicondicionais so fre-
qentemente expressas usando a construo se, ento ou somente se. A outra parte do se
e somente se fca 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 signifcado exato Voc pode comer a sobremesa se, e
somente se, terminar o almoo. Essa proposio logicamente equivalente s duas proposi-
es Se terminar o almoo, ento voc pode comer a sobremesa e Voc pode comer sobre-
mesa 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.
Tabelas-Verdade para Proposies Compostas
Agora, j esto introduzidos os quatro importantes conectivos lgicos conjunes, disjunes,
condicional e bicondicional , assim como as negaes. Podemos usar esses conectivos para
construir proposies mais complicadas que envolvem qualquer nmero de variveis proposicio-
nais. Voc pode usar tabelas-verdade para determinar o valor-verdade dessas proposies, como
ilustrado no Exemplo 11. Usamos uma coluna para achar o valor-verdade de cada expresso
composta que ocorre na proposio composta original, exatamente como est construda. O va-
lor-verdade da proposio composta para cada combinao de valores-verdade das variveis pro-
posicionais expresso na ltima coluna da tabela.
EXEMPLO 11 Construa a tabela-verdade da proposio composta
(p q) (p q).
Soluo: Como essa proposio envolve apenas duas variveis proposicionais p e q, existem
quatro linhas nessa tabela, correspondentes s combinaes dos valores-verdade VV, VF, FV e
FF. As primeiras duas colunas so usadas para os valores-verdade de p e q, respectivamente. Na
terceira coluna, achamos os valores-verdade de q, necessrios para encontrar os valores de
p q, que podem ser achados na quarta coluna. Os valores-verdade de p q so encontrados
na quinta coluna. Finalmente, os valores-verdade da proposio composta (p q) (p q)
so encontrados na ltima coluna. A tabela-verdade resultante mostrada na Tabela 7.
Prioridade de Operadores Lgicos
Podemos construir proposies compostas usando a negao e os operadores lgicos j defnidos
antes. Vamos geralmente usar parnteses para especifcar a ordem em que os operadores lgicos
so aplicados em uma proposio composta. Por exemplo, (p q) ( r) a conjuno de
TABELA 7 A Tabela-Verdade de (p q) (p q).
p q q p q p q (p q) (p q)
V
V
F
F
V
F
V
F
F
V
F
V
V
V
F
V
V
F
F
F
V
F
V
F
Demo
p q e r. No entanto, para reduzir o nmero de parnteses, especifcamos que a negao
aplicada antes de qualquer outro operador. Isso signifca que p q a conjuno de p e q,
no a negao da conjuno de p e q.
Outra regra geral de prioridade que a conjuno tem prioridade sobre a disjuno, ento
p q r signifca (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 fque clara.
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 .
Traduzindo Sentenas em Portugus
Existem muitas razes para traduzir sentenas em portugus para expresses que envolvem
variveis proposicionais e conectivos lgicos. Em particular, o portugus (e muitas outras
linguagens humanas) freqentemente ambguo. Traduzir sentenas como proposies com-
postas (e outros tipos de expresses lgicas, as quais vamos introduzir mais tarde neste ca-
ptulo) acaba com essa ambigidade. Note que isso pode envolver um conjunto de fatos
assumidos com base no significado de cada sentena. Mais ainda, uma vez traduzidas do
portugus para expresses lgicas, podemos analisar seus valores-verdade, manipul-las e
ainda usar regras de inferncia (as quais discutiremos na Seo 1.5) para raciocinar sobre
elas.
Para ilustrar o processo de traduo de uma sentena do portugus para uma expresso lgica,
considere os exemplos 12 e 13.
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.
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 signifcado dela ou raciocinar sobre ela. No entanto, pode-
mos 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 compu-
tao e Voc um novato, respectivamente. Note que somente se uma forma de a condi-
cional 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.
TABELA 8
Prioridade do
Operador Lgico.
Operador Prioridade
1
2
3
4
5
Exemplos
Extras
1-11 1.1 Lgica Proposicional 11
12 1 / Os Fundamentos: Lgica e Demonstraes 1-12
Soluo: Sejam q, r e s as representaes de Voc pode pular de pra-quedas, Voc tem auto-
rizao 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 sufciente.
Sistemas de Especicaes
A traduo de sentenas da linguagem natural para expresses lgicas uma parte essencial
para a especifcao de sistemas de hardware e sistemas de software. Sistemas e engenheiros
de software tomam afrmaes em linguagem natural e produzem especifcaes 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 especifcao A resposta automtica no pode ser enviada quando o sistema est
sobrecarregado, usando conectivos lgicos.
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 auto-
mtica poder ser enviada ou A resposta automtica no pode ser enviada. Conseqentemente,
nossa especifcao pode ser representada por q p.
Sistemas de especifcaes devem ser consistentes, ou seja, no podem conter especifcaes
confitantes que possam ser usadas para derivar uma contradio. Quando as especifcaes no
so consistentes, pode no haver um meio de desenvolver um sistema que satisfaa todas as
especifcaes.
EXEMPLO 15 Determine se este sistema de especifcaes consistente:
A mensagem de diagnstico armazenada no buffer ou retransmitida.
A mensagem de diagnstico no armazenada no buffer.
Se a mensagem de diagnstico armazenada no buffer, ento ela retransmitida.
Soluo: Para determinar se esse sistema consistente, primeiro vamos reescrev-lo como ex-
presses lgicas. Seja p A mensagem de diagnstico armazenada no buffer e q A mensagem
de diagnstico retransmitida. As especifcaes podem ser escritas como p q, p e p q.
Uma valorao que torna as trs especifcaes verdadeiras deve ter p falsa para que p seja
verdadeira. Como queremos que p q seja verdadeira e temos p falsa, devemos ter q verdadeira.
Ainda como p q verdadeira quando p falsa e q verdadeira, conclumos que essas especi-
fcaes so consistentes porque so verdadeiras quando p falsa e q verdadeira. Poderamos
chegar mesma concluso analisando as tabelas-verdade e examinando as quatro possibilida-
des de valores-verdade para p e q.
EXEMPLO 16 O sistema de especifcaes do Exemplo 15 continua consistente se adicionarmos a especifcao
A mensagem de diagnstico no retransmitida?
Soluo: Verifcando o Exemplo 15, notamos que o sistema consistente se p falsa e q verda-
deira, mas a nova especifcao representa q, que somente verdadeira se q falsa. Conseqen-
temente, esse novo sistema inconsistente.
Exemplos
Extras
Buscadores Booleanos
Conectivos lgicos so largamente usados em buscadores de grandes conjuntos de informaes,
tais como ndices de pginas da Internet. Como esses buscadores utilizam tcnicas da lgica
proposicional, eles so chamados de buscadores booleanos.
Em buscadores booleanos, o conectivo E (AND) usado para encontrar informaes que
contenham ambos os termos procurados; o conectivo OU (OR) usado para encontrar informaes
que contenham um ou ambos os termos procurados; e o conectivo NO (NOT), s vezes escrito
E NO (AND NOT), usado para excluir alguma informao que contenha esse termo na procura.
Um estudo cuidadoso de como so usados os conectivos lgicos necessrio quando buscadores
booleanos so usados para localizar alguma informao de interesse potencial. O Exemplo 17
ilustra como funcionam os buscadores booleanos.
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 especfco, utiliza tcni-
cas 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 traba-
lhem 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
todas as pginas de interesse, assim como pginas sobre universidades que tm algum texto
sobre So Paulo. (Note que, no Google e em muitos outros buscadores, a palavra AND no
necessria; essa fca subentendida porque todos os termos so includos.) Segundo, para en-
contrar 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 usa-
dos devem ser SO PAULO OR PARAN.) O resultado dessa busca deve incluir todas as pgi-
nas 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 inte-
resse, 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 pgi-
nas que contm as palavras SO e PAULO e UNIVERSIDADES e no contm a palavra PBLI-
CAS. (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
Enigmas que podem ser resolvidos por raciocnio lgico so chamados de quebra-cabeas lgi-
cos. 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
desafantes 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 en-
contra duas pessoas A e B. Quem so A e B, se A diz B um cavaleiro e B diz Ns dois somos
tipos opostos de habitantes?
Links
Exemplos
Extras
Links
Exemplos
Extras
1-13 1.1 Lgica Proposicional 13
14 1 / Os Fundamentos: Lgica e Demonstraes 1-14
Soluo: Sejam p e q as proposies A um cavaleiro e B um cavaleiro, respectivamente,
ento p e q so as afrmaes que dizem ser A e B bandidos, respectivamente.
Primeiro, vamos considerar a possibilidade de A ser cavaleiro; ou seja, a proposio p
verdadeira. Se isso ocorre, ento ele est falando a verdade, o que implica que B um cavaleiro.
Sendo assim, o que B fala verdade tambm; no entanto, ele diz que os dois so de tipos diferentes
e estamos concluindo que ambos so cavaleiros, o que absurdo. Ento, devemos pensar que A
um bandido, logo est falando mentira, e portanto B tambm bandido. Este fato plausvel,
pois se ele est mentindo tambm, ento ambos devem ser habitantes do mesmo tipo, o que
verdade. Podemos, ento, concluir que ambos so bandidos.
Proporemos mais desses quebra-cabeas de Smullyan sobre cavaleiros e bandidos nos
exerccios 55 a 59 do fm desta seo. Agora, proporemos o conhecido como o quebra-cabea
das crianas enlameadas, que fala de duas crianas.
EXEMPLO 19 Um pai diz aos flhos, 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 respon-
desse 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 flho tem a testa suja e d a proposio que diz que a
flha tem a testa suja. Quando o pai diz que ao menos uma das duas crianas tem a testa suja, ele
est afrmando 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 flho diz que d verdadeira e
s falsa. E a flha 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 afrmou que d verdadeira. Isso pode ser concludo, pois o pai afrmou 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 universi-
dade 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 lgi-
ca nas Universidades de Dartmouth, de Princeton, de Yeshiva e na Universidade da Cidade de Nova York. Ele se juntou
ao departamento de flosofa da Universidade de Indiana em 1981, onde agora professor emrito.
Smullyan escreveu muitos livros sobre lgica recreacional e matemtica, incluindo Satan, Cantor, and Infi-
nity; 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 mos-
tram que impossvel escrever um programa de computador que solucione problemas matemticos. Ele tambm se interessa por ex-
plicar 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 fotografa em estreo. Seu lema: Eu nunca tive um confito entre o ensino e a pesquisa,
assim como algumas pessoas, porque, quando estou ensinando, estou pesquisando.
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.
Lgicas e Operaes Bit
Computadores representam informaes usando bits. Um bit um smbolo com dois valores
possveis, 0 (zero) e 1 (um). O signifcado 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 valor-
verdade, 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 represen-
tada 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.
DEFINIO 7 Uma seqncia binria uma seqncia de zero ou mais bits. A extenso dessa seqncia o
nmero de dgitos (bits) que ela contm.
EXEMPLO 20 101010011 uma seqncia binria de comprimento nove.
Podemos estender operaes bit para seqncias binrias. Defnimos 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 repre-
sentar as seqncias binrias tipo OU, tipo E e tipo OU-exclusivo, respectivamente. Vamos ilus-
trar essas operaes com o Exemplo 21.
EXEMPLO 21 Encontre a seqncia binria tipo OU, a seqncia binria tipo E e a seqncia binria tipo OU-
exclusivo 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.)
TABELA 9 Tabela para os Operadores
Binrios OR, AND e XOR.
x y x y x y x
y
0
0
1
1
0
1
0
1
0
1
1
1
0
0
0
1
0
1
1
0
Valor-Verdade Bit
V
F
1
0
Links
1-15 1.1 Lgica Proposicional 15
16 1 / Os Fundamentos: Lgica e Demonstraes 1-16
Soluo: As seqncias so:
01 1011 0110
11 0001 1101
11 1011 1111 OU
01 0001 0100 E
10 1010 1011 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.
f) 2
n
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 flho 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 Offce, onde comeou a trabalhar com estatstica. Tukey, em suas pesquisas com
estatsticas, impressionou muitos estatsticos com suas habilidades. Em 1945, com o fm 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
signifcativas 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 flosofa 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 rece-
beu 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.
6. Considere que p e q so proposies: A eleio est deci-
dida e Os votos foram contados, respectivamente. Ex-
presse 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 l-
gicos.
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 sufciente,
que esteja nevando.
8. Considere que p, q e r so as proposies:
p : Voc est com gripe.
q : Voc perde a prova fnal.
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 sufciente 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 fnal.
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.
a) Voc tira um A nesta matria, mas no faz todos os
exerccios deste livro.
b) Voc tira um A no exame fnal, faz todos os exerccios
deste livro e tira um A nesta matria.
c) Tirar um A nesta matria necessrio para tirar um A
no exame fnal.
d) Voc tira um A no exame fnal, mas no faz todos os
exerccios deste livro; no entanto, tira um A nesta
matria.
e) Tirar um A no exame fnal e fazer todos os exerccios
deste livro sufciente para tirar A nesta matria.
f) Voc vai tirar um A nesta matria se e somente se voc
fzer todos os exerccios deste livro ou voc tirar um A
no exame fnal.
11. Considere que p, q e r so proposies:
p : Ursos-cinzentos so vistos na rea.
q : Fazer caminhada na trilha seguro.
r : As bagas esto maduras ao longo da trilha.
Escreva estas proposies usando p, q, r e conectivos
lgicos.
a) As bagas esto maduras ao longo da trilha, mas os
ursos-cinzentos no so vistos na rea.
b) Ursos-cinzentos no so vistos na rea e fazer caminhada
na trilha seguro, mas as bagas esto maduras ao longo
da trilha.
c) Se as bagas esto maduras ao longo da trilha, fazer
caminhada seguro se e somente se os ursos-cinzentos
no forem vistos na rea.
d) No seguro fazer caminhada na trilha, mas os ursos-
cinzentos no so vistos na rea e as bagas ao longo da
trilha esto maduras.
e) Para a caminhada ser segura, necessrio, mas no
sufciente, que as bagas no estejam maduras ao longo da
trilha e que os ursos-cinzentos no sejam vistos na rea.
f) Caminhada no segura ao longo da trilha sempre que
os ursos-cinzentos so vistos na rea e as bagas esto
maduras ao longo da trilha.
12. Determine se estes bicondicionais so verdadeiros ou
falsos.
a) 2 2 = 4 se e somente se 1 1 = 2.
b) 1 1 = 2 se e somente se 2 3 = 4.
c) 1 1 = 3 se e somente se macacos puderem voar.
d) 0 > 1 se e somente se 2 > 1.
13. Determine se cada uma destas proposies condicionais
verdadeira ou falsa.
a) Se 1 1 = 2, ento 2 2 = 5.
b) Se 1 1 = 3, ento 2 2 = 4.
c) Se 1 1 = 3, ento 2 2 = 5.
d) Se macacos puderem voar, ento 1 1 = 3.
14. Determine se cada uma destas proposies condicionais
verdadeira ou falsa.
a) Se 1 1 = 3, ento unicrnios existem.
b) Se 1 1 = 3, ento cachorros podem voar.
c) Se 1 1 = 2, ento cachorros podem voar.
d) Se 2 2 = 4, ento 1 2 = 3.
1-17 1.1 Lgica Proposicional 17
18 1 / Os Fundamentos: Lgica e Demonstraes 1-18
15. Para cada uma destas sentenas, determine se o ou inclu-
sivo 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 criptografa.
d) Voc pode jogar usando dlares americanos ou euros.
16. Para cada uma destas sentenas, determine se o ou inclu-
sivo 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, identifque o que signifca a sentena, se
o ou inclusivo (ou seja, uma disjuno) ou exclusivo. Quais
dos signifcados 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 sufciente 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 fca 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 forescero 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, sufciente
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.
20. 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) Eu lembrarei de enviar para voc o endereo apenas se
voc me mandar um e-mail.
b) Para ser um cidado americano, sufciente que voc
tenha nascido nos Estados Unidos.
c) Se voc mantiver seu livro terico, ele ser uma refe-
rncia til em seus cursos futuros.
d) O So Paulo vencer o Campeonato Brasileiro se seu
goleiro jogar bem.
e) Conseguir o emprego implica voc ter as melhores
credenciais.
f) Haver eroso na praia sempre que houver uma tem-
pestade.
g) Para ter uma senha vlida, necessrio que inicie uma
conexo no servidor.
h) Voc alcanar o cume a menos que voc comece a
escalada muito tarde.
21. Escreva cada uma destas proposies na forma p se e so-
mente se q em portugus.
a) Se est calor l fora, voc compra um sorvete e se voc
compra um sorvete porque est calor l fora.
b) Para que voc ganhe na loteria, necessrio e sufcien-
te que voc tenha o nico bilhete premiado.
c) Voc ser promovido apenas se voc tiver contatos, e
voc s ter contatos se for promovido.
d) Se voc assistir televiso sua mente se deteriorar, e
vice-versa.
e) Os trens atrasam exatamente nos dias em que eu os
pego.
22. Escreva cada uma destas proposies na forma p se e so-
mente se q em portugus.
a) Para que voc obtenha um A neste curso, necessrio
e sufciente que voc aprenda como resolver proble-
mas de matemtica discreta.
b) Se voc ler jornal todos os dias, voc estar informado,
e vice-versa.
c) Chove se fnal de semana, e fnal de semana quando
chove.
d) Voc poder ver o feiticeiro apenas se ele no estiver
escondido, e o feiticeiro no estar escondido apenas
se voc puder v-lo.
23. Determine a oposta, a contrapositiva e a inversa de cada
uma das proposies condicionais.
a) Se nevar hoje, esquiarei amanh.
b) Eu venho aula sempre que h uma prova.
c) Um inteiro positivo um primo apenas se no tem di-
visores alm de 1 e dele mesmo.
24. Determine a oposta, a contrapositiva e a inversa de cada
uma das proposies condicionais.
a) Se nevar esta noite, ento fcarei em casa.
b) Eu vou praia sempre que faz um dia ensolarado de
vero.
c) Quando me deito tarde, necessrio que eu durma at
o meio-dia.
25. Quantas linhas aparecem em uma tabela-verdade para
cada uma destas proposies compostas?
a) p p
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 pro-
posies 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 pro-
posies 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 pro-
posies 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 pro-
posies compostas.
a) p p b) p p
c) p q d) p q
e) (p q) (p q) f) (p q) (p q)
31. Construa uma tabela-verdade para cada uma destas pro-
posies 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 pro-
posies 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 pro-
posies 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.
1-19 1.1 Lgica Proposicional 19
35. Construa uma tabela-verdade para (p q) (r s).
36. Qual o valor de x depois que cada uma destas proposies se
depararem com um programa de computador, se x = 1 antes
de a proposio ser alcanada?
a) if 1 2 =3 then x:= x 1
b) if (1 1 = 3) OR (2 2 = 3) then x:= x 1
c) if (2 3 = 5) AND (3 4 = 7) then x:= x 1
d) if (1 1 = 2) XOR (1 2 = 3) then x:= x 1
e) if x < 2 then x:= x 1
37. Encontre a disjuno binria OR, a conjuno binria AND
e a disjuno binria exclusiva XOR de cada um destes pa-
res de seqncias de bit.
a) 101 1110, 010 0001
b) 1111 0000, 1010 1010
c) 00 0111 0001, 10 0100 1000
d) 11 1111 1111, 00 0000 0000
38. D os valores de cada uma destas expresses.
a) 1 1000 (0 1011 1 1011)
b) (0 1111 1 0101) 0 1000
c) (0 1010 1 1011) 0 1000
d) (1 1011 0 1010) (1 0001 1 1011)
Lgicas Fuzzy so utilizadas em inteligncia artifcial. Na lgica
fuzzy, a proposio tem um valor-verdade que um nmero
entre 0 e 1, inclusive. Uma proposio com valor-verdade 0 falsa
e uma com valor-verdade 1 verdadeira. Valores entre 0 e 1
indicam variantes de grau de verdade. Por exemplo, o valor-
verdade 0,8 pode ser indicado para uma proposio Fred
feliz, porque ele feliz na maior parte do tempo; e o valor-
verdade 0,4 pode ser indicado para a proposio John feliz,
porque ele feliz menos que a metade do tempo.
39. O valor-verdade da negao de uma proposio em lgica
fuzzy 1 menos o valor-verdade da proposio. Quais so
os valores-verdade das proposies Fred no feliz e
John no feliz?
40. O valor-verdade da conjuno de duas proposies em l-
gica fuzzy o mnimo dos valores-verdade de duas propo-
sies. Quais so os valores verdade das proposies Fred
e John so felizes e Nem Fred nem John so felizes?
41. O valor-verdade da disjuno de duas proposies em lgi-
ca fuzzy o mximo dos valores-verdade de duas proposi-
es. Quais so os valores-verdade das proposies Fred
feliz ou John feliz e Fred no feliz ou John no fe-
liz?
*42. A assero Esta declarao falsa uma proposio?
*43. A ensima proposio em uma lista de 100 proposies
Exatamente n dessas proposies nesta lista so falsas.
a) Quais as concluses que voc pode obter dessas
proposies?
b) Responda ao item (a) se a ensima proposio for No
mnimo n dessas proposies nesta lista so falsas.
c) Responda ao item (b), assumindo que a lista contm 99
proposies.
44. Uma antiga lenda siciliana diz que o barbeiro em uma cida-
de longnqua, que pode ser alcanada apenas se for percor-
rida uma perigosa estrada na montanha, barbeia aquelas
pessoas e apenas aquelas que no podem se barbear sozi-
nhas. Pode haver l esse barbeiro?
20 1 / Os Fundamentos: Lgica e Demonstraes 1-20
45. Cada habitante de uma vila longnqua sempre diz a verda-
de ou sempre mente. Um habitante dela dar apenas como
resposta um Sim ou um No para a pergunta que um
turista fzer. 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 foresta. 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 ver-
dade e aqueles que sempre mentem. Os canibais faro um
churrasco com o explorador a menos que ele possa deter-
minar se um canibal em particular sempre mente ou sem-
pre 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 especifcaes de sistema usando as propo-
sies p A mensagem verifcada contra vrus e q A
mensagem enviada de um sistema desconhecido, junta-
mente com conectivos lgicos.
a) A mensagem verifcada contra vrus sempre que a
mensagem enviada de um sistema desconhecido.
b) A mensagem foi enviada de um sistema desconhecido,
mas no foi verifcada contra vrus.
c) necessrio verifcar a mensagem contra vrus sempre
que ela for enviada de um sistema desconhecido.
d) Quando a mensagem no enviada de um sistema
desconhecido, no verifcada contra vrus.
48. Expresse este sistema de especifcaes usando as propo-
sies p O usurio entra com uma senha vlida, q O
acesso liberado e r O usurio pagou a taxa de assina-
tura, 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 especifcaes consistente? O sistema
est em um estado de multiuso se e somente se estiver
operando normalmente. Se o sistema est operando nor-
malmente, 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 especifcaes 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-
vos arquivos. Se os usurios no podem salvar novos arqui-
vos, ento o software do sistema no est sendo atualizado.
51. Este sistema de especifcaes consistente? O roteador
pode mandar pacotes para o sistema principal apenas se ele
suportar um novo espao de endereo. Para o roteador supor-
tar o novo espao de endereo, necessrio que a ltima libe-
rao 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 especifcaes consistente? Se o sistema
de arquivos no est bloqueado, ento novas mensagens en-
traram em fla. Se o sistema de arquivos no est blo queado,
ento o sistema est funcionando normalmente, e vice-ver-
sa. Se novas mensagens no esto entrando em fla, ento
sero enviadas para uma central de armazenamento de men-
sagens. Se o sistema de arquivos no est bloqueado, ento
as novas mensagens sero enviadas para a central de arma-
zenamento. Novas mensagens no sero enviadas para a
central de armazenamento.
53. Qual busca booleana voc utilizaria para procurar sites so-
bre praias em Nova Jersey? Qual voc utilizaria se quises-
se 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 cami-
nhadas 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 resolvi-
dos traduzindo as proposies em expresses lgicas e argumen-
tos 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 Co-
oper 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?
61. Steve quer determinar os salrios relativos de trs colegas
de trabalho usando dois fatos. Primeiro, ele sabe que se
Fred no tem o maior salrio dos trs, ento Janice tem.
Segundo, ele sabe que se Janice no tem o salrio mais
baixo, ento Maggie a mais bem paga. possvel deter-
minar os salrios relativos de Fred, Maggie e Janice a
partir do que Steve sabe? Se sim, quem tem o salrio
maior e quem tem o menor? Exponha seus argumentos.
62. Cinco amigos acessaram uma sala de bate-papo. possvel
determinar quem est conversando se as seguintes infor-
maes so conhecidas? Kevin ou Heather, ou ambos, es-
to conversando. Randy ou Vijay, mas no ambos, esto
conversando. Se Abby est conversando, ento Randy tam-
bm est. Vijay e Kevin esto ambos conversando, ou ne-
nhum dos dois est. Se Heather est conversando, ento
esto tambm Abby e Kevin. Exponha seus argumentos.
63. Um detetive entrevistou quatro testemunhas de um crime.
A partir das histrias das testemunhas, o detetive concluiu
que, se o mordomo est dizendo a verdade, ento o cozi-
nheiro tambm est; o cozinheiro e o jardineiro, ambos,
no podem estar dizendo a verdade; o jardineiro e o zela-
dor, ambos, no esto mentindo; e se o zelador est dizendo
a verdade, ento o cozinheiro est mentindo. Para cada
uma das quatro testemunhas, o detetive pode determinar se
a pessoa est mentindo ou dizendo a verdade? Exponha
seus argumentos.
64. Quatro amigos foram identifcados como suspeitos de um
acesso no autorizado em um sistema computacional. Eles
fzeram declaraes s autoridades que investigavam o cri-
me. Alice disse: Carlos que acessou. John disse Eu no
1.2 Equivalncias Proposicionais
Introduo
Um importante tipo de passo usado na argumentao matemtica a substituio de uma propo-
sio por outra com o mesmo valor-verdade. Por esse motivo, mtodos que produzem proposi-
es 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 opera-
dores lgicos, tais como p q.
Comearemos nossa discusso com a classifcao de proposies compostas de acordo com
seus possveis valores-verdade.
DEFINIO 1 Uma proposio composta que sempre verdadeira, qualquer que sejam os valores-verda-
de das proposies que ocorrem nela, chamada de tautologia. Uma proposio compos-
ta 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 con-
tradio chamada de contingncia.
Tautologias e contradies so muito importantes no raciocnio matemtico. O Exemplo 1 ilustra
esses tipos de proposies compostas.
1-21 1.2 Equivalncias Proposicionais 21
acessei. Carlos disse Diana acessou. Diana disse Carlos
mentiu ao dizer que eu acessei.
a) Se as autoridades tambm sabem que apenas um dos
quatro suspeitos est dizendo a verdade, quem cometeu
o crime? Exponha seus argumentos.
b) Se as autoridades tambm sabem que apenas um dos
quatro est mentindo, quem cometeu o crime? Exponha
seus argumentos.
*65. Resolva este famoso quebra-cabea, atribudo a Albert
Einstein e conhecido como o Enigma da Zebra. Cinco
homens de nacionalidades diferentes, com empregos dife-
rentes, vivem em casas consecutivas em uma rua. Essas
casas esto pintadas com cores diferentes. Os homens tm
animais de estimao diferentes e gostam de bebidas dife-
rentes. Determine quem tem uma zebra e quem tem por
bebida favorita gua mineral, a partir destas pistas: O in-
gls vive na casa vermelha. O espanhol tem um cachorro.
O japons pintor. O italiano bebe ch. O noruegus vive
na primeira casa esquerda. A casa verde imediatamente
do lado direito da casa branca. O fotgrafo cria caracis. O
diplomata vive na casa amarela. Bebe-se leite na casa do
meio. O dono da casa verde bebe caf. A casa do norue-
gus ao lado da azul. O violonista bebe suco de laranja.
A raposa est na casa ao lado da do fsico. O cavalo est na
casa ao lado da do diplomata. [Dica: Faa uma tabela em
que as flas representem os homens e as colunas, a cor das
casas, seus empregos, seus animais e suas bebidas favori-
tas e use a argumentao lgica para determinar as entra-
das corretas na tabela.]
22 1 / Os Fundamentos: Lgica e Demonstraes 1-22
TABELA 2 Leis de De
Morgan.
(p q) p q
(p q) p q
EXEMPLO 1 Podemos construir exemplos de tautologias e contradies usando apenas uma varivel proposi-
cional. 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
Proposies compostas que tm o mesmo valor-verdade em todos os possveis casos so chama-
das de logicamente equivalentes. Podemos defnir esta noo como se segue.
DEFINIO 2 As proposies compostas p e q so chamadas de logicamente equivalentes se p q uma
tautologia. A notao p q indica que p e q so logicamente equivalentes.
Lembre-se: O smbolo no um conectivo lgico e p q no uma proposio composta,
apenas quer dizer que p q uma tautologia. O smbolo usado freqentemente no lugar de
para indicar equivalncias lgicas.
Uma maneira de determinar quando duas proposies compostas so equivalentes usar a
tabela-verdade. Em particular, as proposies compostas p e q so equivalentes se e somente se
as colunas que fornecem seus valores-verdade so idnticas. O Exemplo 2 ilustra esse mtodo
para estabelecer uma importantssima e muito usada equivalncia lgica: (p q) o mesmo
que p q. Essa equivalncia lgica uma das duas leis de De Morgan, mostrada na Tabela
2, demonstradas pelo matemtico ingls Augustus De Morgan, na metade do sculo XIX.
EXEMPLO 2 Mostre que (p q) e p q so logicamente equivalentes.
Soluo: As tabelas-verdade dessas proposies compostas esto na Tabela 3. Como os valores-
verdade (p q) e p q coincidem para todas as possibilidades de combinaes de valo-
res-verdade de p e q, segue-se que (p q) ( p q) uma tautologia e, portanto, essas
proposies compostas so logicamente equivalentes.
TABELA 3 Tabelas-Verdade para (p q) e p q.
p q p q (p q) p q p q
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
Demo
Exemplos
Extras
TABELA 1 Exemplos de uma Tautologia e
de uma Contradio.
p p p p p p
V
F
F
V
V
V
F
F
TABELA 4 Tabela-Verdade para p q
e p q.
p q p p q p q
V
V
F
F
V
F
V
F
F
F
V
V
V
F
V
V
V
F
V
V
EXEMPLO 3 Mostre que p q e p q so logicamente equivalentes.
Soluo: Construmos a tabela-verdade dessas proposies compostas na Tabela 4. Como os
valores-verdade de p q e p q so idnticos, eles so logicamente equivalentes.
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 estabelecen-
do essa equivalncia lgica, precisamos de oito linhas, uma para cada combinao de valores-
verdade 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 tabela-
verdade. Note que precisamos do dobro de linhas de que precisvamos quando tnhamos duas
variveis proposicionais; essa relao continua sendo vlida para cada nova varivel proposicio-
nal 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, 2
n
linhas so necessrias quando temos n variveis proposicionais.
EXEMPLO 4 Mostre que p (q r) e (p q) (p r) so logicamente equivalentes. Essa a propriedade
distributiva da disjuno sobre a conjuno.
Soluo: Construmos a tabela-verdade para essas duas proposies compostas na Tabela 5.
Como os valores-verdade de p (q r) e (p q) (p r) so iguais, essas proposies so
logicamente equivalentes.
TABELA 5 Uma Demonstrao de que p (q r) e (p q) (p r) So Logicamente
Equivalentes.
p q r q r p (q r) p q p r (p q) (p r)
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
F
F
F
V
F
F
F
V
V
V
V
V
F
F
F
V
V
V
V
V
V
F
F
V
V
V
V
V
F
V
F
V
V
V
V
V
F
F
F
1-23 1.2 Equivalncias Proposicionais 23
24 1 / Os Fundamentos: Lgica e Demonstraes 1-24
TABELA 6 Equivalncias Lgicas.
Equivalncias Nome
p V p
p F p
Propriedades dos elementos neutros
p V V
p F F
Propriedades de dominao
p p p
p p p
Propriedades idempotentes
( p) p Propriedade da dupla negao
p q q p
p q q p
Propriedades comutativas
(p q) r p (q r)
(p q) r p (q r)
Propriedades associativas
p (q r) (p q) (p r)
p (q r) (p q) (p r)
Propriedades distributivas
(p q) p q
(p q) p q
Leis de De Morgan
p (p q) p
p (p q) p
Propriedades de absoro
p p V
p p F
Propriedades de negao
A Tabela 6 contm algumas equivalncias importantes.* Nessas equivalncias, V indica uma
proposio composta que sempre verdadeira, uma tautologia, e F indica uma proposio que
sempre falsa, uma contradio. Ns tambm mostramos algumas equivalncias importantes que
envolvem condicionais e bicondicionais nas tabelas 7 e 8, respectivamente. Ao leitor ser pedido
que verifque a veracidade dessas equivalncias nos exerccios no fnal desta seo.
A propriedade associativa para a disjuno mostra que a expresso p q r bem defnida, no
sentido de que tanto faz qual disjuno considerada primeiro, ou seja, tanto faz se fazemos primeiro
p q e posteriormente a disjuno deste com r, ou se fazemos primeiro a disjuno de q com r e
depois com p. De maneira anloga, p q r tambm est bem defnida. Estendendo esse racio-
cnio, segue-se que p
1
p
2
p
n
e p
1
p
2
p
n
tambm so bem defnidas sempre que p
1
,
p
2
, p
n
so proposies. Alm disso, note que as leis de De Morgan podem ser estendidas para
(p
1
p
2
p
n
) ( p
1
p
2
p
n
)
e
(p
1
p
2
p
n
) ( p
1
p
2
p
n
).
(Mtodos para demonstrar essas identidades sero analisados na Seo 4.1.)
* Leitores familiarizados com os conceitos de lgebra booleana vo notar que essas identidades so um caso especial de
identidades que valem para qualquer lgebra booleana. Compare-as com o conjunto de identidades da Tabela 1 da Seo
2.2 e com as identidades booleanas da Tabela 5 na Seo 11.1.
Usando as Leis de De Morgan
As duas equivalncias lgicas conhecidas como leis de De Morgan so particularmente impor-
tantes. Elas nos mostram como negar conjunes e como negar disjunes. Em particular, a
equivalncia (p q) p q nos diz que a negao de uma disjuno formada tomando
a conjuno das negaes das proposies componentes. Similarmente, (p q) p q
nos diz que a negao de uma conjuno formada tomando a disjuno das negaes das pro-
posies componentes. O Exemplo 5 ilustra o uso das leis de De Morgan.
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 Mor-
gan, (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.
TABELA 7 Equivalncias Lgicas
que Envolvem Sentenas
Condicionais.
p q p q
p q q p
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
TABELA 8 Equivalncias Lgicas
que Envolvem Bicondicionais.
p q (p q) (q p)
p q p q
p q (p q) ( p q)
(p q) p q
Links
AUGUSTUS DE MORGAN (18061871) Augustus De Morgan nasceu na ndia, onde seu pai era coronel no exr-
cito indiano. A famlia De Morgan mudou-se para a Inglaterra quando ele tinha 7 meses de idade. Ele freqentou esco-
las 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 Lon-
dres, 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 biogrfcas 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 prolfco. 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 primei-
ra 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 apresen-
tou o que talvez tenha sido a primeira defnio precisa de limite e o desenvolvimento de alguns testes de convergncia de sries infnitas.
De Morgan interessou-se tambm pela histria da matemtica, escrevendo biografas de Newton e Halley.
Em 1837, De Morgan casou-se com Sophia Frend, que escreveu a biografa 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 fcou conhecido pela sua bondade, bom humor
e grande inteligncia.
1-25 1.2 Equivalncias Proposicionais 25
26 1 / Os Fundamentos: Lgica e Demonstraes 1-26
Seja r Rodrigo vai ao concerto e s Carlos vai ao concerto. Ento, Rodrigo vai ao con-
certo ou Carlos vai ao concerto pode ser representado por r s. E, pela segunda lei de De Mor-
gan, 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.
Construindo Novas Equivalncias Lgicas
As equivalncias lgicas na Tabela 6, assim como qualquer outra que seja estabelecida (como as
mostradas nas tabelas 7 e 8), podem ser usadas para construir equivalncias lgicas adicionais. A
razo para isso que uma proposio composta pode ser substituda por outra proposio com-
posta que logicamente equivalente a essa sem mudar o valor-verdade da proposio original.
Essa tcnica ilustrada nos exemplos 68, em que tambm usamos o fato de que se p e q so
logicamente equivalentes e q e r so logicamente equivalentes, ento p e r tambm so logica-
mente equivalentes (veja o Exerccio 56).
EXEMPLO 6 Mostre que (p q) e p q so logicamente equivalentes.
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, quere-
mos 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 equi-
valncia 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 equiva-
lncias a seguir.
(p q) ( p q) pelo Exemplo 3
( p) q pela segunda lei de De Morgan
p q pela propriedade da dupla negao
EXEMPLO 7 Mostre que (p ( p q)) e p q so logicamente equivalentes desenvolvendo uma srie
de equivalncias lgicas.
Soluo: Vamos usar uma das equivalncias da Tabela 6 por vez, comeando por (p ( p q))
e terminando com p q. (Nota: Poderamos estabelecer essa equivalncia facilmente usando
tabelas-verdade.) Assim, temos as equivalncias a seguir.
(p ( p q)) p ( p q) pela segunda lei de De Morgan
p [ ( p) q] pela primeira lei de De Morgan
p (p q) pela propriedade da dupla negao
( p p) ( p q) pela segunda propriedade distributiva
F ( p q) pois p p F
( p q) F pela propriedade comutativa para disjunes
p q pela propriedade dos elementos neutros para F
Em conseqncia, (p ( p q)) e p q so logicamente equivalentes.
Exemplos
Extras
EXEMPLO 8 Mostre que (p q) (p q) uma tautologia.
Soluo: Para mostrar que essa proposio uma tautologia, vamos usar equivalncias para demons-
trar que logicamente equivalente a V. (Nota: Isso poderia ser feito usando tabelas-verdade.)
(p q) (p q) (p q) (p q) pelo Exemplo 3
( p q) (p q) pela primeira lei de De Morgan
( p p) ( q q) pelas propriedades associativas e comutativas
para a disjuno
V V pelo Exemplo 1 e pela propriedade comutativa
para a disjuno
V pela propriedade de dominao
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 vari-
veis, mas, quando o nmero de variveis cresce, isso pode fcar impraticvel. Por exemplo, exis-
tem 2
20
= 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 determi-
nar quando uma proposio composta uma tautologia. Quando, no entanto, existem 1.000 va-
riveis proposicionais, um computador pode determinar em um tempo razovel se uma proposio
uma tautologia? Testando todas as 2
1.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 vari-
veis 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 flha do casamento do famo-
so 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 ma-
temticos, 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 tive-
ram trs flhos.
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 fnal 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 tra-
balho 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 indefnida de qualquer grau de generalidade e complexidade. Suas anotaes sobre o Enge-
nho 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 fzeram 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 fsicamente, 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-27 1.2 Equivalncias Proposicionais 27
28 1 / Os Fundamentos: Lgica e Demonstraes 1-28
Exerccios
1. Use a tabela-verdade para verifcar 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 verifcar as propriedades comuta-
tivas.
a) p q q p b) p q q p
4. Use a tabela-verdade para verifcar as propriedades associa-
tivas.
a) (p q) r p (q r)
b) (p q) r p (q r)
5. Use a tabela-verdade para verifcar a propriedade distribu-
tiva.
p (q r) (p q) (p r).
6. Use a tabela-verdade para verifcar 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.
9. Mostre que cada uma das proposies condicionais a seguir
uma tautologia, usando a tabela-verdade.
a) (p q) p b) p (p q)
c) p (p q) d) (p q) (p q)
e) (p q) p f) (p q) q
10. Mostre que cada uma das proposies condicionais abaixo
uma tautologia, usando a tabela-verdade.
a) [ p (p q)] q
b) [(p q) (q r)] (p r)
c) [p (p q)] q
d) [(p q) (p r) (q r)] r
11. Mostre que cada uma das proposies condicionais do
Exerccio 9 uma tautologia, sem usar a tabela-verdade.
12. Mostre que cada uma das proposies condicionais do
Exerccio 10 uma tautologia, sem usar a tabela-verdade.
13. Use a tabela-verdade para verifcar as propriedades de
absoro.
a) p (p q) p b) p (p q) p
14. Determine se ( p (p q)) q uma tautologia.
15. Determine se ( q (p q)) p uma tautologia.
Os exerccios 16 a 28 pedem que voc mostre que duas propo-
sies compostas so logicamente equivalentes. Para fazer
isso, ou mostre que os dois lados so verdadeiros, ou que os
dois so falsos, para exatamente as mesmas combinaes de
valores-verdade das variveis proposicionais nessas expres-
ses (o que for mais fcil).
16. Mostre que p q e (p q) ( p q) so equivalentes.
17. Mostre que (p q) e p q so logicamente equiva-
lentes.
HENRY MAURICE SHEFFER (18831964) Henry Maurice Sheffer, flho de pais judeus, nasceu no oeste da Ucr-
nia 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 flosofa em
1908. Depois de conquistar uma posio de ps-doutor em Harvard, Henry viajou para a Europa com bolsa de pesqui-
sa. Ao retornar para os Estados Unidos, ele se tornou um acadmico nmade, permanecendo um ano em cada univer-
sidade: 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 flosofa. 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 simplifcar 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 irrita-
bilidade. 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.
18. Mostre que p q e q p so logicamente
equivalentes.
19. Mostre que p q e p q so logicamente
equivalentes.
20. Mostre que (p q) e p q so logicamente
equivalentes.
21. Mostre que (p q) e p q so logicamente
equivalentes.
22. Mostre que (p q) (p r) e p (q r) so
logicamente equivalentes.
23. Mostre que (p r) (q r) e (p q) r so
logicamente equivalentes.
24. Mostre que (p q) (p r) e p (q r) so
logicamente equivalentes.
25. Mostre que (p r) (q r) e (p q) r so
logicamente equivalentes.
26. Mostre que p (q r) e q (p r) so logicamente
equivalentes.
27. Mostre que p q e (p q) (q p) so logicamente
equivalentes.
28. Mostre que p q e p q so logicamente
equivalentes.
29. Mostre que (p q) (q r) (p r) uma
tautologia.
30. Mostre que (p q) ( p r) (q r) uma
tautologia.
31. Mostre que (p q) r e p (q r) no so
equivalentes.
32. Mostre que (p q) r e (p r) (q r) no so
equivalentes.
33. Mostre que (p q) (r s) e (p r) (q s) no
so logicamente equivalentes.
O dual de uma proposio composta que contm apenas
operadores lgicos , e a proposio composta obtida
pela troca de cada por , cada por , cada V por F e cada
F por V. O dual de s representado por s*.
34. Encontre o dual de cada uma destas proposies com-
postas.
a) p q b) p (q (r V))
c) (p q) (q F)
35. Encontre o dual de cada uma destas proposies com-
postas.
a) p q r b) (p q r) s
c) (p F) (q V)
36. Quando s* = s, em que s uma proposio composta?
37. Mostre que (s*)* = s quando s uma proposio composta.
38. Mostre que as equivalncias lgicas da Tabela 6, exce-
to pela propriedade da dupla negao, vm em pares,
em que cada par contm proposies compostas que
so duais de si prprias.
**39. Por que os duais de duas proposies compostas equiva-
lentes so tambm equivalentes, em que essas proposi-
es compostas contm apenas os operadores , e ?
40. Encontre uma proposio composta que envolva as va-
riveis proposicionais p, q e r, que verdadeira quando p
e q so verdadeiras e r falsa, mas o contrrio falso.
[Dica: Use uma conjuno de cada varivel proposicio-
nal ou sua negao.]
41. Encontre uma proposio composta que envolva as
variveis proposicionais p, q e r, que verdadeira quando
exatamente duas de p, q e r forem verdadeiras, mas o
contrrio falso. [Dica: Forme uma disjuno de conjunes.
Inclua uma conjuno para cada combinao de valores
para os quais a variante proposicional for verdadeira. Cada
conjuno dever incluir cada uma dessas trs variveis ou
suas negaes.]
42. Suponha que a tabela-verdade em n variveis proposicionais
dada. Mostre que pode ser formada uma proposio
composta com essa tabela-verdade a partir de uma
disjuno das conjunes das variveis, ou suas negaes,
com uma conjuno formada por cada combinao de
valores para os quais a proposio composta verdadeira.
A proposio composta resultante chamada de forma
normal disjuntiva.
Um conjunto de operadores lgicos chamado de funcionalmen-
te completo quando todas as proposies compostas so logica-
mente equivalentes a uma proposio composta que envolva
apenas esses operadores lgicos.
43. Mostre que , e formam um grupo de operadores lgicos
funcionalmente completo. [Dica: Use o fato de que toda
proposio composta logicamente equivalente a outra em
uma forma normal disjuntiva, como visto no Exerccio 42.]
44. Mostre que e formam um grupo de operadores
lgicos funcionalmente completo. [Dica: Primeiro use a
lei de De Morgan para mostrar que p q equivalente
a ( p q).]
45. Mostre que e formam um grupo de operadores lgicos
funcionalmente completo.
Os exerccios subseqentes envolvem os operadores lgicos
NAND e NOR. A proposio p NAND q verdadeira quando ou
p ou q, ou ambas, forem falsas; e falsa quando p e q, ambas,
forem verdadeiras. A proposio p NOR q verdadeira quando
ambas, p e q, forem falsas, e falsa em qualquer outro caso. As
proposies p NAND q e p NOR q so indicadas por p | q e p q,
respectivamente. (Os operadores | e so chamados de conectivo
de Sheffer e fecha de Peirce, recebendo os nomes de H. M.
Sheffer e C. S. Peirce, respectivamente.)
46. Construa a tabela-verdade para o operador lgico NAND.
47. Mostre que p | q logicamente equivalente a (p q).
48. Construa a tabela-verdade para o operador lgico NOR.
49. Mostre que p q logicamente equivalente a (p q).
50. Neste exerccio, mostraremos que {} um conjunto de
operadores lgicos funcionalmente completo.
a) Mostre que p p logicamente equivalente a p.
b) Mostre que (p q) (p q) logicamente equivalente
a p q.
c) Conclua a partir dos itens (a) e (b) e do Exerccio 49
que {} um conjunto de operadores lgicos
funcionalmente completo.
51. Encontre uma proposio composta logicamente equivalente
a p q, usando apenas o operador lgico .
52. Mostre que {|} um conjunto de operadores lgicos
funcionalmente completo.
53. Mostre que p | q e q | p so equivalentes.
54. Mostre que p | (q | r) e (p | q) | r no so equivalentes;
portanto, o operador lgico | no associativo.
*
*
*
1-29 1.2 Equivalncias Proposicionais 29
30 1 / Os Fundamentos: Lgica e Demonstraes 1-30
55. Quantas formas diferentes de tabelas-verdade de proposi-
es compostas existem que envolvam as variantes propo-
sicionais 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 logicamen-
te equivalentes, ento p e r so logicamente equivalentes.
57. A sentena a seguir foi tirada das especifcaes 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 espe-
cifcao difcil de ser compreendida porque envolve
proposies com duas condicionais. Encontre um equiva-
lente, uma especifcao de fcil compreenso, que envol-
va disjunes e negaes, mas no proposies condi-
cionais.
58. Quantas das disjunes p q, p q, q r, q r e
q r podem ser verdadeiras simultaneamente, a par-
tir 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,
p q s, p r s e p r s podem ser ver-
dadeiras simultaneamente, a partir da construo de
uma tabela-verdade com valores para p, q, r e s?
Uma proposio composta satisfatria se existe uma
atribuio de valores-verdade para as variveis na propo-
sio que torna a declarao verdadeira.
60. Quais das proposies compostas abaixo so satisfatrias?
a) (p q r) (p q s) (p r s)
( p q s) (p q s)
b) ( p q r) ( p q s) (p q s)
( p r s) (p q r) (p r s)
c) (p q r) (p q s) (q r s)
( p r s) ( p q s) (p q r)
( p q s) ( p r s)
61. Explique como um algoritmo para defnir se uma proposi-
o composta satisfatria pode ser usado para determi-
nar se uma proposio composta uma tautologia. [Dica:
Observe p, em que p a proposio composta que est
sendo examinada.]
*
1.3 Predicados e Quanticadores
Introduo
A lgica proposicional, estudada nas sees 1.1 e 1.2, no pode expressar adequadamente o sig-
nifcado 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 afrmao
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 signifcado de um amplo
grupo de proposies em matemtica e em cincia da computao de modo que nos permita ra-
ciocinar e explorar relaes entre objetos. Para entender a lgica de predicados, precisamos pri-
meiramente introduzir o conceito de predicado. Posteriormente, vamos introduzir o conceito de
quantifcadores, 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 especfca.
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
especifcaes. Essas declaraes no so nem verdadeiras nem falsas quando o valor das vari-
veis no especifcado. 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 decla-
rao. 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 predi-
cado maior que 3 e x a varivel. A declarao, ou afrmao, 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 1 Seja P (x) a declarao x > 3. Qual o valor-verdade de P (4) e P (2)?
Soluo: Obtemos a proposio P (4) substituindo x = 4 na declarao x > 3. Ento, P (4), que
a proposio 4 > 3, verdadeira. No entanto, P (2), que a proposio 2 > 3, falsa.
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 inva-
didos, sabemos que A(CS2) e A(MATH1) so verdadeiras.
Tambm podemos trabalhar com afrmaes que envolvam mais que uma varivel. Por
exemplo, considere a afrmao 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.
EXEMPLO 3 Seja Q (x, y) a representao de x = y + 3. Quais os valores-verdade de Q (1, 2) e Q (3, 0)?
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 afrmao Q (3, 0) a proposio
3 = 0 + 3, que verdadeira.
Exemplos
Extras
1-31 1.3 Predicados e Quantifcadores 31
32 1 / Os Fundamentos: Lgica e Demonstraes 1-32
EXEMPLO 4 Seja A(c, n) a representao de O computador c est conectado rede n, em que c uma va-
rivel 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 afrmaes com trs variveis, como R (x, y, z) represen-
tando x + y = z. Quando valores so atribudos s variveis, a proposio derivada tem um
valor-verdade.
EXEMPLO 5 Quais os valores-verdade para R (1, 2, 3) e R (0, 0, 1)?
Soluo: A proposio R (1, 2, 3) obtida substituindo-se x = 1, y = 2 e z = 3 na declarao
R (x, y, z). Ento, vemos que R (1, 2, 3) representa 1 + 2 = 3, que verdadeira. Tambm pode-
mos notar que R (0, 0, 1) representa 0 + 0 = 1, que falsa.
Em geral, uma afrmao que envolva n variveis x
1
, x
2
, ... , x
n
pode ser indicada por
P (x
1
, x
2
, ... , x
n
).
A declarao, ou afrmao, indicada por P (x
1
, x
2
, ... , x
n
) chamada de valor da funo propo-
sicional P para a n-pla (x
1
, x
2
, ... , x
n
), 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 vers-
til dos Estados Unidos; ele nasceu em Cambridge, Massachusetts, e fez importantes contribuies em um grande n-
mero de disciplinas, incluindo matemtica, astronomia, qumica, geodsica, metrologia, engenharia, psicologia,
flologia, histria da cincia e economia. Charles era tambm inventor, estudante de medicina dedicado, revisor de li-
vros, dramaturgo e ator, escritor de contos, fenomenologista, lgico e metafsico. Ele fcou conhecido pela sua compe-
tncia flosfca construtivista e produtividade em lgica, matemtica e muitas outras reas da cincia. Seu pai,
Benjamin Peirce, era professor de matemtica e flosofa 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
Cientfca Lawrence (1863). Seu pai o apoiou a seguir a carreira cientfca, mas, em vez disso, ele escolheu estudar
lgica e metodologia cientfca.
Em 1861, Peirce se tornou um membro da Agrimensura da Costa dos Estados Unidos, com o objetivo de melhor compreender a meto-
dologia cientfca. 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 obri-
gado 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 hierar-
quia. Ele foi tambm o fundador da teoria flosfca 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 flosofa da mate-
mtica. Seu trabalho relevante at nos dias de hoje; alguns de seus trabalhos em lgica foram recentemente aplicados inteligncia artif-
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 cientfcos, contribuio em dicion-
rios escolares, traduo de trabalhos cientfcos, palestras e escrita de livros tericos. Infelizmente, todas essas atividades no foram sufcien-
tes 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 flsofo 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 difculdade 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.
EXEMPLO 6 Considere a afrmao
if x > 0 then x := x + 1.
Quando essa declarao encontrada em um programa, o valor da varivel x naquele ponto de
execuo inserido em P (x), que x > 0. Se P (x) verdadeira para esse valor de x, o comando
x := x + 1 executado, logo o valor de x incrementado em uma unidade. Se P (x) falsa para
esse valor de x, o comando no executado, e, portanto, o valor de x no alterado.
Predicados so tambm usados em programas de computador para verifcar se eles sempre
produzem uma sada desejada quando dada uma entrada vlida. As declaraes que descre-
vem entradas vlidas so conhecidas por condies iniciais ou precondies e as condies
que verifcam se as sadas so satisfatrias quando o programa roda so chamadas de condi-
es fnais ou ps-condies. Como ilustra o Exemplo 7, usamos predicados para descrever
ambas as condies: precondies e ps-condies. Vamos estudar esse processo com mais
detalhes na Seo 4.4.
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 verifcar se
esse programa correto. Explique como podemos us-los para verifcar se para toda entrada v-
lida o programa faz o que se pretende.
Soluo: Como precondio, precisamos saber se x e y tm certos valores antes de rodar o pro-
grama. Ento, para essa precondio, podemos usar o predicado P (x, y), no qual P (x, y) a afr-
mao x = a e y = b, em que a e b so os valores de x e y antes de rodar o programa. Como
queremos verifcar 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 verifcar se esse programa sempre faz o que se deseja que faa, suponha que a precon-
dio P (x, y) satisfeita. Ou seja, supomos que x = a e y = b verdadeira. Isso signifca 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.
Quanticadores
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 impor-
tante, chamada de quantifcao, para criar proposies a partir de funes proposicionais. A
quantifcao 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 quantifcaes.
Vamos nos concentrar em dois tipos de quantifcao aqui: a universal, a qual signifca 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 quantifcadores chamada de clculo de predicados.
Auto-
avaliao
1-33 1.3 Predicados e Quantifcadores 33
34 1 / Os Fundamentos: Lgica e Demonstraes 1-34
O QUANTIFICADOR UNIVERSAL Muitas afrmaes matemticas referem-se a alguma
propriedade que verdadeira para todos os valores de uma varivel em determinado domnio,
chamado de domnio de discurso (ou de universo de discurso), freqentemente apenas chama-
do de domnio. Essas afrmaes so expressas usando quantifcao universal. A quantifcao
universal de P (x) para determinado domnio a proposio que afrma que P (x) verdadeira para
todos os valores de x pertencentes a esse domnio. Note que o domnio especifca os possveis
valores da varivel x. O signifcado da quantifcao universal de P (x) muda quando mudamos o
domnio. O domnio deve ser sempre especifcado quando usamos um quantifcador universal;
sem ele, a quantifcao universal no est defnida.
DEFINIO 1 A quantifcao universal de P (x) a afrmao
P (x) vlida para todos os valores de x do domnio.
A notao x P (x) indica a quantifcao universal de P (x). Aqui chamado de quan-
tifcador universal. Lemos x P (x) como para todo x P (x). Um elemento para o qual P (x)
falsa chamado de contra-exemplo para x P (x).
O signifcado do quantifcador universal resumido na primeira linha da Tabela 1. Vamos
ilustrar o uso do quantifcador universal nos exemplos 813.
EXEMPLO 8 Seja P (x) a declarao x + 1 > x. Qual o valor-verdade da quantifcao x P (x), no domnio
de todos os nmeros reais?
Soluo: Como P (x) verdadeira para todo nmero real x, a quantifcao
x P (x)
verdadeira.
Lembre-se: Em geral, assumido implicitamente que todos os domnios dos quantifcadores so
no vazios. Note que, se o domnio vazio, ento x P (x) verdadeira para toda proposio P (x),
uma vez que no h elemento no domnio para o qual P (x) falsa.
Alm disso, a quantifcao universal, para todo
1
pode ser expressa de muitas outras ma-
neiras, incluindo todos os, para cada, dado qualquer, arbitrariamente, para cada e
para qualquer.
TABELA 1 Quantifcadores.
Sentena Quando verdadeira? Quando falsa?
x P (x) P (x) verdadeira para todo x. Existe um x tal que P (x) falsa.
x P (x) Existe um x tal que P (x) verdadeira. P (x) falsa para todo x.
1
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.
Exemplos
Extras
Auto-
avaliao
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 x P (x). Note
que um nico contra-exemplo tudo de que precisamos para estabelecer que x P (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 quantifcao 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 x Q (x). Logo
x Q (x)
falsa.
EXEMPLO 10 Suponha que P (x) seja x
2
> 0. Para mostrar que x P (x) falsa onde o universo de discurso
consiste em todos os nmeros inteiros, damos um contra-exemplo. Vemos que x = 0 um contra-
exemplo, pois x
2
= 0 quando x = 0, ento x
2
no maior que 0 quando x = 0.
Procurar por contra-exemplos em proposies universalmente quantifcadas uma importan-
te atividade no estudo da matemtica, como veremos nas sees seguintes deste livro.
Quando todos os elementos do domnio podem ser listados seja x
1
, x
2
, ..., x
n
, segue-se
que a quantifcao universal x P (x) o mesmo que a conjuno
P (x
1
) P (x
2
) P (x
n
),
pois esta conjuno verdadeira se e somente se P (x
1
), P (x
2
), ... , P (x
n
) forem todas verdadeiras.
EXEMPLO 11 Qual o valor-verdade de x P (x), em que P (x) a proposio x
2
< 10 e o domnio o conjunto
dos inteiros positivos que no excedem 4?
Soluo: A declarao x P (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 4
2
< 10,
falsa, segue-se que xP (x) falsa.
EXEMPLO 12 O que signifca dizer x N (x) se N (x) O computador x est conectado rede e o domnio so
todos os computadores do campus?
Soluo: A declarao x N (x) signifca que, para todo computador x no campus, x est conecta-
do rede. Em portugus, a declarao pode ser expressa por Todo computador no campus est
conectado rede.
Apontamos anteriormente o fato de que a especifcao do domnio primordial e obrigat-
ria quando quantifcadores so usados. O valor-verdade da proposio quantifcada freqente-
mente depende do domnio, como mostra o Exemplo 13.
1-35 1.3 Predicados e Quantifcadores 35
36 1 / Os Fundamentos: Lgica e Demonstraes 1-36
EXEMPLO 13 Qual o valor-verdade de x (x
2
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 quantifcao universal x (x
2
x), com domnio nos nmeros reais, falsa. Por
exemplo,
1
2
2
1
2
( ) / .
Note que x
2
x se e somente se x
2
2 x = x (x 2 1) 0. Conseqentemente,
x
2
x se e somente se x 0 ou x 1. Daqui segue que x (x
2
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 (x
2
x) verdadeira, pois no h nmeros in-
teiros entre 0 e 1.
QUANTIFICADOR EXISTENCIAL Muitas proposies matemticas dizem que existe um
elemento com determinada propriedade. Essas proposies so expressas usando a quantifcao
existencial. Com a quantifcao existencial, construmos uma proposio que verdadeira se e
somente se P (x) verdadeira para, pelo menos, um valor no domnio.
DEFINIO 2 A quantifcao existencial de P (x) a proposio
Existe um elemento x no domnio tal que P (x).
Usamos a notao x P (x) para a quantifcao existencial de P (x). Aqui chamado de
quantifcador existencial.
Um domnio deve sempre ser especifcado quando uma proposio x P (x) usada. At mes-
mo porque seu signifcado muda quando mudamos o domnio. Sem a especifcao de um dom-
nio, a expresso x P (x) no tem sentido. A quantifcao existencial x P (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 quantifcao existencial de mui-
tas outras maneiras, tais como usar as palavras para algum, para pelo menos um ou h.
O signifcado do quantifcador existencial resumido na segunda linha da Tabela 1. Vamos
ilustrar o uso do quantifcador existencial nos exemplos 1416.
EXEMPLO 14 Seja P (x) a expresso x > 3. Qual o valor-verdade da quantifcao x P (x) no domnio dos
nmeros reais?
Soluo: Como x > 3 verdadeira para alguns nmeros reais por exemplo, quando x = 4 ,
a quantifcao existencial de P (x), que x P (x), verdadeira.
Observe que a proposio x P (x) falsa se e somente se no existe elemento x no domnio
para o qual P (x) verdadeira. Ou seja, x P (x) falsa se e somente se P (x) falsa para todo
elemento do domnio. Vamos ilustrar essa observao no Exemplo 15.
EXEMPLO 15 Seja Q (x) a expresso x = x + 1. Qual o valor-verdade da quantifcao x Q (x) no domnio
dos nmeros reais?
Exemplos
Extras
Soluo: Como Q (x) falsa para todos os nmeros reais, a quantifcao existencial de Q (x), que
x Q (x), falsa.
Lembre-se: Em geral, assumido implicitamente que todos os domnios dos quantifcadores so
no vazios. Note que se o domnio vazio, ento x Q (x) falsa para toda funo proposicional
Q (x), uma vez que no h elemento no domnio que valide Q (x).
Quando todos os elementos do domnio podem ser listados seja x
1
, x
2
, ..., x
n
, a quanti-
fcao existencial xP (x) a mesma que a disjuno
P (x
1
) P (x
2
) P (x
n
),
pois essa disjuno verdadeira se e somente se pelo menos uma das P (x
1
), P (x
2
), ... , P (x
n
) for
verdadeira.
EXEMPLO 16 Qual o valor-verdade de x P(x), em que P (x) a proposio x
2
> 10 e o domnio o conjunto
dos inteiros positivos que no excedem 4?
Soluo: Como o domnio {1, 2, 3, 4}, a proposio x P (x) a mesma que a disjuno
P (1) P (2) P (3) P (4).
Como P (4), que a proposio 4
2
> 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 quantifca-
o. Suponha que temos n objetos no domnio para uma varivel x. Para determinar quando
x P (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 x P (x) falsa. Caso contrrio, x P (x) ser verdadeira. Para ver quando x P (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 x P (x)
falsa. (Note que esse procedimento de procura no se aplica quando existem infnitos valores
de x no domnio. No entanto, uma maneira possvel de pensar sobre os valores-verdade das
quantifcaes.)
Outras Quanticaes
Agora temos introduzido os quantifcadores universal e existencial. Esses so os mais importan-
tes quantifcadores em matemtica e em cincia da computao. No entanto, existe um nmero
no limitado de quantifcadores que podemos defnir, tais como existem exatamente dois,
existem no mais de trs, existem pelo menos 100, e assim por diante. Desses outros quanti-
fcadores, um dos mais freqentemente vistos o quantifcador de unicidade, indicado por !
ou
1
. A notao !x P (x) [ou
1
x P (x)] indica que Existe um nico x tal que P (x) verdadeira.
Outras frases podem ser usadas para a quantifcao de unicidade, incluindo existe exatamente
um e existe um e somente um. Observe que podemos usar quantifcadores e lgica proposi-
cional para expressar unicidade (veja o Exerccio 52 na Seo 1.4), ento podemos nos esquivar
do quantifcador de unicidade. Geralmente, melhor trabalhar com os quantifcadores universal
e existencial, pois as regras de inferncia para esses quantifcadores podem ser usadas.
1-37 1.3 Predicados e Quantifcadores 37
38 1 / Os Fundamentos: Lgica e Demonstraes 1-38
Quanticadores com Domnio Restrito
Uma notao abreviada freqentemente usada para restringir o domnio de um quantifcador.
Nessa notao, uma condio que a varivel deve satisfazer includa depois do quantifica-
dor. Esse fato ilustrado no Exemplo 17. Vamos tambm descrever outras formas de notao
que envolvem elementos de conjuntos na Seo 2.1.
EXEMPLO 17 O que as proposies x < 0 (x
2
> 0), y 0 (y
3
0) e z > 0 (z
2
= 2) signifcam, em que o
domnio em cada um dos casos o conjunto dos nmeros reais?
Soluo: A proposio x < 0 (x
2
> 0) fala sobre qualquer nmero real x com x < 0, x
2
> 0. Ou
seja, ela diz que O quadrado de todo nmero negativo positivo. A proposio o mesmo que
x (x < 0 x
2
> 0).
A proposio y 0 (y
3
0) fala que, para qualquer nmero real y com y 0, teremos y
3
0.
Ou seja, ela diz que O cubo de um nmero no nulo tambm no nulo. Note que esta propo-
sio equivalente a y (y 0 y
3
0).
Finalmente, a proposio z > 0 (z
2
= 2) fala que existe um nmero real z com z > 0, tal que
z
2
= 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 z
2
= 2).
Note que a restrio de um quantifcador universal a mesma que o quantifcador universal
de uma proposio condicional. Por exemplo, x < 0 (x
2
> 0) uma outra maneira de expressar
x (x < 0 x
2
> 0). Por outro lado, a restrio de um quantifcador existencial a mesma que o
quantifcador existencial de uma conjuno. Por exemplo, z > 0 (z
2
= 2) uma outra maneira de
expressar z (z > 0 z
2
= 2).
Prioridade dos Quanticadores
Os quantifcadores e tm prioridade maior que todos os operadores lgicos do clculo propo-
sicional. Por exemplo, x P (x) Q (x) a disjuno de x P (x) e Q (x). Em outras palavras, ela
signifca (x P (x)) Q (x) em vez de x (P (x) Q (x)).
Ligando Variveis
Quando um quantifcador usado na varivel x, dizemos que essa ocorrncia da varivel liga-
da. Uma ocorrncia de uma varivel que no ligada por um quantifcador 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 parti-
culares para ser uma proposio. Isso pode ser feito usando uma combinao de quantifcadores
universais, existenciais ou dando algum valor para as variveis.
A parte da expresso lgica qual um quantifcador aplicado chamada de escopo do
quantifcador. Conseqentemente, uma varivel livre se ela no est sob o escopo de algum
quantifcador na frmula em que aparece essa varivel.
EXEMPLO 18 Na afrmao x (x + y = 1), a varivel x ligada pelo quantifcador existencial, mas a varivel
y livre, pois no ligada a nenhum quantifcador, nem assume nenhum valor especfco. Isso
ilustra que, na declarao x (x + y = 1), x ligada e y livre.
Na afrmao x (P (x) Q (x)) x R (x), todas as variveis so ligadas. O escopo do primeiro
quantifcador x, pois P (x) Q (x) aplicado apenas a x, e no ao resto da expresso. Similar-
mente, o escopo do segundo quantifcador, x, nesta expresso R (x). Isto , o quantifcador exis-
tencial atua sobre a varivel x em P (x) Q (x) e o quantifcador universal x atua sobre a varivel
x em R(x). Observe que poderamos ter escrito nossa afrmao usando duas variveis diferentes x
e y, como x (P (x) Q (x)) yR (y), pois o escopo dos dois quantifcadores no se sobrepe. O
leitor deve estar ciente de que, no uso comum, a mesma letra freqentemente usada para represen-
tar variveis ligadas por diferentes quantifcadores com escopo que no se sobrepe.
Equivalncias Lgicas que Envolvem Quanticadores
Na Seo 1.2, introduzimos a noo de equivalncias lgicas de proposies compostas. Pode-
mos estender essa noo a expresses que envolvem predicados e quantifcadores.
DEFINIO 3 Sentenas que envolvem predicados e quantifcadores so logicamente equivalentes se e so-
mente 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 quantifcadores so logicamente equivalentes.
O Exemplo 19 ilustra como duas declaraes que envolvem predicados e quantifcadores so
logicamente equivalentes.
EXEMPLO 19 Mostre que x (P (x) Q (x)) e x P (x) x Q (x) so logicamente equivalentes (em que o mesmo
domnio usado nas duas). Essa equivalncia lgica mostra que podemos distribuir o quantifca-
dor universal sobre a conjuno. Alm disso, podemos distribuir o quantifcador 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 x P (x) x Q (x) so
logicamente equivalentes fazendo duas coisas. Primeiro, mostramos que se x (P (x) Q (x))
verdadeira, ento x P (x) x Q (x) verdadeira. Depois, mostramos que, se x P (x)
x Q (x) verdadeira, ento x (P (x) Q (x)) verdadeira.
Ento, suponha que x (P (x) Q (x)) seja verdadeira. Isso signifca que se a est no domnio,
ento P (a) Q(a) verdadeira. Logo, P (a) verdadeira e Q (a) verdadeira. Como P (a) ver-
dadeira e Q (a) verdadeira para todo elemento do domnio, podemos concluir que x P (x) e
x Q (x) so ambas verdadeiras. Isso signifca que x P (x) x Q (x) verdadeira.
Agora podemos supor que x P (x) x Q (x) verdadeira. Disso segue que x P (x) e x Q (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 proble-
ma em usar o mesmo valor a). Disso segue que, para todo a do domnio, P (a) Q (a) verdadei-
ra. Portanto, x (P (x) Q (x)) verdadeira. Podemos, ento, concluir que
x (P (x) Q (x)) x P (x) x Q (x).
Negando Expresses Quanticadas
Freqentemente vamos querer considerar a negao das expresses quantifcadas. Por exemplo,
considere a negao da expresso
Todo estudante na sua classe teve aulas de clculo.
1-39 1.3 Predicados e Quantifcadores 39
40 1 / Os Fundamentos: Lgica e Demonstraes 1-40
Essa expresso uma quantifcao universal, nominalmente,
x P (x),
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 quantifcao existencial da negao da funo proposicio-
nal original, nominalmente,
x P (x).
Esse exemplo ilustra a seguinte equivalncia lgica:
x P (x) x P (x).
Para mostrar que x P (x) e x (x) so logicamente equivalentes, no importando o que signifca
a funo proposicional P (x) e tampouco qual o domnio, primeiro note que x P (x) verdadeira
se e somente se x P (x) falsa. Depois, note que x P (x) falsa se e somente se existe um elemen-
to 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 x P (x) verdadeira. Colocando esses
passos em seqncia, podemos concluir que x P (x) e x P (x) so logicamente equivalentes.
Suponha que queiramos negar uma quantifcao existencial. Por exemplo, considere a ex-
presso Existe um estudante na sua classe que teve aulas de clculo. Este o quantifcador
existencial
x Q (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 quantifcao universal da nega-
o da funo proposicional original, ou, escrito em linguagem dos quantifcadores,
x Q (x).
Esse exemplo ilustra a equivalncia
x Q (x) x Q (x).
Para mostrar que x Q (x) x Q (x) so logicamente equivalentes, no importando o que
signifca a funo proposicional Q (x) e tampouco qual o domnio, primeiro note que x Q (x)
verdadeira se e somente se x Q (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 x Q (x) verdadeira. Colocando esses passos
em seqncia, vemos que x Q (x) verdadeira se e somente se x Q (x) verdadeira. E con-
clumos que eles so logicamente equivalentes.
As regras para negaes de quantifcadores so chamadas de leis de De Morgan para quan-
tifcadores. Essas regras esto resumidas na Tabela 2.
Auto-
avaliao
TABELA 2 Leis de De Morgan para Quantifcadores.
Negao Sentena Equivalente Quando a Negao Verdadeira? Quando Falsa?
x P (x) x P (x) Para todo x, P (x) falsa. Existe um x para o qual
P (x) verdadeira.
x P (x) x P (x) Existe um x para o qual
P (x) falsa.
Para todo x, P (x) verdadeira.
Lembre-se: Quando o domnio de um predicado P (x) consiste em n elementos, em que n um
nmero inteiro positivo, as regras de negao para proposies quantifcadas so exatamente
como as leis de De Morgan discutidas na Seo 1.2. Por isso, chamamos essas leis de leis de
De Morgan para quantifcadores. Quando o domnio tem n elementos x
1
, x
2
, ..., x
n
, segue que
x P (x) o mesmo que (P (x
1
) P (x
2
) P (x
n
)), que equivalente a P (x
1
)
P (x
2
) P (x
n
) pela lei de De Morgan, e isso o mesmo que x P (x). De maneira an-
loga, x P (x) o mesmo que (P (x
1
) P (x
2
) P (x
n
)), que pela lei de De Morgan
equivalente a P (x
1
) P (x
2
) P (x
n
) e isso o mesmo que x P (x).
Ilustramos a negao de proposies quantifcadas nos exemplos 20 e 21.
EXEMPLO 20 Quais as negaes de Existe um poltico honesto e Todos os brasileiros comem churrasco?
Soluo: Seja H (x) correspondente a x honesto. Ento, a proposio Existe um poltico hones-
to representada por xH (x), em que o domnio consiste em todos os polticos. A negao dessa
declarao xH (x), que equivalente a x H (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 x C (x), em que o domnio consiste em todos os brasilei-
ros. A negao dessa proposio representada por x C (x), que equivalente a x C (x). Essa
negao pode ser expressa de muitas maneiras diferentes, incluindo Alguns brasileiros no co-
mem churrasco ou Existe um brasileiro que no come churrasco.
EXEMPLO 21 Quais as negaes das proposies x (x
2
> x) e x (x
2
= 2)?
Soluo: A negao de x (x
2
> x) a proposio x (x
2
> x), que equivalente a x (x
2
> x).
Esta pode ser reescrita como x (x
2
x). A negao de x (x
2
= 2) a proposio x (x
2
= 2),
que equivalente a x (x
2
= 2). Essa pode ser reescrita como x (x
2
2). Os valores-verdade
dessas proposies dependem do domnio.
Usaremos as leis de De Morgan para quantifcadores no Exemplo 22.
EXEMPLO 22 Mostre que x (P (x) Q (x)) e x (P (x) Q (x)) so logicamente equivalentes.
Soluo: Pela lei de De Morgan para quantifcadores universais, sabemos que x (P (x) Q (x))
e x ( (P (x) Q (x))) so logicamente equivalentes. Pela quinta equivalncia lgica da Tabela
7 da Seo 1.2, sabemos que (P (x) Q (x)) e P (x) Q (x) so logicamente equivalentes para
todo x. Como podemos substituir uma expresso logicamente equivalente por outra, em uma
equivalncia lgica, segue que x (P (x) Q (x)) e x (P (x) Q (x)) so logicamente equiva-
lentes.
Exemplos
Extras
1-41 1.3 Predicados e Quantifcadores 41
42 1 / Os Fundamentos: Lgica e Demonstraes 1-42
Traduzindo do Portugus para Expresses Lgicas
Traduzir sentenas em portugus (ou outra linguagem natural) para expresses lgicas uma
tarefa crucial em matemtica, lgica de programao, inteligncia artifcial, engenharia de software
e muitas outras disciplinas. Comeamos a estudar esse tpico na Seo 1.1, onde usamos propo-
sies para expressar sentenas em expresses lgicas. Naquela discusso, ns propositalmente
evitamos sentenas em que suas tradues necessitavam de predicados e quantifcadores. Tradu-
zir do portugus para expresses lgicas torna-se mais complicado quando quantifcadores so
necessrios. Alm do mais, podem existir muitas maneiras de traduzir uma sentena particular.
(Portanto, no existe uma receita que pode ser seguida passo a passo.) Vamos usar alguns exem-
plos para ilustrar como traduzir do portugus para expresses lgicas. O objetivo nessa traduo
produzir expresses lgicas simples e usuais. Nesta seo, restringiremos a sentenas que po-
dem ser traduzidas usando apenas um quantifcador; na prxima seo, veremos sentenas mais
complicadas que requerem muitos quantifcadores.
EXEMPLO 23 Expresse a sentena Todo estudante desta classe estudou clculo, usando predicados e quanti-
fcadores.
Soluo: Primeiro, reescrevemos a sentena para identifcar claramente qual o quantifcador
apropriado para usar. Fazendo isso, obtemos:
Para cada estudante desta classe, este estudante estudou clculo.
Depois, introduzimos uma varivel e a sentena torna-se
Para cada estudante x desta classe, x estudou clculo.
Continuando, introduzimos C (x), que o predicado x estudou clculo. Conseqentemente,
se o domnio para x consiste nos estudantes desta classe, podemos traduzir nossa sentena
para x C (x).
No entanto, existem outras maneiras corretas; diferentes domnios e predicados que podem
ser usados. A traduo que escolhemos depende do raciocnio subseqente que queremos levar a
cabo. Por exemplo, podemos estar interessados em um grupo de pessoas mais amplo que aquele
dessa classe. Se mudarmos o domnio para todas as pessoas, precisaremos expressar nossa sen-
tena por
Para cada pessoa x, se x um estudante desta classe, ento x estudou clculo.
Se S (x) representa a sentena x um estudante desta classe, vemos que nossa sentena
pode ser expressa por x (S (x) C (x)). [Cuidado! Nossa sentena no pode ser expressa
por x (S (x) C (x)), pois essa expresso diz que todas as pessoas so estudantes desta clas-
se e j estudaram clculo!]
Finalmente, quando estamos interessados em relacionar as pessoas com a matria clculo,
podemos preferir um predicado com duas variveis Q (x, y) para a sentena estudante x estudou
a matria y. E podemos substituir C (x) por Q (x, clculo) em ambas as tradues anteriores e
obter x Q (x, clculo) ou x (S (x) Q (x, clculo)).
No Exemplo 23, mostramos diferentes modos de expressar a mesma sentena usando predi-
cados e quantifcadores. 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 quantifcadores.
Exemplos
Extras
Soluo: A sentena Algum estudante da classe visitou o Mxico signifca que
Existe um estudante da classe com a propriedade de que o estudante visitou o Mxico.
Podemos introduzir uma varivel x, e a sentena passar a
Existe um estudante x da classe com a propriedade de que x visitou o Mxico.
Introduzimos M (x), que a sentena x visitou o Mxico. Se o domnio consiste em todos os
estudantes da classe, podemos traduzir essa primeira sentena por x M (x).
No entanto, se estamos interessados nas pessoas alm das pessoas da classe, podemos olhar
para a sentena de maneira um pouco diferente. Nossa sentena pode ser expressa por
Existe uma pessoa x que tem as propriedades de x ser estudante da classe e x visitou o
Mxico.
Nesse caso, o domnio da varivel x consiste em todas as pessoas. Introduzimos S (x) para represen-
tar x estudante da classe. Nossa soluo fca x (S (x) M (x)) porque a sentena diz que existe
uma pessoa x que estudante e visitou o Mxico. [Cuidado! Nossa sentena no pode ser expressa
por x (S (x) M (x)), que verdadeira para qualquer pessoa que no esteja na classe, pois, nesse
caso, para uma pessoa x, S (x) M (x) torna-se F V ou F F, ambas verdadeiras.]
Similarmente, a segunda sentena pode ser expressa por
Para cada estudante da classe x, x tem a propriedade de x ter visitado o Mxico ou x ter vi-
sitado o Canad.
(Note que estamos assumindo o ou inclusivo, em vez do ou exclusivo.) Seja C (x) a sentena x
visitou o Canad. Seguindo o nosso raciocnio, vemos que, com o domnio consistindo nos alu-
nos da classe, a segunda sentena pode ser expressa por x (C (x) M (x)). No entanto, se o do-
mnio consiste em todas as pessoas, nossa sentena pode ser expressa por
Para cada pessoa x, se x estudante da classe, ento x tem a propriedade de x ter visitado o
Mxico ou x ter visitado o Canad.
Nesse caso, a sentena pode ser expressa por x(S(x) (C (x) M (x))).
Em vez de usar M (x) e C (x) para representar que x visitou o Mxico e x visitou o Canad, res-
pectivamente, podemos usar um predicado binrio V(x, y) para representar x visitou o pas y.
Nesse caso, V (x, Mxico) e V (x, Canad) tero o mesmo signifcado de M (x) e C (x) e podem
substitu-los em nossas respostas. Se estivermos trabalhando com muitas sentenas que envolvam
pessoas que visitam diferentes pases, podemos preferir trabalhar com esse predicado com duas
variveis. Caso contrrio, por simplicidade, devemos escolher predicados com uma varivel.
Usando Quanticadores em Sistemas de Especicaes
Na Seo 1.1, usamos proposies para representar sistemas de especifcaes. No entanto,
muitos sistemas de especifcaes envolvem predicados e quantifcaes. Isso ilustrado no
Exemplo 25.
EXEMPLO 25 Use predicados e quantifcadores para expressar o sistema de especifcaes 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.
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 especifcao Todo e-mail com
Exemplos
Extras
1-43 1.3 Predicados e Quantifcadores 43
44 1 / Os Fundamentos: Lgica e Demonstraes 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
especifcao Se um usurio estiver ativo, ao menos um link de rede estar habilitado pode ser
expressa por u A (u) n S (n, habilitado).
Exemplos de Lewis Carroll
Lewis Carroll (pseudnimo de Charles Lutwidge Dodgson), o autor de Alice no Pas das Mara-
vilhas, tambm autor de muitos trabalhos sobre lgica simblica. Seu livro contm muitos
exemplos de raciocnio usando quantifcadores. Os exemplos 26 e 27 so do livro Symbolic Lo-
gic; outros exemplos contidos neste livro so dados nos exerccios no fnal desta seo. Esses
exemplos ilustram como quantifcadores so usados para expressar vrios tipos de sentenas.
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 quantifcadores 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. Similar-
mente, a terceira sentena no pode ser expressa por
x (Q (x) R (x)).
Links
CHARLES LUTWIDGE DODGSON (18321898) Conhecemos Charles Dodgson como Lewis Carroll pseud-
nimo que ele usou em seus escritos sobre lgica. Dodgson, flho de um clrigo, foi o terceiro flho de um total de 11
crianas; de todas, ele era o nico que gaguejava. Ele fcava 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 extremamen-
te puritano e religioso. Sua amizade com as trs flhas 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. (Tam-
bm usou o pseudnimo Lewis Carroll em muitos de seus trabalhos de lgica recreacional.)
EXEMPLO 27 Considere estas sentenas, das quais as trs primeiras so premissas e a quarta uma concluso
vlida.
Todos os beija-fores so ricamente coloridos.
Nenhum pssaro grande vive de nctar.
Pssaros que no vivem de nctar so montonos nas cores.
Beija-fores so pequenos.
Sejam P(x), Q(x), R(x) e S(x) as sentenas x um beija-for, x grande, x vive de nctar e
x ricamente colorido, respectivamente. Assumindo que o domnio consiste em todos os ps-
saros, expresse as sentenas do argumento usando quantifcadores 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
Um importante tipo de linguagem de programao designado a raciocinar usando regras de
predicados lgicos. Prolog (de Programming in Logic), desenvolvido na dcada de 1970 por
cientistas computacionais que trabalhavam na rea de inteligncia artifcial, um exemplo dessas
linguagens. Programas em Prolog incluem um conjunto de declaraes que consistem em dois
tipos de sentenas, Prolog facts e Prolog rules (fatos Prolog e regras Prolog). Prolog facts def-
nem predicados que especifcam os elementos que satisfazem esses predicados. Prolog rules so
usados para defnir novos predicados que usam aqueles que j esto defnidos em Prolog facts. O
Exemplo 28 ilustra essas noes.
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-45 1.3 Predicados e Quantifcadores 45
Links
46 1 / Os Fundamentos: Lgica e Demonstraes 1-46
Um novo predicado teaches(p, s), que representa que o professor p ensina o estudante s, pode
ser defnido usando uma Prolog rule
teaches(P,S) :- instructor(P,C), enrolled(S,C)
o que signifca que teaches(p, s) verdadeiro se existir uma classe c tal que o professor p ins-
trutor 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 profes-
sores 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
quantifcaes em portugus.
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 quantifcaes 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), quantifcadores e conectivos lgicos. O domnio
para quantifcadores 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), quantifcadores 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 = x
2
. 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) x P (x) f) x P (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) x Q (x) e) x Q (x) f) x Q (x)
g) x Q (x)
13. Determine o valor-verdade de cada uma destas proposies,
se o domnio forem todos os nmeros inteiros.
a) n (n + 1 > n) b) n (2n = 3n)
c) n (n = 2n) d) n (n
2
n)
14. Determine o valor-verdade de cada uma destas proposies,
se o domnio forem todos os nmeros reais.
a) x (x
3
= 21) b) x (x
4
< x
2
)
c) x ((2x)
2
= x
2
) d) x (2x > x)
15. Determine o valor-verdade de cada uma destas proposies,
se o domnio para todas as variveis forem todos os
nmeros inteiros.
a) n (n
2
0) b) n (n
2
= 2)
c) n (n
2
n) d) n (n
2
< 0)
16. Determine o valor-verdade de cada uma destas proposi-
es, se o domnio de cada varivel forem todos os n-
meros reais.
a) x (x
2
= 2) b) x (x
2
= 21)
c) x (x
2
+ 2 1) d) x (x
2
x)
17. Suponha que o domnio da funo proposicional P (x)
sejam os nmeros inteiros 0, 1, 2, 3 e 4. Desenvolva estas
proposies usando disjunes, conjunes e negaes.
a) x P (x) b) x P (x) c) x P (x)
d) x P (x) e) x P (x) f) x P (x)
18. Suponha que o domnio da funo proposicional P (x) sejam
os nmeros inteiros 22, 21, 0, 1 e 2. Desenvolva estas pro-
posies usando disjunes, conjunes e negaes.
a) x P (x) b) x P (x) c) x P (x)
d) x P (x) e) x P (x) f) x P (x)
19. Suponha que o domnio da funo proposicional P(x)
sejam os nmeros inteiros 1, 2, 3, 4 e 5. Expresse estas
proposies sem usar quantifcadores, mas, sim, apenas
negaes, disjunes e conjunes.
a) x P (x) b) x P (x)
c) x P (x) d) x P (x)
e) x ((x 3) P (x)) x P (x)
20. Suponha que o domnio da funo proposicional P(x)
sejam 25, 23, 21, 1, 3 e 5. Expresse estas proposies
sem usar quantifcadores, mas, sim, apenas negaes,
disjunes e conjunes.
a) x P (x) b) x P (x)
c) x ((x 1) P (x))
d) x ((x 0) P (x))
e) x ( P (x)) x ((x < 0) P (x))
21. Para cada uma destas proposies, encontre um domnio
para que a proposio seja verdadeira e um domnio para
que a proposio seja falsa.
a) Todos esto estudando matemtica discreta.
b) Todos tm mais de 21 anos.
c) Duas pessoas tm a mesma me.
d) Nem todo par de pessoas diferentes tem a mesma av.
22. Para cada uma destas proposies, encontre um domnio
para que a proposio seja verdadeira e um domnio para
que a proposio seja falsa.
a) Todos falam hindu.
b) H algum com mais de 21 anos.
1-47 1.3 Predicados e Quantifcadores 47
48 1 / Os Fundamentos: Lgica e Demonstraes 1-48
c) Cada duas pessoas tm o mesmo nome.
d) Algum sabe mais que duas outras pessoas.
23. Transcreva de duas formas cada uma das proposies em
expresses lgicas usando predicados, quantifcadores e
conectivos lgicos. Primeiro, o domnio so os estudan-
tes em sua sala, e, segundo, considere-o como todas as
pessoas.
a) Algum em sua sala fala hindu.
b) Todos em sua sala so amigveis.
c) H uma pessoa em sua sala que no nasceu na
Califrnia.
d) Um estudante de sua sala participou de um flme.
e) Nenhum estudante de sua sala teve um curso de
programao lgica.
24. Transcreva de duas formas cada uma das proposies em
expresses lgicas usando predicados, quantifcadores e
conectivos lgicos. Primeiro, o domnio so os estudan-
tes em sua sala, e, segundo, considere-o como todas as
pessoas.
a) Todos em sua sala tm um celular.
b) Algum em sua sala viu um flme estrangeiro.
c) H uma pessoa em sua sala que no sabe nadar.
d) Todos os estudantes em sua sala sabem resolver
equaes quadrticas.
e) Algum estudante de sua sala no quer fcar rico.
25. Transcreva cada uma das proposies em expresses
lgicas usando predicados, quantifcadores e conectivos
lgicos.
a) Ningum perfeito.
b) Nem todos so perfeitos.
c) Todos os seus amigos so perfeitos.
d) Pelo menos um de seus amigos perfeito.
e) Todos so seus amigos e so perfeitos.
f) Nem todos so seus amigos ou algum no perfeito.
26. Transcreva cada uma das proposies abaixo em
expresses lgicas de trs maneiras diferentes, variando o
domnio e usando predicados com uma ou duas variveis.
a) Algum em sua escola visitou o Uzbequisto.
b) Todos em sua sala estudaram clculo e C++.
c) Ningum em sua escola tem uma bicicleta e uma
moto.
d) H uma pessoa em sua escola que no feliz.
e) Todos em sua escola nasceram no sculo XX.
27. Transcreva cada uma das proposies abaixo em expresses
lgicas de trs maneiras diferentes, variando o domnio e
usando predicados com uma ou duas variveis.
a) Um estudante em sua escola morou no Vietn.
b) H um estudante em sua escola que no fala hindu.
c) Um estudante em sua escola conhece Java, Prolog e
C++.
d) Todos em sua sala gostam de comida tailandesa.
e) Algum em sua sala no joga hquei.
28. Transcreva as proposies a seguir em expresses lgicas,
usando predicados, quantifcadores e conectivos lgicos.
a) Alguma coisa no est no lugar certo.
b) Todos os instrumentos esto no lugar certo e em
excelentes condies.
c) Tudo est no lugar certo e em excelente condio.
d) Nada est no lugar certo e em excelente condio.
e) Um de seus instrumentos no est no lugar correto,
mas est em excelente condio.
29. Expresse cada uma das proposies abaixo usando operadores
lgicos, predicados e quantifcadores.
a) Algumas proposies so tautologias.
b) A negao de uma contradio uma tautologia.
c) A disjuno de duas contingncias pode ser uma
tautologia.
d) A conjuno de duas tautologias uma tautologia.
30. Suponha que o domnio de uma funo proposicional P (x, y)
sejam pares de 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) x P (x, 3) b) y P (1, y)
c) y P (2, y) d) x P (x, 2)
31. Suponha que o domnio de Q (x, y, z) sejam as trs variveis
x, y, z, em que x = 0, 1 ou 2, y = 0 ou 1 e z = 0 ou 1.
Desenvolva as proposies abaixo usando disjunes e
conjunes.
a) y Q (0, y, 0) b) x Q (x, 1, 1)
c) z Q (0, 0, z) d) x Q (x, 0, 1)
32. Expresse cada uma das proposies abaixo usando quan-
tifcadores. Depois, forme a negao da proposio; ne-
nhuma negao pode fcar do lado esquerdo de um
quantifcador. Em seguida, expresse a negao em por-
tugus. (No use simplesmente as palavras No o
caso de.)
a) Todos os ces tm pulgas.
b) H um cavalo que trota.
c) Todo coala sabe escalar.
d) Nenhum macaco fala francs.
e) L existe um porco que nada e caa peixes.
33. Expresse cada uma das proposies abaixo usando quan-
tifcadores. Depois, forme a negao da proposio; ne-
nhuma negao pode fcar do lado esquerdo de um
quantifcador. Em seguida, expresse a negao em por-
tugus. (No use simplesmente as palavras No o
caso de.)
a) Alguns ces velhos aprendem truques novos.
b) Nenhum coelho sabe clculo.
c) Todo pssaro pode voar.
d) No h ces que falem.
e) No h nesta sala algum que fale francs e russo.
34. Expresse a negao das proposies abaixo usando quan-
tifcadores e depois expresse a negao em portugus.
a) Alguns motoristas no obedecem aos limites de
velocidade.
b) Todos os flmes suos so srios.
c) Ningum pode guardar um segredo.
d) H algum nesta sala que no tem uma boa atitude.
35. Encontre um contra-exemplo, se possvel, para estas pro-
posies quantifcadas universalmente, em que o domnio
para todas as variveis so todos os nmeros inteiros.
a) x (x
2
x)
b) x (x > 0 x < 0)
c) x (x = 1)
36. Encontre um contra-exemplo, se possvel, para estas pro-
posies quantifcadas universalmente, em que o domnio
para todas as variveis so todos os nmeros reais.
a) x (x
2
x) b) x (x
2
2)
c) x (|x| > 0)
37. Expresse cada uma das proposies abaixo usando
predicados e quantifcadores.
a) Um passageiro em uma companhia area qualifcado
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 classifca 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
especifcao e expresses lgicas que envolvem quantifcadores.
38. Transcreva os sistemas de especifcaes 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 especifcaes 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 fla.
a) p (F (p) B (p)) jL (j)
b) p B (p) j Q ( j)
c) j (Q ( j) L ( j)) p F (p)
d) (p B (p) j Q ( j)) j L ( j)
40. Expresse cada um dos sistemas de especifcaes a seguir,
usando predicados, quantifcadores 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.
d) Vdeos para downloads podem ser baixados se houver
pelo menos 8 megabytes de memria disponveis e a
velocidade de conexo for, no mnimo, de 56 kilobits
por segundo.
41. Expresse cada um dos sistemas de especifcaes abaixo,
usando predicados, quantifcadores e conectivos lgicos.
a) Pelo menos um e-mail, entre o conjunto total de
mensagens, pode ser salvo se o disco estiver com mais
de 10 kilobytes de espao livre.
b) Sempre que o alerta estiver ativado, todas as mensagens
na fla sero transmitidas.
c) A tela de diagnstico rastreia o status de todos os
sistemas, exceto do console principal.
d) Cada participante da videoconferncia que o anftrio
da chamada no ps em uma lista especial receber uma
conta.
42. Expresse cada um dos sistemas de especifcaes abaixo,
usando predicados, quantifcadores e conectivos lgicos.
a) Todo usurio tem acesso a uma caixa de entrada.
b) O sistema de caixa de entrada pode ser acessado por
qualquer pessoa no grupo se o sistema for travado.
c) O frewall est em estado de diagnstico apenas se o
servidor de proxy estiver em estado de diagnstico.
d) Pelo menos um roteador funcionar normalmente se a
entrada for entre 100 kbps e 500 kbps e o servidor de
proxy no estiver em modo de diagnstico.
43. Determine se x (P (x) Q (x)) e x P (x) x Q (x) so
logicamente equivalentes. Justifque sua resposta.
44. Determine se x (P (x) Q (x)) e x P (x) x Q (x) so
logicamente equivalentes. Justifque sua resposta.
45. Mostre que x (P (x) Q (x)) e x (P (x) x Q (x) so
logi camente equivalentes.
Os exerccios 46 a 49 estabelecem regras para a quantifcao
nula que pode ser usada quando uma varivel quantifcadora
no aparece em parte de uma proposio.
46. Estabelea as equivalncias lgicas abaixo, em que x no
aparece como varivel livre em A. Assuma que o domnio
no vazio.
a) (x P (x)) A x (P (x) A)
b) (x P (x)) A x (P (x) A)
47. Estabelea as equivalncias lgicas abaixo, em que x no
aparece como varivel livre em A. Assuma que o domnio
no vazio.
a) (x P (x)) A x (P (x) A)
b) (x P (x)) A x (P (x) A)
48. Estabelea as equivalncias lgicas abaixo, em que x no
aparece como uma varivel livre em A. Assuma que o
domnio no vazio.
a) x (A P (x)) A x P (x)
b) x (A P (x)) A x P (x)
49. Estabelea as equivalncias lgicas abaixo, em que x no
aparece como varivel livre em A. Assuma que o domnio
no vazio.
a) x (P (x) A) x P (x) A
b) x (P (x) A) x P (x) A
1-49 1.3 Predicados e Quantifcadores 49
50 1 / Os Fundamentos: Lgica e Demonstraes 1-50
50. Mostre que x P (x) x Q (x) e x (P (x) Q (x)) no so
logicamente equivalentes.
51. Mostre que x P (x) x Q (x) e x (P (x) Q (x)) no so
logicamente equivalentes.
52. Como mencionado no texto, a notao !x P (x) refere-se a
Existe um nico x para que P (x) seja verdadeira.
Se o domnio forem todos os nmeros inteiros, quais sero
os valores-verdade das proposies abaixo?
a) !x (x > 1) b) !x (x
2
= 1)
c) !x (x + 3 = 2x) d) !x (x = x + 1)
53. Quais so os valores-verdade das proposies abaixo?
a) !x P (x) x P (x)
b) x P (x) !x P (x)
c) !x P (x) x P (x)
54. Desenvolva !x P (x), em que o domnio so os nmeros
inteiros 1, 2 e 3, em termos de negao, conjuno e
disjuno.
55. Dados os fatos de Prolog no Exemplo 28, qual seria o
retorno de Prolog dado nestas perguntas?
a) ?instructor(chan,math273)
b) ?instructor(patel,cs301)
c) ?enrolled(X,cs301)
d) ?enrolled(kiko,Y)
e) ?teaches(grossman,Y)
56. Dados os fatos de Prolog no Exemplo 28, qual seria o
retorno de Prolog dado nestas perguntas?
a) ?enrolled(kevin,ee222)
b) ?enrolled(kiko,math273)
c) ?instructor(grossman,X)
d) ?instructor(X,cs301)
e) ?teaches(X,kevin)
57. Suponha que os fatos de Prolog sejam usados para defnir os
predicados me (M, Y ) e pai (F, X), em que M representa a
me de Y e F o pai de X, respectivamente. D uma regra
de Prolog para defnir o predicado irmo (X, Y ), em que X e
Y so irmos (ou seja, tm o mesmo pai e a mesma me).
58. Suponha que os fatos de Prolog sejam usados para defnir
os predicados me (M, Y) e pai (F, X), em que M represen-
ta a me de Y e F o pai de X, respectivamente. D uma
regra de Prolog para defnir o predicado av(X, Y), que
representa que X o av de Y. [Dica: Voc pode desenvol-
ver a disjuno no Prolog ou usando um ponto-e-vrgula
para separar predicados ou pondo esses predicados em li-
nhas separadas.]
Os exerccios 59 a 62 tm como base questes encontradas no
livro Lgica Simblica, de Lewis Carroll.
59. Considere P (x), Q (x) e R (x) como as proposies x um
professor, x ignorante e x vo, respectivamente.
Expresse cada uma das proposies usando quantifcadores,
conectivos lgicos e P (x), Q (x) e R (x), em que o domnio
so todas as pessoas.
a) Nenhum professor ignorante.
b) Todas as pessoas ignorantes so vs.
c) Nenhum professor vo.
d) O item (c) resulta de (a) e (b)?
60. Considere P (x), Q (x) e R (x) como as proposies x
uma explicao clara, x satisfatrio e x uma
desculpa, respectivamente. Suponha que o domnio de x
seja todo o texto em portugus. Expresse cada uma das
proposies abaixo usando quantifcadores, conectivos
lgicos e P (x), Q (x) e R (x).
a) Todas as explicaes claras so satisfatrias.
b) Todas as desculpas no so satisfatrias.
c) Algumas desculpas no so explicaes claras.
d) O item (c) resulta de (a) e (b)?
61. Considere P (x), Q (x), R (x) e S (x) como as proposies x
um beb, x lgico, x capaz de controlar um
crocodilo e x desprezvel, respectivamente. Suponha
que o domnio sejam todas as pessoas. Expresse cada uma
das proposies abaixo usando quantifcadores, conectivos
lgicos e P (x), Q (x), R (x) e S (x).
a) Bebs no so lgicos.
b) Ningum desprezvel se pode controlar um crocodilo.
c) Pessoas que no so lgicas so desprezveis.
d) Bebs no podem controlar crocodilos.
e) O item (d) resulta de (a), (b) e (c)? Se no, existe
alguma concluso correta?
62. Considere P (x), Q (x), R (x) e S (x) como as proposies x
um pato, x uma das minhas aves, x um ofcial e
x est valsando, respectivamente. Expresse cada uma
das proposies abaixo usando quantifcadores, conectivos
lgicos e P (x), Q (x), R (x) e S (x).
a) Nenhum pato est valsando.
b) Nenhum ofcial nunca recusa uma valsa.
c) Todas as minhas aves so patos.
d) Minhas aves no so ofciais.
e) O item (d) resulta de (a), (b) e (c)? Se no, h uma
concluso correta?
*
*
*
1.4 Quanticadores Agrupados
Introduo
Na Seo 1.3, defnimos os quantifcadores existencial e universal e mostramos como podem ser
usados em sentenas matemticas. Tambm explicamos como podem ser usados para traduzir
sentenas do portugus para expresses lgicas. Nesta seo, vamos estudar quantifcadores
agrupados. Dois quantifcadores so agrupados se um est no escopo do outro, tal como
x y (x + y = 0).
Note que tudo que est no escopo de um quantifcador pode ser considerado uma funo propo-
sicional. Por exemplo,
x y (x + y = 0)
o mesmo que x Q (x), em que Q (x) y P (x, y) e P (x, y) x + y = 0. Quantifcadores agrupa-
dos sempre ocorrem em matemtica e cincia da computao. No entanto, quantifcadores agru-
pados 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 quantifcadores, precisamos esclarecer o
que signifca cada predicado e cada quantifcador 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
x y (x + y = y + x)
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
x y (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
x y z (x + (y + z) = (x + y) + z)
a propriedade associativa da adio para nmeros reais.
EXEMPLO 2 Traduza para o portugus a sentena
x y ((x > 0) (y < 0) (xy < 0)),
em que o domnio para ambas as variveis so nmeros reais.
Soluo: Essa sentena diz que para todo nmero real x e para todo nmero real y, se x > 0 e y < 0,
ento xy < 0. Ou, ainda, para nmeros reais x e y, se x positivo e y negativo, ento xy nega-
tivo. Isso pode ser descrito mais sucintamente por O produto de um nmero positivo por um
nmero negativo sempre negativo.
PENSANDO EM QUANTIFICAES COMO LAOS Trabalhar com quantifcaes de mais
de uma varivel s vezes facilita o fato de pensarmos em termos de laos agrupados. ( claro que,
se existirem infnitos elementos no domnio de alguma varivel, no podemos dar uma volta por
todos os valores. No entanto, essa maneira de pensar pode nos ajudar a entender quantifcadores
agrupados.) Por exemplo, para ver se x y P (x, y) verdadeira, podemos dar uma passada por
todos os valores de x, e para cada valor de x, passamos por todos os valores de y. Se encontrarmos
P (x, y) verdadeira para todos os valores de x e y, teremos determinado que x y P (x, y) verda-
deira. Se chegarmos a algum valor de x para o qual encontramos algum valor de y, tal que P (x, y)
seja falsa, teremos mostrado que x y P (x, y) falsa.
Similarmente, para determinar quando x y P (x, y) verdadeira, damos uma volta por todos
os valores de x. Para cada valor de x, damos uma volta sobre os valores de y at achar um valor
Exemplos
Extras
1-51 1.4 Quantifcadores Agrupados 51
52 1 / Os Fundamentos: Lgica e Demonstraes 1-52
para o qual P(x, y) verdadeira. Se para todo valor de x encontrarmos um y, ento x y P (x, y)
verdadeira; se para algum x nunca encontrarmos um valor de y, ento x y P (x, y) falsa.
Para ver se x y P (x, y) verdadeira, podemos dar uma volta pelos valores de x at encon-
trarmos 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 x y P (x, y) verdadeira. Se no encontrar-
mos tal x, concluiremos que x y P (x, y) falsa.
Finalmente, para ver se x y P (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 x y P (x, y) ser falsa somente se no encontrarmos
um x para o qual encontramos algum y tal que P (x, y) seja verdadeira.
A Ordem dos Quanticadores
Muitas sentenas matemticas envolvem mltiplas quantifcaes de funes proposicionais com
mais de uma varivel. importante notar que a ordem dos quantifcadores precisa ser considera-
da, a menos que os quantifcadores no sejam todos universais ou todos existenciais.
Essa observao ilustrada pelos exemplos 3 a 5.
EXEMPLO 3 Seja P (x, y) a sentena x + y = y + x. Quais os valores-verdade das quantifcaes x y P (x, y)
e y x P (x, y), em que o domnio para as variveis consiste em todos os nmeros reais?
Soluo: A quantifcao
x y P (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
x y P (x, y) verdadeira. Note que a sentena y x P (x, y) diz Para todo nmero real y, para
todo nmero real x, x + y = y + x. Isto tem o mesmo signifcado que a sentena Para todo
nmero real x, para todo nmero real y, x + y = y + x. Ou seja, x y P (x, y) e y x P (x, y) tm
o mesmo signifcado, e so ambas verdadeiras. Isso ilustra o princpio que diz que a ordem dos
quantifcadores universais em uma sentena sem outros quantifcadores pode ser mudada sem
alterar o signifcado da sentena quantifcada.
EXEMPLO 4 Seja Q (x, y) a sentena x + y = 0. Quais os valores-verdade das quantifcaes y x Q (x, y) e
x y Q (x, y), em que o domnio para as variveis consiste em todos os nmeros reais?
Soluo: A quantifcao
y x Q (x,y)
indica a proposio
Existe um nmero real y para todo nmero real x, Q (x, y).
Qualquer que seja o valor de y escolhido, existe um valor x para o qual x + y = 0. Como no
existe nmero real y tal que x + y = 0 para todo nmero real x, a sentena y x Q (x, y) falsa.
Exemplos
Extras
TABELA 1 Quantifcaes de Duas Variveis.
Sentena Quando verdadeira? Quando falsa?
x y P (x, y)
y x P (x, y)
P (x, y) verdadeira para todo par x, y. Existe um par x, y para o qual
P (x, y) falsa.
x y P (x, y) Para todo x existe um y para
o qual P (x, y) verdadeira.
Existe um x tal que P (x, y)
falsa para todo y.
x y P (x, y) Existe um x tal que P (x, y)
verdadeira para todo y.
Para todo x existe um y para o
qual P (x, y) falsa.
x y P (x, y)
y x P (x, y)
Existe um par x, y para o qual
P (x, y) verdadeira.
P (x, y) falsa para
todo par x, y.
A quantifcao
x y Q (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,
x y Q (x, y) verdadeira.
O Exemplo 4 ilustra que a ordem em que aparecem os quantifcadores faz muita diferena.
As sentenas y x Q (x, y) e x y Q (x, y) no so logicamente equivalentes. A sentena y x Q (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, x y Q (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 (possivel-
mente dependente do valor de x escolhido) para o qual Q (x, y) verdadeira. Em outras pala-
vras, no segundo caso, y pode depender de x, enquanto, no primeiro caso, y uma constante
independente de x.
Dessas observaes, segue-se que y x Q (x, y) verdadeira, ento x y Q (x, y) deve ser
verdadeira. No entanto, se x y Q (x, y) verdadeira, no necessariamente y x Q (x, y) deve
ser verdadeira. (Veja os exerccios suplementares 24 e 25 no fnal deste captulo.)
A Tabela 1 resume o signifcado das possveis quantifcaes diferentes que envolvem duas
variveis.
Quantifcaes com mais de duas variveis tambm so comuns, como ilustra o Exemplo 5.
EXEMPLO 5 Seja Q (x, y, z) a sentena x + y = z. Quais os valores-verdade das sentenas x y z Q (x, y, z)
e z x y Q (x, y, z), em que o domnio consiste em todos os nmeros reais?
Soluo: Suponha que x e y sejam valores determinados. Ento, existe um nmero real z tal que
x + y = z. Conseqentemente, a quantifcao
x y z Q (x, y, z),
1-53 1.4 Quantifcadores Agrupados 53
54 1 / Os Fundamentos: Lgica e Demonstraes 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 quantifcao aqui importante, pois a quantifcao
z x y Q (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.
Traduzindo Sentenas Matemticas para
Sentenas que Envolvem Quanticadores Agrupados
Sentenas matemticas expressas em portugus podem ser traduzidas para expresses lgicas,
como nos mostram os exemplos 6 a 8.
EXEMPLO 6 Traduza para uma expresso lgica a sentena A soma de dois nmeros inteiros positivos
sempre positiva.
Soluo: Para traduzir essa sentena para uma expresso lgica, vamos primeiro reescrev-la at
que os quantifcadores 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
x y ((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 fca Para todo par de inteiros positivos,
sua soma positiva. Podemos express-la por
x y (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 in-
verso 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 multi-
plicativo. 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 impor-
tante em clculo.
Exemplos
Extras
EXEMPLO 8 (Requer clculo) Expresse a defnio de limite usando quantifcadores.
Soluo: Lembremos a defnio de limite
lim ( )
x a
f x L
=
: 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 defnio de limite pode ser expressa em termos de quantifcadores 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 defnio 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, quantifcadores restritos devem ser utilizados. Lembre que x > 0 P (x)
signifca que para todo x com x > 0, P (x) verdadeira.]
Traduzindo Quanticadores Agrupados para o Portugus
Pode ser complicado traduzir expresses com quantifcadores agrupados para sentenas em por-
tugus (ou qualquer outra lngua). O primeiro passo na traduo escrever por extenso o que os
quantifcadores e predicados da expresso signifcam. O prximo passo expressar esse signif-
cado em uma sentena o mais simples possvel. Esse processo ilustrado nos exemplos 9 e 10.
EXEMPLO 9 Traduza a sentena
x(C (x) y (C (y) F (x, y)))
para o portugus, em que C(x) x tem um computador, F (x, y) x e y so amigos e o dom-
nio para ambas as variveis so os estudantes da sua escola.
Soluo: A sentena diz que para todo estudante x de sua escola, x tem um computador ou existe
um estudante y tal que y tem um computador e x e y so amigos. Em outras palavras, todo estu-
dante da sua escola tem um computador ou tem um amigo que tem um computador.
EXEMPLO 10 Traduza a sentena
xyz((F (x, y) F (x, z) (y z)) (F (y, z))
para o portugus, em que F (x, y) x e y so amigos e o domnio para as variveis x, y e z so
todos os estudantes da sua escola.
Soluo: Primeiro examinemos a expresso (F (x, y) F (x, z) (y z)) F (y, z). Ela diz que
se os estudantes x e y so amigos e os estudantes x e z so amigos e, ainda mais, se y e z no so
o mesmo estudante, ento y e z no so amigos. Daqui segue que a sentena original, que tripla-
mente quantifcada, diz que existe um estudante x tal que para todo estudante y e para todo estudan-
te z diferente de y, se x e y so amigos e x e z so amigos, ento y e z no so amigos. Em outras
palavras, existe um estudante, tal que nenhum par de amigos seus tambm um par de amigos
entre si.
1-55 1.4 Quantifcadores Agrupados 55
56 1 / Os Fundamentos: Lgica e Demonstraes 1-56
Traduzindo Sentenas do Portugus para Expresses Lgicas
Na Seo 1.3 mostramos como quantifcadores podem ser utilizados para traduzir sentenas para
expresses lgicas. Contudo, queremos analisar sentenas tal que suas tradues para expresses
lgicas requeiram o uso de quantifcadores agrupados. Vamos agora trabalhar com tradues
dessas sentenas.
EXEMPLO 11 Expresse a sentena Se uma pessoa do sexo feminino e tem flhos, ento ela me de algum
como uma expresso lgica que envolve predicados, quantifcadores com domnio que consiste
em todas as pessoas e conectivos lgicos.
Soluo: A sentena Se uma pessoa do sexo feminino e tem flhos, ento ela me de algum
pode ser reescrita por Para toda pessoa x, se x do sexo feminino e x tem flhos, 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 flhos 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 quantifcao nula na parte (b) do Exerccio 47 da Seo 1.3, podemos mover
y para a esquerda e esse quantifcador 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, quantifcadores 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 quantifcador 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 quantifcador de
unicidade defnido na pgina 37.]
EXEMPLO 13 Use quantifcadores para expressar a sentena Existe uma mulher que j tomou um avio em
todas as linhas areas do mundo.
Soluo: Sejam P (w, f ) o predicado w tomou o avio f e Q ( f, a) o predicado f um avio da
linha a. Podemos expressar a sentena como
wa f (P (w, f ) Q ( f, a)),
em que o domnio de discurso para w, f e a consiste em todas as mulheres do mundo, todos avies
e todas as linhas areas, respectivamente.
A sentena tambm pode ser expressa por
wa f R (w, f, a),
em que R (w, f, a) w tomou o avio f na linha a. Embora essa seja mais compacta, um pouco
obscura a relao entre as variveis. Conseqentemente, a primeira soluo prefervel.
Negando Quanticadores Agrupados
Sentenas que envolvem quantifcadores agrupados podem ser negadas por aplicaes sucessivas
das regras de negao de sentenas com um nico quantifcador. 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
quantifcador.
Soluo: Por sucessivas aplicaes das leis de De Morgan para quantifcadores na Tabela 2 da
Seo 1.3, podemos mover a negao em xy (xy = 1) para dentro de todos os quantifcadores.
Vemos que xy (xy = 1) equivalente a x y (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 quantifcadores 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 quantifcadores na Tabela 2 da Seo 1.3, podemos mover a negao para dentro de to-
dos os quantifcadores 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:
w af (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 quantifcadores e predicados para expressar que lim
x a
f (x) no existe.
Soluo: Para dizer que lim
x a
f (x) no existe, basta dizer que, para todo L, lim
x a
f (x) L.
Usando o Exemplo 8, a sentena lim
x a
f (x) L pode ser expressa por
e > 0 > 0 x (0 < |x 2 a| < | f (x) 2 L | < e).
Exemplos
Extras
1-57 1.4 Quantifcadores Agrupados 57
Auto-
avaliao
58 1 / Os Fundamentos: Lgica e Demonstraes 1-58
Por sucessivas aplicaes das regras para negao de expresses quantifcadas, construmos esta
seqncia de sentenas equivalentes
e > 0 > 0 x(0 < |x 2 a| < |f (x) 2 L| < e)
e > 0 > 0 x (0 < |x 2 a| < | f (x) 2 L| < e)
e > 0 > 0 x (0 < |x 2 a| < | f (x) 2 L| < e)
e > 0 > 0 x (0 < |x 2 a| < | f (x) 2 L| < e)
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 equi-
valncia da Tabela 7 da Seo 1.2.
Como a sentena lim
x a
f (x) no existe signifca que para todo nmero real L, lim
x 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 quantifcaes abaixo
em portugus.
a) xyQ(x, y) b) 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
freqen tado 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
quantifcaes 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 signifca que o estudante x visitou o
site da Web y, em que o domnio para x so todos os
estudantes de sua escola e o domnio para y, todos os sites
da Web. Expresse cada uma das proposies abaixo em
uma sentena em portugus.
a) W (Sarah Smith, www.att.com)
b) xW(x, www.imdb.org)
c) yW(Jose Orez, y)
d) y (W(Ashok Puri, y) W(Cindy Yoon, y))
e) yz (y (David Belcher) (W(David Belcher, z)
W(y,z)))
f) xyz((x y) (W(x, z) W(y, z)))
6. Considere C(x, y), que signifca que o estudante x est
inscrito na aula y, em que o domnio para x so todos os
estudantes de sua escola e o domnio para y, todas as aulas
dadas na escola. Expresse cada uma das proposies abaixo
em uma sentena em portugus.
a) C (Randy Goldberg, CS 252)
b) xC(x, Math 695)
c) yC(Carol Sitea, y)
d) x(C(x, Math 222) C(x, CS 252))
e) xyz(x y) (C(x, z) C(y, z)))
f) xyz(x y) (C(x, z) C(y, z)))
7. Considere T (x, y), que signifca que o estudante x gosta da
cozinha y, em que o domnio para x so todos os estudantes de
sua escola e o domnio para y, todas as cozinhas. Expresse cada
uma das proposies abaixo em uma sentena em portugus.
a) T (Abdallah Hussein, Japonesa)
b) xT (x, Coreana) xT(x, Mexicana)
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. Ex-
presse cada uma das sentenas abaixo em termos de Q (x,
y), quantifcadores 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
quantifcadores 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
quantifcadores 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
quantifcadores para expressar cada proposio a seguir.
a) Lois fez uma pergunta ao professor Michaels.
b) Todo estudante fez uma pergunta ao professor Gross.
c) Todo membro da faculdade ou fez uma pergunta ao
professor Miller ou foi questionado pelo professor
Miller.
d) Algum estudante no fez nenhuma pergunta a qualquer
membro da faculdade.
e) H um membro da faculdade que nunca recebeu uma
pergunta de um estudante.
f) Algum estudante fez uma pergunta a todos os membros
da faculdade.
g) H um membro da faculdade que fez uma pergunta a
outro membro da faculdade.
h) Algum estudante nunca recebeu uma pergunta feita
por um membro da faculdade.
12. Considere I (x) como a proposio x tem uma conexo de
Internet e C (x, y) como a proposio x e y conversaram
pela Internet, em que o domnio para as variveis x e y
so todos os estudantes de sua sala. Use quantifcadores
para expressar cada uma das proposies abaixo.
a) Jerry no tem uma conexo de Internet.
b) Rachel no conversou pela Internet com Chelsea.
c) Jan e Sharon nunca conversaram pela Internet.
d) Ningum na sala conversou pela Internet com Bob.
e) Sanjay conversou pela Internet com todos, menos com
Joseph.
f) Algum de sua sala no tem uma conexo de Internet.
g) Nem todos em sua sala tm uma conexo de Internet.
h) Exatamente um estudante em sua sala tem uma
conexo de Internet.
i) Todos em sua sala, exceto um estudante, tm uma
conexo de Internet.
j) Todos os estudantes na sua sala que tm conexo de
Internet conversaram com pelo menos um outro
estudante da sala.
k) Algum de sua sala tem conexo de Internet, mas no
conversou com ningum mais de sua sala pela Internet.
l) H dois estudantes em sua sala que no conversam
entre si pela Internet.
m) H um estudante em sua sala que conversa com todos
da sala pela Internet.
n) H pelo menos dois estudantes em sua sala que no
conversam com a mesma pessoa pela Internet.
o) H dois estudantes na sala que conversam apenas entre
eles pela Internet.
13. Considere M(x, y) como x enviou um e-mail a y e T (x, y)
como x telefonou para y, em que o domnio so todos os
estudantes em sua sala. Use quantifcadores para expressar
cada uma das proposies a seguir. (Assuma que todos os
e-mails que foram enviados foram recebidos; o que
geralmente no acontece.)
a) Chou nunca mandou um e-mail para Koko.
b) Arlene nunca mandou um e-mail ou telefonou para
Sarah.
c) Jos nunca recebeu um e-mail de Dbora.
d) Todo estudante de sua sala mandou um e-mail para
Ken.
1-59 1.4 Quantifcadores Agrupados 59
60 1 / Os Fundamentos: Lgica e Demonstraes 1-60
e) Ningum da sua sala telefonou para Nina.
f) Algum na sua sala telefonou ou mandou um e-mail
para Avi.
g) H um estudante na sua sala que enviou a mais algum
de sua sala um e-mail.
h) H algum na sua sala que ou mandou um e-mail ou
telefonou a mais algum de sua sala.
i) H dois estudantes em sua sala que mandaram e-mail
um para o outro.
j) H um estudante que mandou para si prprio um
e-mail.
k) H um estudante na sua sala que no recebeu o e-mail
que algum da sala mandou e no recebeu telefonema
de nenhum outro estudante na sala.
l) Todos os estudantes da sala ou receberam um e-mail ou
receberam um telefonema de outro estudante da sala.
m) H pelos menos dois estudantes de sua sala, dos quais
o primeiro mandou um e-mail para o segundo e este
telefonou para aquele.
n) H dois estudantes diferentes que mandaram e-mails
entre si ou telefonaram para outra pessoa da sala.
14. Use quantifcadores e predicados com mais de uma
varivel para expressar as proposies abaixo.
a) H um estudante nesta sala que fala hindu.
b) Todo estudante desta sala pratica algum esporte.
c) Algum estudante nesta sala visitou o Alasca, mas no
visitou o Hava.
d) Todos os estudantes desta sala aprenderam pelo menos
uma linguagem computacional.
e) H um estudante nesta sala que cursou todas as
disciplinas oferecidas por um dos departamentos da
escola.
f) Algum estudante desta sala cresceu na mesma cidade
que outro estudante da sala.
g) Todo estudante desta sala conversou pela Internet com
pelo menos outro estudante, em pelo menos um grupo
de bate-papo.
15. Use quantifcadores e predicados com mais de uma
varivel para expressar as proposies abaixo.
a) Todo estudante de cincia da computao precisa de
um curso de matemtica discreta.
b) H um estudante nesta sala que possui seu prprio
computador.
c) Todo estudante nesta sala participou de pelo menos
um curso de cincia da computao.
d) H um estudante nesta sala que participou de pelo
menos um curso de cincia da computao.
e) Todo estudante desta sala j esteve em todos os prdios
do campus.
f) H um estudante desta sala que j esteve em todas as
salas de pelo menos um prdio do campus.
g) Todo estudante nesta sala j esteve em pelo menos
uma sala de todos os prdios do campus.
16. Uma aula de matemtica discreta contm um graduando
em matemtica que um calouro, 12 matemticos que so
veteranos, 15 cientistas da computao que so veteranos,
2 matemticos que so juniores, 2 cientistas da computao
que so juniores e 1 cientista da computao que snior.
Expresse cada uma das proposies abaixo em termos de
quantifcadores e depois determine seu valor-verdade.
a) H um estudante na sala que jnior.
b) Todo estudante na sala graduado em cincia da
computao.
c) H um estudante na sala que no nem graduando em
matemtica nem jnior.
d) Todo estudante na sala ou um veterano ou um
graduando em cincia da computao.
e) H um graduando, tal que existe um outro estudante na
sala que em todo ano estudou com este graduando.
17. Expresse cada um dos sistemas de especifcaes abaixo
usando predicados, quantifcadores e conectivos lgicos,
se necessrio.
a) Todo usurio tem acesso a exatamente uma caixa de
entrada.
b) H um processo que continua executando durante
todas as condies de erro se o kernel estiver funcio-
nando corretamente.
c) Todos os usurios do campus tm acesso a todos os
sites da Web de extenso .edu.
d) H exatamente dois sistemas que monitoram todos os
servidores remotos.
18. Expresse cada um dos sistemas de especifcaes abaixo
usando predicados, quantifcadores e conectivos lgicos,
se necessrio.
a) Pelo menos um console deve estar acessvel durante
toda condio de cuidado.
b) O endereo de e-mail de todo usurio deve ser
recuperado assim que o arquivo contiver pelo menos
uma mensagem enviada pelo usurio no sistema.
c) Para toda quebra de segurana h pelo menos um
mecanismo que pode apagar aquela quebra se, e apenas
se, um processo no for comprometido.
d) H pelo menos dois caminhos conectados a dois pontos
distintos na rede de transmisso.
e) Ningum sabe a senha de todos os usurios do sistema,
exceto o administrador do sistema, que sabe todas as
senhas.
19. Expresse cada uma das proposies abaixo usando operadores
matemticos e lgicos, predicados e quantifcadores, em que
o domnio so todos os nmeros inteiros.
a) A soma de dois nmeros inteiros negativos negativa.
b) A diferena de dois nmeros inteiros positivos no
necessariamente positiva.
c) A soma dos quadrados de dois nmeros inteiros
maior que ou igual ao quadrado de sua soma.
d) O valor absoluto do produto de dois nmeros inteiros
o produto de seus valores absolutos.
20. Expresse cada uma das proposies a seguir usando predica-
dos, quantifcadores, conectivos lgicos e operadores mate-
mticos, em que o domnio so todos os nmeros inteiros.
a) O produto de dois nmeros inteiros negativos positivo.
b) A mdia de dois nmeros inteiros positivos positiva.
*
c) A diferena entre dois nmeros inteiros negativos no
necessariamente negativa.
d) O valor absoluto da soma de dois nmeros inteiros no
excede soma dos valores absolutos desses nmeros
inteiros.
21. Use predicados, quantifcadores, conectivos lgicos e
operadores matemticos para expressar a proposio de
que todo nmero inteiro positivo a soma dos quadrados
de quatro nmeros inteiros.
22. Use predicados, quantifcadores, conectivos lgicos e
operadores matemticos para expressar a proposio de
que h um nmero inteiro positivo que no a soma de
trs quadrados.
23. Expresse cada uma das proposies matemticas abaixo
usando predicados, quantifcadores, conectivos lgicos e
operadores matemticos.
a) O produto de dois nmeros reais negativos positivo.
b) A diferena entre um nmero real e ele mesmo zero.
c) Todo nmero real positivo tem exatamente duas razes
quadradas.
d) Um nmero real negativo no tem uma raiz quadrada
que seja um nmero real.
24. Transcreva cada uma das quantifcaes agrupadas em pro-
posies em portugus que expressem um fato matemtico.
O domnio em cada caso so todos os nmeros reais.
a) xy (x + y = y)
b) xy (((x 0) (y < 0)) (x 2 y > 0))
c) xy (((x 0) (y 0)) (x 2 y > 0))
d) xy ((x 0) (y 0) (xy 0))
25. Transcreva cada uma das quantifcaes agrupadas em pro-
posies em portugus que expressem um fato matemtico.
O domnio em cada caso so todos os nmeros reais.
a) xy (xy = y)
b) xy (((x < 0) (y < 0)) (xy > 0))
c) xy (((x
2
> y ) (x < y))
d) xy z (x + y = z)
26. Considere Q (x, y) como a proposio x + y = x - y. Se
o domnio das duas variveis forem todos os nmeros in-
teiros, quais so os valores-verdade?
a) Q (1, 1) b) Q (2, 0)
c) yQ (1, y) d) xQ (x ,2)
e) xy Q (x, y) f) xyQ (x, y)
g) yxQ (x, y) h) yxQ (x, y)
i) xyQ (x, y)
27. Determine o valor-verdade de cada uma das proposies
abaixo se o domnio para as variveis so todos os nmeros
inteiros.
a) nm (n
2
< m) b) nm (n < m
2
)
c) nm (n + m = 0) d) nm (nm = m)
e) nm (n
2
+ m
2
= 5) f) nm (n
2
+ m
2
= 6)
g) nm (n + m = 4 n 2 m = 1)
h) nm (n + m = 4 n 2 m = 2)
i) nmp (p = (m + n)/2)
28. Determine o valor-verdade de cada uma das proposies a
seguir se o domnio para as variveis so todos os nmeros
reais.
a) xy (x
2
= y) b) xy (x = y
2
)
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 quantifcador
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 abai-
xo, tal que todos os smbolos de negao precedam ime-
diatamente 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 abai-
xo, tal que todos os smbolos de negao precedam ime-
diatamente 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 quantifcador
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) (xy P (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 fque
do lado esquerdo de um quantifcador. Depois, expresse
a negao em portugus. (No use as palavras No o
caso de.)
1-61 1.4 Quantifcadores Agrupados 61
62 1 / Os Fundamentos: Lgica e Demonstraes 1-62
a) Ningum perdeu mais de mil dlares apostando na
loteria.
b) H um estudante na sala que conversou pela Internet
com apenas um outro estudante.
c) Nenhum estudante nesta sala enviou um e-mail para
dois outros estudantes da sala.
d) Algum estudante resolveu todos os exerccios deste
livro.
e) Nenhum estudante resolveu pelo menos um exerccio
em todas as sees deste livro.
37. Expresse cada uma das proposies abaixo. Ento, forme
a negao de cada proposio, para que a negao fque
do lado esquerdo de um quantifcador. Depois, expresse a
negao em portugus. (No use as palavras No o
caso de.)
a) Todo estudante na sala freqentou exatamente duas
aulas de matemtica nesta escola.
b) Algum visitou todos os pases do mundo, exceto a
Lbia.
c) Ningum escalou todas as montanhas do Himalaia.
d) Todo ator de cinema j participou de um flme ao lado
de Kevin Bacon ou contracenou com algum que j
flmou com Kevin Bacon.
38. Expresse a negao das proposies abaixo usando quan-
tifcadores, e em portugus.
a) Todo estudante desta sala gosta de matemtica.
b) H um estudante nesta sala que nunca viu um
computador.
c) H um estudante nesta sala que freqentou todos os
cursos de matemtica oferecidos nesta escola.
d) H um estudante nesta sala que esteve em pelo menos
uma sala de todos os prdios do campus.
39. Encontre um contra-exemplo, se possvel, para estas pro-
posies de quantifcadores universais, em que o domnio
para todas as variveis so todos os nmeros inteiros.
a) xy (x
2
= y
2
x = y)
b) xy (y
2
= x)
c) xy (xy x)
40. Encontre um contra-exemplo, se possvel, para estas pro-
posies de quantifcadores universais, em que o domnio
para todas as variveis so todos os nmeros inteiros.
a) xy (x = 1/y)
b) xy (y
2
2 x < 100)
c) xy (x
2
y
3
)
41. Use quantifcadores para expressar a propriedade associa-
tiva para a multiplicao de nmeros reais.
42. Use quantifcadores para expressar as propriedades distri-
butivas para a multiplicao sobre a adio de nmeros
reais.
43. Use quantifcadores e conectivos lgicos para expressar o
fato de que todo polinmio linear (ou seja, o polinmio de
grau 1) com coefcientes reais e no qual o coefciente de x
diferente de zero tem exatamente uma raiz real.
44. Use quantifcadores e conectivos lgicos para expressar o
fato de que um polinmio quadrtico com coefcientes de
nmeros reais tem no mximo duas razes reais.
45. Determine o valor-verdade da proposio xy (xy = 1), se
o domnio para as variveis forem:
a) os nmeros reais diferentes de zero.
b) os nmeros inteiros diferentes de zero.
c) os nmeros reais positivos.
46. Determine o valor-verdade da proposio xy (x y
2
), se
o domnio para as variveis forem:
a) os nmeros reais positivos.
b) os nmeros inteiros.
c) os nmeros reais diferentes de zero.
47. Mostre que as duas proposies xyP (x, y) e
xy P (x, y), em que os dois quantifcadores da primeira
varivel em P (x, y) tm o mesmo domnio, e os dois
quantifcadores da segunda varivel em P (x, y) tm o
mesmo domnio, so equivalentes logicamente.
*48. Mostre que xP (x) xQ (x) e xyP (x) Q (y)), em
que todos os quantifcadores tm o mesmo domnio no
vazio, so equivalentes logicamente. (A nova varivel y
utilizada para combinar corretamente as quantifcaes.)
*49. a) Mostre que xP (x) xQ (x) equivalente logicamente
a xy (P (x) Q (y)), em que todos os quantifcadores
tm o mesmo domnio no vazio.
b) Mostre que xP (x) xQ (x) equivalente a xy
(P (x) Q (y)), em que todos os quantifcadores tm o
mesmo domnio no vazio.
Uma proposio est em forma normal prenex (FNP) se e
apenas se estiver na forma
Q
1
x
1
Q
2
x
2
. . . Q
k
x
k
P (x
1
, x
2
, . . . , x
k
),
em que cada Q
i
, i = 1, 2, . . . , k, ou um quantifcador de
existncia ou um quantifcador universal e P(x
1
, . . . , x
k
) um
predicado que no envolva quantifcadores. Por exemplo,
xy (P (x, y) Q (y)) est em forma normal prenex, enquanto
xP (x) xQ (x) no est (porque os quantifcadores no apa-
recem todos primeiro).
Toda proposio formada de variveis proposicionais,
predicados, V e F usando conectivos lgicos e quantifcadores
equivalente a uma proposio em forma normal prenex. O
Exerccio 51 pede uma demonstrao desse fato.
*50. Coloque as proposies abaixo em forma normal prenex.
[Dica: Use equivalentes lgicos das tabelas 6 e 7 da
Seo 1.2, tabela 2 da Seo 1.3, Exemplo 19 da Seo
1.3, exerccios 45 e 46 da Seo 1.3 e exerccios 48 e 49
desta seo.]
a) xP (x) xQ (x) A, em que A uma proposio
que no envolve nenhum quantifcador.
b) (x P (x) x Q (x))
c) xP (x) xQ (x)
**51. Mostre como transformar uma proposio arbitrria em
uma proposio em forma normal prenex equivalente
proposio dada.
*52. Expresse a quantifcao !x P (x), introduzida na pgina
37, usando quantifcaes universais, quantifcaes de
existncia e operadores lgicos.
1.5 Regras 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 argumen-
to, entendemos uma seqncia de sentenas que terminam com uma concluso e, por vlido, que
uma concluso, ou a sentena fnal 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 cons-
truo de argumentos vlidos. Regras de inferncia so nossas ferramentas bsicas para o estabe-
lecimento do valor-verdade das sentenas.
Antes de estudarmos demonstraes matemticas, vamos olhar para argumentos que envol-
vem apenas proposies compostas. Vamos defnir o que signifca um argumento ser vlido quan-
do 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 produ-
o 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 quantifcadas. Vamos descrever como essas regras de inferncia
podem ser utilizadas para produzir argumentos vlidos. Essas regras de inferncia para sentenas
que envolvem quantifcadores universal e existencial representam importante papel em demons-
traes 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 quan-
tifcacionais podem ser combinadas. Essas combinaes so freqentemente utilizadas em argu-
mentos complicados.
Argumentos Vlidos em Lgica Proposicional
Considere o seguinte argumento que envolve proposies (o qual, por defnio, uma seqncia
de proposies):
Se voc tem uma senha atualizada, ento voc pode entrar na rede.
Voc tem uma senha atualizada.
Portanto,
Voc pode entrar na rede.
Gostaramos de determinar quando este argumento vlido. Ou seja, gostaramos de deter-
minar se a concluso Voc pode entrar na rede deve ser verdadeira quando as premissas Se
voc tem uma senha atualizada, ento voc pode entrar na rede e Voc tem uma senha atuali-
zada tambm forem ambas verdadeiras.
Antes de discutir a validade deste argumento particular, vamos olhar para sua forma. Use p
para representar Voc tem uma senha atualizada e q para representar Voc pode entrar na
rede. Ento, o argumento tem a forma
p q
p
q
em que o smbolo para indicar portanto.
1-63 1.5 Regras de Inferncia 63
64 1 / Os Fundamentos: Lgica e Demonstraes 1-64
Sabemos que se p e q so variveis proposicionais, a sentena ((p q) p) q uma tau-
tologia (veja o Exerccio 10(c) na Seo 1.2). Em particular, quando ambos p q e p so verda-
deiras, 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 substituir-
mos 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 primei-
ra 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 vali-
dade de um argumento segue a validade da forma do argumento. Resumimos a terminologia utili-
zada para discutir a validade de argumentos com nossa defnio dessas noes importantes.
DEFINIO 1 Um argumento em lgica proposicional uma seqncia de proposies. Todas, menos a
ltima das proposies, so chamadas de premissas, e a ltima chamada de concluso. Um
argumento vlido se a veracidade das premissas implica que a concluso seja verdadeira.
Uma forma de argumento em lgica proposicional a seqncia de proposies compostas
que envolvem variveis proposicionais. Uma forma de argumento vlida quaisquer que
sejam as proposies substitudas nas variveis proposicionais em suas sentenas; a conclu-
so verdadeira se as premissas forem todas verdadeiras.
Da defnio de forma de argumento vlida, vemos que uma forma de argumento com premis-
sas p
1
, p
2
, p
3
, ... , p
n
e concluso q vlida, quando (p
1
p
2
... p
n
) 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 mos-
trar que formas de argumentos so vlidas. Vamos agora desenvolver mtodos para alcanar
esse objetivo.
Regras de Inferncia para Lgica Proposicional
Podemos sempre usar uma tabela-verdade para mostrar que uma forma de argumento vlida.
Fazemos isso mostrando que sempre que as premissas so verdadeiras, a concluso deve ser
verdadeira tambm. No entanto, esse pode ser um modo um pouco tedioso. Por exemplo, quando
uma forma de argumento envolve 10 variveis proposicionais diferentes, usar uma tabela-verda-
de para mostrar que esse argumento vlido requer 2
10
= 1.024 linhas diferentes. Felizmente, no
precisamos sempre recorrer s tabelas-verdade. Em vez disso, podemos estabelecer a validade de
algumas formas de argumento relativamente simples, chamadas de regras de inferncia. Essas
regras de inferncia podem ser utilizadas como tijolos para construir formas de argumento vli-
das mais complicadas. Vamos agora introduzir a mais importante das regras de inferncia na l-
gica proposicional.
A tautologia (p (p q)) q a base da regra de inferncia chamada de modus ponens,
ou propriedade de destacamento. (Modus ponens, em latim, signifca modo que afrma.) Essa
tautologia nos leva seguinte forma de argumento vlida, que j foi vista na nossa discusso
sobre argumentos (em que, como antes, o o smbolo para indicar portanto):
p
p q
q
Usando essa notao, as hipteses so escritas em colunas, seguidas por uma barra horizontal,
seguida por uma linha que comea com o smbolo portanto e termina com a concluso. Em
particular, modus ponens nos diz que se uma sentena condicional e a hiptese dessa sentena
condicional so verdadeiras, ento a concluso tambm deve ser verdadeira. O Exemplo 1 ilustra
o uso do modus ponens.
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 incor-
reta 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.
Se 2
3
2
> , ento 2
2
3
2
2
( )
>
( )
. Sabemos que
2
3
2
> .
Conseqentemente,
2 2
2
3
2
2
9
4
( )
= >
( )
= .
n
x P (x) signifca que existem exatamente n elementos do
domnio, tal que P(x) verdadeira. Determine o valor-
verdade destas sentenas, em que o domnio consiste em
todos os nmeros reais.
a)
0
x(x
2
= 2 1) b)
1
x(|x| = 0)
c)
2
x(x
2
= 2) d)
3
x(x = |x|)
21. Expresse cada uma destas sentenas usando quantifcado-
res universal e existencial e lgica proposicional, em que
n
defnido no Exerccio 20.
a)
0
x P (x)
b)
1
x P (x)
c)
2
x P (x)
d)
3
x P (x)
22. Seja P (x, y) uma funo proposicional. Mostre que x y
P (x, y) y x P (x, y) uma tautologia.
23. Sejam P (x) e Q (x) funes proposicionais. Mostre que x
(P (x) Q (x)) e x P (x) x Q (x) sempre tm o mesmo
valor-verdade.
24. Se y x P (x, y) verdadeira, segue que, necessariamente,
x y P (x, y) verdadeira?
25. Se x y P (x, y) verdadeira, segue que, necessariamente,
x y P (x, y) verdadeira?
26. Encontre as negaes destas sentenas.
a) Se nevar hoje, ento eu vou esquiar amanh.
b) Toda pessoa nesta classe entende induo matemtica.
c) Algum estudante desta classe no gosta de matemtica
discreta.
d) Em toda classe de matemtica existe algum estudante
que est com sono durante as aulas.
27. Expresse esta sentena usando quantifcadores: Todo
estudante nesta classe teve algum curso de cincias ma-
temticas em todo o departamento da escola.
28. Expresse esta sentena usando quantifcadores: Existe
um prdio no campus de alguma faculdade brasileira, tal
que todas as suas salas so pintadas de branco.
29. Expresse a sentena: Existe exatamente um estudante
nesta classe que teve exatamente um curso de matemtica
nesta faculdade usando quantifcadores de unicidade.
Depois expresse essa sentena usando quantifcadores,
sem o uso dos quantifcadores de unicidade.
30. Descreva uma regra de inferncia que pode ser usada para
demonstrar que existem exatamente dois elementos x e y
em um domnio, tal que P (x) e P (y) so verdadeiras. Ex-
presse essa regra de inferncia em portugus.
31. Use regras de inferncia para mostrar que se as premissas
x (P (x) Q (x)), x (Q (x) R (x)) e R (a), em que a
est no domnio, so verdadeiras, ento a concluso P (a)
verdadeira.
1-107 Exerccios Complementares 107
108 1 / Os Fundamentos: Lgica e Demonstraes 1-108
32. Demonstre que se x
3
irracional, ento x irracional.
33. Demonstre que se x irracional e x 0, ento x
irracional.
34. Demonstre que dado um inteiro no negativo n, existe um
nico no negativo m, tal que m
2
n < (m + 1)
2
.
35. Demonstre que existe um inteiro m, tal que m
2
> 10
1.000
.
Sua demonstrao construtiva ou no construtiva?
36. Demonstre que existe um inteiro positivo que pode ser es-
crito como a soma dos quadrados de inteiros positivos de
duas maneiras diferentes. (Use computador ou calculadora
para acelerar seu trabalho.)
37. Negue a sentena: todo inteiro positivo a soma dos cubos
de oito inteiros no negativos.
38. Negue a sentena: todo inteiro positivo a soma de, no
mximo, dois quadrados e um cubo de inteiros no negati-
vos.
39. Negue a sentena: todo inteiro positivo a soma de 36
quintas potncias de inteiros no negativos.
40. Assumindo a verdade do teorema que diz que n irracional
toda vez que n um inteiro positivo que no um quadrado
perfeito, demonstre que
2 3 +
irracional.
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
conjuno de p e q (veja os exerccios 40 e 41 da Seo
1.1).
*4. Dados os inteiros positivos m e n, jogue o jogo Chomp
interativamente.
*5. Dado um pedao de um tabuleiro, procure modos de
ladrilhar esse tabuleiro com vrios tipos de poliomins,
incluindo domins, os dois tipos de triomins e poliomins
maiores.
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
positivos, de duas maneiras diferentes, comeando com o
nmero 1.729.
*4. Tente encontrar estratgias vencedoras para o jogo Chomp
para diferentes confguraes iniciais de biscoitos.
*5. Procure maneiras de ladrilhar tabuleiros com poliomins.
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.
4. Leia alguns dos escritos de Lewis Carroll sobre lgica
simblica. Descreva em detalhes alguns dos modelos
usados para representar argumentos lgicos e as regras de
inferncia que ele usou nesses argumentos.
5. Extenda a discusso do Prolog dada na Seo 1.3,
explicando mais profundamente como o Prolog faz suas
resolues.
6. Discuta algumas tcnicas usadas em lgica computacional,
incluindo a regra de Skolem.
7. Demonstrao de teoremas automatizada uma tentativa
de usar computadores para demonstrar mecanicamente
teoremas. Discuta os objetivos e as aplicaes da demons-
trao auto matizada de teoremas e o progresso feito no de-
senvolvimento 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.
10. Descreva vrios aspectos de estratgia de demonstraes
discutidos por George Plya em seus escritos sobre racio-
cnio, incluindo [Po62], [Po71] e [Po90].
11. Descreva alguns problemas e resultados sobre maneiras de
ladrilhar como poliomins, como os descritos em [Go94]
e [Ma91], por exemplo.
1-109 Textos sobre Projetos 109
Bien plus que des documents.
Découvrez tout ce que Scribd a à offrir, dont les livres et les livres audio des principaux éditeurs.
Annulez à tout moment.