Fundamentos Matemticos

a Cincia da Computao
UM TRATAMENTO MODERNO DE MATEMTICA DISCRETA

Judith L. Gersting
Quinta Edio

LTC
 LGICA FORMAL 27

Se meu cliente fosse culpado, a faca estaria na gaveta. Ou a faca no esta\ na gaveta ou Jason Pritchard viu
a faca. Se a faca no estava l no dia 10 de outubro, segue que Jason Pritchard no viu a faca. Alm disso,
se a faca estava l no dia 10 de outubro, ento a faca estava na gaveta e o martelo esta', a no celeiro. Mas
todos sabemos que o martelo no estava no celeiro. Portanto, senhoras e senhores do jri, meu cliente
inocente.
Use lgica proposicional para provar que esse um argumento vlido.

QUANTIFICADORES E PREDICADOS
Fbfs proposicionais tm uma possibilidade limitada de expresso. Por exemplo, poderamos considerar a
sentena "Para todo x,x> O" como sendo uma proposio verdadeira sobre os inteiros positivos, mas ela
no pode ser simbolizada adequadamente usando-se apenas letras de proposio, parnteses e conecti\s
lgicos. Ela contm dois conceitos novos, o de quantificador e o de predicado. Quantificadores so frases
do tipo "para todo", ou "para cada", ou "para algum", isso , frases que dizem quantos objetos, em algum
sentido, tm uma determinada propriedade. O quantificador universal simbolizado por um A de cabea
para baixo, V , e se l "para todo", "para cada" ou "para qualquer". Ento, a sentena dada como exemplo
acima pode ser simbolizada por
i\/x)(x > 0)
Um quantificador e sua varivel declarada so colocados sempre entre parnteses. O segundo par de parn-
teses significa que o quantificador age sobre a expresso dentro dos parnteses, "x > O" nesse caso.
A frase "x > O" descreve uma propriedade da varivel x, a de ser positiva. Uma propriedade tambm
denominada um predicado; a notao P{x) usada para representar alguma propriedade, ou predicado,
no explicitada que a varivel x possa ter. Assim, nossa sentena original um exemplo da forma mais
geral
Ofx)P(x)

O valor lgico da expresso (Vx)(x > 0) depende do domnio dos objetos sobre os quais estamos nos
referindo (ou "interpretando" a expresso), isso , a coleo de objetos dentre os quais x pode ser escolhi-
do. Essa coleo de objetos chamada de domnio de interpretao ou conjunto universo. J concordamos
que, se o conjunto universo o conjunto dos inteiros positivos, ento a expresso tem valor lgico verda-
deiro, uma vez que todos os valores possveis para a varivel x tm a propriedade de ser positivo. Se o
domnio de interpretao consistisse em todos os inteiros, a expresso teria o valor lgico falso, pois nem
todo X teria a propriedade necessria. Impomos a condio de que o conjunto universo tenha pelo menos
um elemento, de modo que no estamos falando sobre um caso trivial.
Uma interpretao da expresso (Vx)/'(x) consistiria no apenas na coleo de objetos onde x pode
tomar valores mas, tambm, na propriedade particular que P(x} representa nesse conjunto. Por exemplo,
uma interpretao possvel para (Vx)P(x) poderia ser: o conjunto universo consiste em todos os livros em
sua biblioteca municipal e Pix) a propriedade de x ter a capa vermelha. Com essa interpretao, (Vx)/'(x)
diz que todos os livros em sua biblioteca municipal tm capa vermelha. claro que o valor lgico dessa
expresso, com essa interpretao, deve ser falso.

Qual o valor lgico da expresso (Vx)P(x) em cada uma das interpretaes a seguir?
a. P(x) a propriedade que x amarelo e o conjunto universo o conjunto de todos os botes-de-ouro'^.
b. P{x) a propriedade que x amarelo e o conjunto universo o conjunto de todas as flores.
c. P{x) a propriedade que x uma planta e o conjunto universo o conjunto de todas as flores.
d. P(x) a propriedade que x positivo ou negativo e o conjunto universo o conjunto de todos os
inteiros.

'^Erva graminiforme, da famlia das xiridceas, com flores pequenas inseridas em espigas muito compactas, cujas brcteas so imbricadas e de cor
amarela. (N.T.)
28 C.^-.IO U M

O quantificador existencial simbolizado por um E ao contrrio, 3, e se l "existe", "h pelo menos

um", "existe algum" ou "para algum". Assim, a expresso

(3x)(x > 0)
pode ser lida "existe um x tal que .r maior do que zero".
LEMBRETE:
Novamente, o valor lgico dessa expresso depende da interpretao. Se o domnio de interpretao
Todo, cada, qualquer
contiver um nmero positivo, a expresso verdadeira; caso contrrio, ela falsa. O valor lgico da ex- use V; algum, pelo
presso (3x)/'(x), no caso em que o conjunto universo consiste em todos os livros de sua biblioteca muni- menos um, existe um
cipal e P{x) a propriedade de x ter capa vermelha, verdadeira se a biblioteca tiver pelo menos um livro use 3
de capa vermelha.

a. D uma interpretao (isto , d o conjunto universo e o significado de P(x)) para a qual (Vx)/'(x) tem o PROBLEMA
valor verdadeiro. PRTICO 16
b. D uma interpretao para a qual (Vx)/'(x) tem o valor falso.
c. possvel encontrar uma interpretao na qual, ao mesmo tempo, (Vx)/'(x) seja verdadeiro e (3x)P(x)
seja falso?
d. possvel encontrar uma interpretao na qual, ao mesmo tempo, (Vx)P(x) seja falso e (3x)P(x) seja
verdadeiro?

Os predicados que vimos at agora, envolvendo propriedades de uma nica varivel, so predicados unrios.
Os predicados podem ser binrios, envolvendo propriedades de duas variveis, ternrios, envolvendo
propriedades de trs variveis ou, mais geralmente, -rios, envolvendo propriedades de n variveis.

A expresso (Vx)(3}')g(x, y) lida como "para todo x existe um y tal que Q{x, y)". Observe que h dois E X E M P L O 20
quantificadores para as duas variveis da propriedade binria. Em uma interpretao onde o conjunto
universo consiste nos inteiros e Q{x, j ) a propriedade x<y, isso diz, simplesmente, que para qualquer
inteiro, existe um inteiro maior. O valor lgico da expresso verdadeiro. Com a mesma interpretao, a
expresso (3>')(Vx)g(x, y) diz que existe um inteiro y que maior do que qualquer outro inteiro x. O valor
lgico nesse caso falso.

O Exemplo 20 ilustra o fato de que a ordem dos quantificadores importante.

Em expresses do tipo (Vx)/'(x) ou (3x)/'(x), x uma varivel muda, isso , o valor lgico das expres-
ses permanece o mesmo, em uma dada interpretao, se as expresses forem escritas, respectivamente,
como (V>')/'(_y) ou (3z)F(z). Analogamente, o valor lgico de (Vx)(3>')2(x, >>) o mesmo que o de
(VZ)(3H')(2(Z, W) para qualquer interpretao. No entanto, (Vx)(3x)Q(x, x) diz algo bem diferente. Com a
interpretao do Exemplo 20, (Vx)(3x)Q(x, x) diz que para todo inteiro x existe um inteiro x tal que x < x.
Essa proposio falsa, embora (Vx)(3>')2(x, y) seja verdadeira com essa interpretao. No podemos
igualar duas variveis sem mudar a natureza da expresso dada.
Podemos ter constantes nas expresses. Um smbolo constante (como a, b, c. O, 1, 2, etc.) interpretado
como um objeto especfico no domnio. Essa especificao parte da interpretao. Por exemplo, a expres-
so (Vx)2(x, a) falsa no caso em que o universo o conjunto dos inteiros, Q{x, y)a. propriedade x<y
e a tem o valor 7; no verdade que todo inteiro seja menor do que 7.
Vamos agora resumir o que necessrio para uma interpretao.

iDe/Mflo; Interpretao Uma interpretao para uma expresso envolvendo predicados consisteJ
em: ^
f
j a. Uma coleo de objetos, chamada de conjunto universo ou domnio da interpretao, que precisa
I incluir pelo menos um objeto. ^
f b. A especificao de uma propriedade dos objetos no domnio para cada predicado na expresso.
| c . A atribuio de um objeto particular no conjunto universo para cada smbolo constante na expresso.

Expresses podem ser construdas combinando-se predicados com quantificadores, smbolos de agru-
pamento (parnteses ou colchetes) e os conectivos lgicos da Seo 1.1. Como anteriormente, uma expres-
so tem que obedecer regras de sintaxe para ser considerada uma frmula bem formulada. Frmulas bem
formuladas contendo predicados e quantificadores so chamadas de fbfs predicadas, para distingui-las de
fbfs proposicionais, que contm apenas letras de proposies e conectivos lgicos.
 LGICA FORMAL 29

A expresso P(x){\/x A)3y no uma frmula bem formulada. Exemplos de fbfs predicadas so

Pix)VQiy') ' (1)

(Vx)IPW-^Wl (2)
Ofx)i(3y)[P{x, y) A Q(x, y)] R{x)) ^i^,, (3)
e -
{3x)Six) V (Vy)7(v) (4)
"Smbolos de agrupamento", como parnteses ou colchetes, identificam o escopo de um quantificador, a
parte da fbf qual o quantificador se aplica. (Isso anlogo ao escopo de um identificador em um progra-
ma como sendo a parte do programa na qual o identificador tem sentido.) A fbf (1) no tem quar.iincadores.
Em (2), o escopo do quantificador (Vx) Pix) -> Q(x). Na fbf (3), o escopo de (3y) P(.v.;., A ^(.V. V),
enquanto o escopo de (Vx) a expresso inteira entre parnteses que o segue. Em (4), o escopo de {3x)
5(x) e o escopo de (Vj) T(y).
Se alguma varivel ocorre em uma fbf onde no faz parte de um quantificador nem est no escopo de um
quantificador envolvendo a varivel, ela dita uma varivel livre. Por exemplo, y uma vari\l l i \e em

(Vx)l(x, y)-^(3y)R{x,y)]
pois a primeira ocorrncia de y no como a varivel de um quantificador nem est no escopo de um
quantificador envolvendo y. Uma fbf com variveis livres pode no ter um valor lgico em determinada
interpretao. Por exemplo, com a interpretao onde o universo o conjunto de inteiros, o predicado P{x)
significa "x > O" e 5 significa ( claro) o inteiro 5, a fbf
Piy) A P(5)
no tem valor lgico, pois no sabemos a que elemento do domnio y se refere. Alguns elementos do
universo so positivos, outros no. A fbf
Piy) V Pi5)
verdadeira com essa interpretao, embora no saibamos a que elemento y se refere, pois P{5) verdadei-
ra. Em ambas as fbfs, y uma varivel livre.

Naftjf
{yx)(3y)[S(x,y)AL(y, a)]
o escopo de i3y) toda a expresso S{x, y) A L(y, a). O escopo de (Vx) (3>')[5(x, y) A L(y, a)]. Considere a
interpretao onde o conjunto universo consiste em todas as cidades dos Estados Unidos, 5(x, 3^) a proprie-
dade "x e y esto no mesmo estado", L(y, z) a propriedade "o nome da cidade y comea com a mesma letra
que a cidade z" e atribudo o valor Albuquerque a a. Logo a interpretao da fbf inteira que para qualquer
cidade x existe uma cidade no mesmo estado que comea com a letra A . Com essa interpretao, a fbf
verdadeira (pelo menos se todos os estados tiverem uma cidade comeando com a letra "A").

Encontre o valor lgico da fbf

(3x)(A(x) A (Wy)[Bix, y) ^ C(>01)

com a interpretao de que o conjunto universo o conjunto dos inteiros, A(x) significa que "x > O", B(x)
significa que x>ye C(x) "y < O". D uma outra interpretao com o mesmo conjunto universo de modo
que a proposio tenha valor lgico oposto.

TRADUO
Muitas declaraes em portugus podem ser expressas como fbfs predicadas. Por exemplo, "Todo papa-
gaio feio" significa, de fato, que "Dada uma coisa, se um papagaio, ento feio". Denotando por Pix)
a frase "x um papagaio" e por F(x) "x feio", a proposio pode ser simbolizada como
(Vx)|P(x) ^ Uix)]
Outras variaes em portugus que tm a mesma forma simblica so "Todos os papagaios so feios" e
"Cada papagaio feio". Note que o quantificador o universal e o conectivo lgico o condicional; V e >
esto quase sempre juntos. A fbf (Vx)[/'(x) A f (x)] uma traduo incorreta, pois diz que todos no conjun-
to universo subentendido como sendo todo o mundo um papagaio feio. Isso uma declarao
muito mais forte do que a proposio original em portugus.
30 CAPFTLT.OUM

Analogamente, "Existe um papagaio feio" significa que "Existe alguma coisa que , ao mesmo tempo,
papagaio e feio". Simbolicamente,
{3x)\P(x) A Uix)]
Variaes possveis so "Alguns papagaios so feios" e "Existem papagaios feios". Aqui o quantificador
o existencial e o conectivo lgico a conjuno; 3 e A esto quase sempre juntos. A fbf (3x)[P(x)
LEMBRETE:
Pense nos pares V ->
uma traduo incorreta. Essa fbf \a se existir alguma coisa, que chamaremos de x, no conjunto e3 A
universo (o mundo inteiro) que no seja um papagaio, porque a Pix) falsa e o condicional verdadeiro.
De fato, essa fbf seria verdadeira se no existissem papagaios no mundo!
Para traduzir uma declarao em portugus em uma fbf, pode ser til escrever primeiro alguma propo-
sio intermediria em portugus e depois simbolizar essa proposio. Foi o que fizemos com os exemplos
dos papagaios acima.
Os advrbios "s", "somente" e "apenas" so particularmente problemticos, pois sua colocao em
uma sentena pode alterar completamente o significado. Por exemplo, as declaraes em portugus
Joo ama apenas Maria.
Apenas Joo ama Maria.
Joo apenas ama Maria.
dizem trs coisas diferentes. Elas podem ser reescritas como
Se Joo ama alguma coisa, ento essa coisa Maria.
Se alguma coisa ama Maria, ento essa coisa Joo.
Se Joo tem alguma relao com Maria, essa relao amor.
Estas sentenas so todas do tipo "se/ento", o que significa que sero representadas por uma fbf usando
uma implicao. Em cada caso, o consequente da implicao a palavra "somente" da sentena em portugus. E X E M P L O 22

Considere os smbolos predicados

Aix) "x um cachorro",
Bix) "x um coelho",
Cix) "x persegue y".
A Tabela 1.15 mostra exemplos de declaraes em portugus, proposies intermedirias em portugus e
suas tradues em fbf. Note que na fbf 2 o conectivo associado a 3 A e o conectivo associado a V >. Na
fbf 3, a primeira verso mostra dois condicionais associados a dois quantificadores V. A segunda verso
equivalente (pois [A A B C] [A > iB ^ C)]); essa verso mostra claramente que "cachorros", a
palavra que vem aps "apenas", a concluso.

Existem, muitas vezes, mais de uma interpretao correta para afirmaes em portugus, como vimos com
a proposio (3) na Tabela 1.15. Podemos ver, tambm, que a fbf (2) equivalente a
i3x)[Aix) A (Vy)([B(j)]' V C(x, y))]

p 1 15
Declarao em Portugus Proposio Intermediria Fbf
1. Todos os cachorros Dada uma coisa qualquer, se for um cachorro, (Vx)[A(x)^(Vy)(B(y)^C(x,y))l
perseguem todos os ento, para qualquer outra coisa, se essa
coelhos. outra coisa for um coelho, ento o cachorro
vai persegui-lo.
2. Alguns cachorros Existe uma coisa que um cachorro e, para (3x)[A(x)A(Vy)(B(y)^C(x,y))l
perseguem todos os qualquer outra coisa, se essa outra coisa
coelhos. um coelho, ento o cachorro o persegue.
3. Apenas cachorros Para qualquer coisa, se um coelho, ento, (Vy)[B(y)^(Vx)(C(x,y)^A(x))]
perseguem coelhos. se alguma coisa o persegue, essa coisa
um cachorro.
Dadas duas coisas, se uma for um coelho (Vy)(Vx)[B(y)AC(x,y)^A(x)]
e a outra persegui-lo, ento essa outra
um cachorro.
 LGICA FORMAL 31

pois a regra de equivalncia para o condicional diz que (fi C) (fi' v C), embora BeC sejam predicados
aqui, ao invs de simples letras de proposio.
Alm disso, perfeitamente legtimo trocar a ordem de um quantificador com um predicado onde no
aparece a varivel do quantificador. Como y no aparece em A{x), podemos trocar a ordem do quantificador
universal na fbf (2), colocando-o na frente, obtendo a fbf equivalente
i3x) ^y)[A(x) A (B(y) ^ C{x, y))} (a)
Na fbf (a), ainda temos smbolos de agrupamento em tomo de B ^ C(x, y). Sem esses smbolos de agrupa-
mento, essa fbf ficaria
i3x) (Vy)[Aix) ABiy)^ C{x, y)] (b)
o que, de acordo com a ordem de precedncia dos conectivos, equivalente a -jj^'
{3x) 0^y){{A{x) A Biy)) ^ C(x, y)]
Um exerccio rpido, montando uma tabela-verdade, mostra que A A(B ^ C) no equivalente a (A A
5) C, de modo que a fbf (b) no equivalente fbf (a) e, portanto, no representa a afirmao (2) na
tabela.

PROBLEMA Usando os smbolos predicados E{x) para "x um estudante", I{x) para "x inteligente" e .V/(.v) para "x
PRTICO 18 gosta de msica", escreva fbfs que expressem as proposies a seguir. (O domnio consiste em todas as

a. Todos os estudantes so inteligentes.

b. Alguns estudantes inteligentes gostam de msica.
c. Todo o mundo que gosta de msica um estudante burro.
d. Apenas estudantes inteligentes gostam de msica.

PROBLEMA Usando os smbolos predicados F{x) para "x uma fruta", L{x) para "x um legume" e D(x, y) para "x
PRTICO 19 mais doce do que y", escreva fbfs que expressem as afirmaes a seguir. (O domnio o mundo inteiro.)
a. Alguns legumes so mais doces do que todas as frutas.
b. Todas as frutas so mais doces do que todos os legumes.
c. Todas as frutas so mais doces do que alguns legumes.
d. Apenas frutas so mais doces do que legumes.
Como no caso de proposies compostas, preciso ter cuidado ao negar proposies contendo
quantificadores. A negao da proposio "Tudo lindo" " E falso que tudo seja lindo" ou "Alguma coisa
no linda". Simbolicamente,
[(Vx)A(x)]' equivalente a (3x)[A(x)]'
Note que "Tudo horroroso" (considerando horroroso = no lindo), ou (Vx)[A(x)]', diz algo mais forte do
que a negao da proposio original.
A negao de "Alguma coisa bonita" "Nada bonito" ou "Tudo horroroso". Simbolicamente,
[(3x)A{x)]' equivalente a (Vx)[A(x)]'
Em portugus, a negao poderia ser escrita como "Tudo no lindo", o que poderia ser interpretado
erroneamente como "Nem tudo lindo" ou "Existe algo que no lindo". No entanto, essa interpretao
errnea, simbolizada por (3x)[A(x)]', no to forte quanto a negao da proposio original.

PROBLEMA Qual das sentenas a seguir expressa a negao de "Todo o mundo ama algum alguma vez"?
PRTICO 20
a. Todo o mundo odeia algum alguma vez.
b. Algum ama todo o mundo todo o tempo.
c. Todo o mundo odeia todo o mundo todo o tempo.
d. Algum odeia todo o mundo todo o tempo.

VALIDADE
o valor lgico de uma fbf proposicional depende dos valores lgicos atribudos s letras de proposio. O
valor lgico de uma fbf predicada depende da interpretao. Portanto, escolher uma interpretao para uma
32 CAPNX-LO U M

fbf predicada anlogo a escolher valores lgicos para uma fbf proposicional. No entanto, existe uma
infinidade de interpretaes possveis para uma fbf predicada e apenas 2" linhas possveis em uma tabela-
verdade para uma fbf proposicional com n letras de proposio.
Uma tautologia uma fbf proposicional que assume o valor verdadeiro em todas as linhas da tabela-
verdade. O anlogo de uma tautologia para uma fbf predicada validade uma fbf predicada vlida se
ela verdadeira para todas as interpretaes possveis. A validade de uma fbf predicada deve ser deduzida
de sua forma, j que a validade independente de qualquer interpretao particular; uma fbf vlida
"intrinsecamente verdadeira".
Existe um algoritmo para decidir se uma fbf proposicional uma tautologia: basta construir a tabela-
verdade e examinar todas as atribuies de valores lgicos. Como podemos decidir sobre a validade de fbfs
predicadas? E claro que no podemos examinar todas as interpretaes possveis, j que so infinitas.
Acontece que no existe nenhum algoritmo para decidir a validade. (Isso no significa, simplesmente, que
ainda no se encontrou um algoritmo significa que j foi provado que no existe um tal algoritmo.)
Precisamos raciocinar para determinar se a forma de uma fbf toma-a verdadeira em todas as interpreta-
es. Se pudermos encontrar uma nica interpretao de modo que a fbf tenha o valor falso ou no tenha
valor lgico, claro que, ento, a fbf no vlida.
A Tabela 1.16 compara as fbfs proposicionais e as predicadas.

TABELA 1.16
Fbfs Proposicionais Fbfs Predicadas
Valores lgicos Verdadeiro ou falso, dependendo Verdadeiro, falso ou talvez (se a fbf
dos valores lgicos atribudos s tiver uma varivel Uvre) sem valor
letras de proposio lgico, dependendo da interpretao

"Intrinsecamente Tautologia verdadeiro para Fbf vlida verdadeira para todas

verdadeiro" todas as atribuies de as interpretaes
valores lgicos
Metodologia Algoritmo (tabela-verdade) para No existe algoritmo para
determinar se uma fbf uma determinar se uma fbf vlida
tautologia

Vamos agora tentar determinar a validade.

a. AM E X E M P L O 23
(Vx)P(x) ^ (3x)P(x)
vlida. Em qualquer interpretao, se todo elemento do conjunto universo tem uma determinada pro-
priedade, ento existe um elemento do conjunto que tem essa propriedade. (Lembre-se de que o conjun-
to universo de qualquer interpretao tem que ter, pelo menos, um elemento.) Logo, sempre que o
antecedente for verdadeiro, o consequente tambm o e, portanto, o condicional verdadeiro.
b. A fbf
(Vx)P(x) -> P(a)

vlida porque, em qualquer interpretao, a um elemento particular do conjunto universo e, portan-

to, tem a propriedade que todos os elementos tm.
c. A f b f
(Vx)[P(x) A Qix)] ^ x)P{x) A (Vx)(x)

vlida. Se ambas, PeQ, forem verdadeiras para todos os elementos do domnio, ento P verdadeira
para todos os elementos eQ verdadeira para todos os elementos, e vice-versa.
d. Afi3f
P(x) ^ Q(x) ^ P(x)]

vlida, embora contenha uma varivel livre. Para ver isso, considere uma interpretao qualquer e seja
X um elemento qualquer do domnio. Ento x tem ou no a propriedade P. Se x no tiver a propriedade
 LGICA F O R M A L 33

P, ento P{x) falsa; como P{x) o antecedente do condicional principal, esse condicional verdadeiro.
Se X tiver a propriedade P, ento verdadeira; independentemente do xalor lgico de Q{x), o
condicional P{x) verdadeiro e, portanto, o condicional principal tambm verdadeiro.

E X E M P L O 24 A fbf
Qx)P{x) (Vx)P(x)
no vlida. Por exemplo, com a interpretao onde o domnio o conjunto dos inteiros e P(x) significa
que X par, verdade que existe um inteiro par mas falso que todos os inteiros sejam pares. O antecedente
do condicional verdadeiro e o conseqiiente falso, logo o condicional falso.

No precisamos, necessariamente, de um contexto matemtico para obter uma interpretao em relao

qual uma fbf seja falsa mas, freqiientemente, mais fcil trabalhar nesse contexto, pois as relaes entre
os objetos so mais claras. . ' v,-q v q ,

PROBLEMA Afbf
PRTICO 21
iWx)[P(x) V Q(x)] -> (Vx)P(.v) V I 7A-lO(.r)
vlida ou no? Explique.

SEO 1.3 REVISO

TCNICAS
ES Determinar o valor lgico de uma fbf predicada com uma determinada interpretao.
El Traduzir declaraes em portugus para fbfs predicadas e vice-versa.
Reconhecer uma fbf vlida e explicar por que ela vlida.
H Reconhecer uma fbf no-vlida e obter uma interpretao em relao qual ela falsa ou no tem valor
lgico.

IDEIAS PRINCIPAIS
o valor lgico de uma fbf predicada depende da interpretao considerada.
Fbfs predicadas vlidas so "intrinsecamente verdadeiras" verdadeiras para todas as interpretaes.

EXERCCIOS 1.3

1. Determine o valor lgico de cada uma das fbfs a seguir com a interpretao de que o conjunto
universo consiste em todos os inteiros, I{x) significa que "x mpar", L{x) que "x < O" e G(x) que "x
> 9".
a. i3x)Iix) b. mmx)^I(x)]
c. (3x)lL(x)AG(x)] d. (Vx)[LW V G(x)]
2. Qual o valor lgico de cada uma das fbfs a seguir com a interpretao que o conjunto universo o
conjunto dos inteiros?
a. iVx){3y)(x + y = x) irb. {3y)(\fx){x + y = x)
c. (VJC)(3.V)(JC + > = 0 ) d. (3.y)(Vx)(x + y = 0 )
e. (Vx)(Vy)(. < y V V < X) f. ( V x ) [ x < 0 - ^ ( 3 y ) C y > 0 A A + y = O)|
g. (3x)(3y)(x2 = _y) h. ( V x ) ( x 2 > 0 )

3. Determine o valor lgico de cada uma das fbfs a seguir com a interpretao de que o conjunto
universo consiste em todos os estados do Brasil, Qix, y) significa que "x est a norte de y", P(x) que
"x comea com a letra M " e a simboliza "Mato Grosso do Sul".
a. (\/x)P(x) b. (\/x)Ofy)(yzmix,y)AQiy,z)^Qix,z)]
c. (3y)(3x)Qiy,x) d. (yx)i3y)[P(y) A Q(x, y)]
e. {3y)Q(a,y)
34 CAPhinx) U M

,4. Piara cada fbf, encontre uma interpretao em relao qual ela verdadeira e outra em relao
* .:4iuil ela falsa.
^ ' * a . {^x){\A(x) V Bix)\ A{x) A B(x)\')
b. {\fx)(yy)[P{x,y)^P(y,x)]
c. {\/x)[P{x)^{3y)Qix,y)\
d. {3x)[Aix)Aiyy)B(x,y)]
e. [(VxMW ^ (Vx)fi(x)] (Vx)lA(x) B{X)\
5. Identifique o escopo de cada um dos quantificadores nas fbfs a seguir e indique as variveis livres (se
existirem).
a. (yxmx)^Q(y)] b. i3x)[A{x) A (yy)B(y)]
c. (3x)[0fy)P(x,y)AQ(x,y)] d. (3x)(3y)[Aix,y) A Biy, z) ^ A(a, z)]
6. Usando os smbolos predicados indicados e quantificadores apropriados, escreva cada declarao
em portugus como uma fbf predicada. (O conjunto universo o mundo inteiro.)
D(x) " x u m d i a " .
S(x) "x ensolarado".
C(x) "x chuvoso".
M "segunda-feira".
r"tera-feira".
a . Todos os dias so ensolarados,
b. Alguns dias no so chuvosos,
c . Todo dia ensolarado no chuvoso.
d. Alguns dias so ensolarados e chuvosos.
e. Nenhum dia , ao mesmo tempo, ensolarado e chuvoso.
f. sempre um dia ensolarado s se for um dia chuvoso.
g. Nenhum dia ensolarado.
h. A segunda-feira foi ensolarada; portanto, todos os dias sero ensolarados.
i. Choveu na segunda e na tera-feira.
j . Se algum dia for ensolarado, ento todos os dias sero ensolarados.
7. Usando os smbolos predicados indicados e quantificadores apropriados, escreva cada declarao
em portugus como uma fbf predicada. (O conjunto universo o mundo inteiro.)
B{x) "x uma bola".
R{x) "x redondo".
S(x) "x uma bola de futebol".
a. Todas as bolas so redondas.
b. Nem todas as bolas so bolas de futebol.
c. Todas as bolas de futebol so redondas.
d. Algumas bolas no so redondas.
e. Algumas bolas so redondas, mas as bolas de futebol no so.
f. Toda bola redonda uma bola de futebol.
g. S bolas de futebol so bolas redondas.
h. Se as bolas de futebol so redondas, ento todas as bolas so redondas.
8. Usando os smbolos predicados indicados e quantificadores apropriados, escreva cada declarao
em portugus como uma fbf predicada. (O conjunto universo o mundo inteiro.)
P(x) "x uma pessoa".
T(x) "x um per^odo de tempo".
E(x, y) "x enganado por y".
a. Voc pode enganar algumas pessoas todo o tempo.
b. Voc pode enganar todas as pessoas durante algum tempo.
c. Voc no pode enganar todas as pessoas todo o tempo.
9. Usando os smbolos predicados indicados e quantificadores apropriados, escreva cada declarao
em portugus como uma fbf predicada. (O conjunto universo o mundo inteiro.)
J{x) "x um juiz".
F(x) "x um farmacutico".
 LGICA FORMAL 35

L(x) "x um advogado".

M(x) "x uma mulher".
A{x, y) "x admira y".
a. Existem algumas mulheres advogadas que so farmacuticas,
b. Nenhuma mulher , ao mesmo tempo, advogada e farmacutica,
c . Alguns advogados s admiram juzes.
d. Todos os juzes admiram apenas juzes.
e. S juzes admiram juzes.
f. Todas as mulheres advogadas admiram algum juiz.
g. Algumas mulheres no admiram nenhum advogado.
1 0 . Usando os smbolos predicados indicados e quantificadores apropriados, escreva cada declarao
em portugus como uma fbf predicada. (O conjunto universo o mundo inteiro.)
C{x) "x um Corvette".
P{x) "x um Porsche". ' nl k
F{x) "x uma Ferrari". '''J^
D(x, y) "x anda mais devagar do que J
a. Nada ao mesmo tempo um Corvette e uma Ferrari. '.,
b. Alguns Porsches s andam mais devagar do que Ferraris. ../
c. Apenas Corvettes andam mais devagar do que Porsches.
d. Todas as Ferraris andam mais devagar do que algum Corvette. . ,. , :
e. Alguns Porsches no andam mais devagar do que Corvette algum.
f. Se existe algum Corvette que anda mais devagar do que uma Ferrari, ento todos os Corvettes
andam mais devagar do que todas as Ferraris.
1 1 . Usando os smbolos predicados indicados e quantificadores apropriados, escreva cada declarao
em portugus como uma fbf predicada. (O conjunto universo o mundo inteiro.)
B{x) "x uma abelha".
F(x) "x uma flor".
A(x, y) "x adora j " .
a. Todas as abelhas adoram todas as flores.
b. Algumas abelhas adoram todas as flores.
c. Todas as abelhas adoram algumas flores.
d. Todas as abelhas s detestam flores.
e. Apenas as abelhas adoram flores.
f. Todas as abelhas s adoram flores.
g. Nenhuma abelha adora apenas flores.
h. Algumas abelhas adoram algumas flores.
i. Algumas abelhas adoram apenas flores,
j . Toda abelha detesta algumas flores.
k. Toda abelha detesta todas as flores.
1. Nenhuma abelha detesta todas as flores.
1 2 . Usando os smbolos predicados indicados e quantificadores apropriados, escreva cada declarao
em portugus como uma fbf predicada. (O conjunto universo o mundo inteiro.)
^(x) "x um romance de espionagem".
L(x) "x longo".
P{x) "x um romance policial".
M(x, y) "x melhor do que y".
a. Todos os romances de espionagem so longos.
b. Nem todo romance policial de espionagem.
c. Apenas romances policiais so longos.
d. Alguns romances de espionagem so policiais.
e. Romances de espionagem so melhores do que romances policiais.
f. Alguns romances policiais so melhores do que todos os de espionagem.
g. Apenas romances de espionagem so melhores do que romances policiais.
36 CAPtTVLO U M

13. D \'erses em portugus para as fbfs a seguir, onde:

A.x, y) "x ama y". j "Joo".
\ "x vistoso". c "Ctia".
H{x) "x um homem". M(.v) "x uma mulher".
Bix) "x bonita". ;
a. V(j)AAic,j)
b. {yx)[Hix)-^V{x}]
c. (Vx)(M(.Y) ^ (Vy)[A(.v. V) ^ Hiy) A V^CV)]
d. (3.v)[//(.v) A \'(.V) A A(X. O]
e. (3.Y)(M(.v) Af(.v)A (Vy )[A(.v. y) ^ y(y) A H{y)])
f. (VX)[M(A) A ^ A(y. .V)]
14. So dadas diversas formas de negao para cada uma das proposies a seguir. Qual delas est
correta?
*a. Algumas pessoas gostam de matemtica.
1. Algumas pessoas no gostam de matemtica.
2. Todo o mundo no gosta de matemtica.
3. Todo o mundo gosta de matemtica.
b. Todo o mundo gosta de sorvete.
1. Ningum gosta de sorvete.
2. Todo o mundo no gosta de sorvete.
3. Algumas pessoas no gostam de sorvete.
c. Todas as pessoas so altas e magras.
1. Algumas pessoas so baixas e gordas.
2. Ningum alto e magro.
3. Algumas pessoas so baixas ou gordas.
d. Algumas fotos so velhas ou esto apagadas.
1. Todas as fotos nem so velhas nem esto apagadas.
2. Algumas fotos no so velhas ou no esto apagadas.
3. Todas as fotos no so velhas ou no esto apagadas.
15. Escreva a negao de cada uma das proposies a seguir:
a. Algumas pginas na rede tm som.
b. Todas as pginas na rede tm som e vdeo,
c . Todas as pginas na rede tm som ou vdeo.
d. Algumas pginas na rede no tm som nem vdeo.
e. Toda pgina na rede ou tem texto, ou tem som e vdeo.
16. Negue cada uma das declaraes a seguir:
a. S estudantes comem pizza.
b. Todo estudante come pizza.
c. Alguns estudantes s comem pizza.
17. Negue cada uma das declaraes a seguir:
a. Alguns fazendeiros s produzem milho.
b. Todos os fazendeiros produzem milho.
c. Milho s produzido por fazendeiros.
18. Explique por que cada fbf a seguir vlida.
a. (Vx)(Vy)Aa-, y) (Vy)(Vx)A(jc, y)
b. (3x)(3y)A{x, y) ^ {3y)(3x)A(x, y)
c. (3x){\/y)Pix, y) ^ (Vy)(3jc)P(A:, y)
d. A(a) ^ (3x)A{x)

19. D interpretaes que mostram que cada uma das fbfs a seguir no vlida:
a . i3x)A{x) A (3x)B{x)(3x)\A(x) A B{x)\
b. (Vx){3y)P(x,v)-4(3x)(VyOP(x,y)
c. (Vx)IP(.) ^ Q(x)] - 4 |(3J:)P(JC) ^ (Vx)<2Wl
d. (Vjc)|AU)r-l(Vx)AW|'