LICAO 4

QUANTIFICADORES

Existem frases declarativas que nao ha como decidir se sao verdadeiras ou

falsas. Por exemplo:

(a) Ele e um campeao da Formula 1.

(b) x2 2x + 1 = 0.

(c) x e um pas.

(d) Ele e ela sao alunos da Matematica.

(e) x + y = 10.

Observe que Ele, Ela, x, e y sao variaveis que podem ser subs-
titudas por um elemento arbitrario, tornando a frase verdadeira ou falsa.
Sendo assim, estas frases tornam-se proposicoes somente depois de atri-
buirmos valores as suas variaveis. Por exemplo, no item ( a), se no lugar de
Ele colocarmos Ayrton Senna, teremos uma proposicao verdadeira.
Porem, se colocarmos Pele, a proposicao obtida sera falsa. Analoga-
mente, no item (b), se x = 1 entao 12 2.1 + 1 = 0, ou seja, a proposicao
sera verdadeira; por outro lado, se x = 0 entao (0)2 2(0) + 1 6= 0, neste
caso, a proposicao sera falsa.
Estas frases declarativas sao denominadas de funcoes proposicionais ou
proposicoes abertas. Denotamos por p( x ) uma proposicao aberta que de-
pende da variavel x A, em que A e um conjunto, chamado de universo
de discurso.

35
 Na matematica e comum a utilizacao do quantificador existencial: exis-
te, do quantificador universal: para todo , para qualquer ou qualquer
que seja para transformar uma proposicao aberta em uma proposicao. Por
exemplo:
(a) Existe x Z tal que x + 1 = 0.
(b) Para todo x N temos que x + 1 6= 0.
(c) Existe x R tal que x2 1 = 0.
(d) Para qualquer x R temos que x2 + 1 6= 0.
De um modo geral, podemos escrever esta classe de proposicoes da se-
guinte maneira:
Existe x A tal que p( x ). (4.1)
Para todo x A temos que p( x ). (4.2)
A proposicao (4.1) sera verdadeira se existe pelo menos um elemento
x do conjunto A que satisfaz a condicao p( x ). Caso contrario, ou seja, se
para todo x A a condicao p( x ) nao e satisfeita, entao a proposicao (4.1)
sera falsa. Do mesmo modo, a proposicao (4.2) sera verdadeira se p( x ) e
satisfeita para todo x A, e sera falsa se existe pelo menos um x A tal
que a condicao p( x ) nao e satisfeita.
Exemplo 4.1. Verifique a falsidade ou veracidade das proposicoes:
(a) Para todo x R temos que x2 > 0.
Solucao: Esta proposicao e falsa, pois 0 R e 02 6> 0. A sua negacao,
que e uma proposicao verdadeira, e dada por: Existe x R tal que
x2 6> 0.
(b) Existe x N tal que x 1 = 0.
Solucao: 1 N e 1 1 = 0. Portanto, a proposicao e verdadeira.
(c) Para todo x R temos que x2 + 1 6= 0.
Solucao: Para qualquer que seja x R, x2 0, deste modo, x2 + 1 1,
ou seja, x2 + 1 6= 0. Portanto, esta proposicao e verdadeira.
(d) Existe x N tal que x2 + 2x + 1 = 0.
Solucao: A equacao x2 + 2x + 1 = 0 pode ser escrita na forma ( x +
1)2 = 0; consequentemente, x = 1 e uma raiz de multiplicidade
dois, sendo assim, nao existe x N tal que x2 + 2x + 1 = 0. Portanto,
a proposicao e falsa. Sua negacao, dada por: Para todo x N temos
que x2 + 2x + 1 6= 0, e uma proposicao verdadeira.

36
 Utilizaremos o smbolo , que se le: existe, para o quantificador
existencial. O smbolo , que se le: para todo, para qualquer ou
qualquer que seja, e usado para denotar o quantificador universal. Note
que, o smbolo de existencia e o E invertido da palavra inglesa Exists,
cuja traducao e existe. O smbolo para o quantificador universal e o
A de cabeca para baixo da palavra inglesa All, cuja traducao e todo.
Deste modo, as proposicoes em (4.1) e (4.2) podem ser reescritas apenas
utilizando smbolos matematicos como segue:

x A : p( x ) (que se le: existe x em A tal que p( x )). (4.3)

x A, p( x ) (que se le: para todo x em A temos p( x )). (4.4)

Exemplo 4.2 (Universo de Discurso Finito). Suponha que o universo de

discurso A = { a1 , a2 , a3 . . . , an } e um conjunto finito com n elementos.
Nesse caso, a proposicao
x A, p( x ),
que e verdadeira se a proposicao aberta p( x ) for verdadeira para todo x
A, e equivalente a conjuncao:

p ( a1 ) p ( a2 ) p ( a3 ) . . . p ( a n ).

Dualmente, a proposicao

x A : p ( x ),

que e verdadeira se p( x ) e verdadeira para pelo menos um x A, corres-

ponde a disjuncao:

p ( a1 ) p ( a2 ) p ( a3 ) . . . p ( a n ).

Exemplo 4.3 (Universo de Discurso Vazio). Considere agora o caso em

que o universo de discurso nao contem nenhum elemento, ou seja, A = .
Nesse caso, independente da proposicao aberta p( x ), tem-se

x A, p( x ) e verdadeira,

x A : p( x ) e falsa.
Por exemplo, considere as proposicoes Todas as vacas voadoras comem
ras e Existe uma vaca voadora que come ras. Nesses exemplos, a
proposicao aberta p( x ) e verdadeira se a vaca x se alimentar de ras. O

37
universo de discurso e o conjunto de todas as vacas voadoras, que e va-
zio, pois nao existem vacas voadoras. A afirmacao Todas as vacas voa-
doras comem ras sera falsa se encontramos uma vaca voadora que nao
come ras. Contudo, como certamente nao podemos encontrar uma vaca
voadora que nao gosta de ra, a afirmacao e verdadeira. Similarmente, a
proposicao Existe uma vaca voadora que come ras e verdadeira se en-
contramos uma vaca voadora que se alimenta de ras. Porem, nao podemos
encontrar tal vaca voadora. Logo, essa proposicao e falsa.

4.1 Negacao de Proposicoes com Quantificador

As negacoes das proposicoes (4.3) e (4.4) sao dadas por:


x A : p( x ) x A, p( x ). (4.5)


x A, p( x ) x A : p( x ). (4.6)

A proposicao x A : p( x ), em alguns casos, pode ser verdadeira

para um unico x A. Por exemplo, x N : x 1 = 0. Quando isto
ocorre, e comum escrever esta proposicao da seguinte maneira: ! x
A : p( x ), que se le: existe um unico x em A que satisfaz p( x ), o smbolo
! denota a existencia e unicidade.
Exemplo 4.4. Analise a veracidade ou falsidade das seguintes proposicoes:

(a) ! x N : x 1 = 0.
Solucao: O numero 1 e o unico natural que satisfaz a equacao x 1 = 0.
Logo, esta proposicao e verdadeira.

(b) ! x Z : x2 1 = 0.
Solucao: Os numeros 1, 1 Z satisfazem a equacao x2 1 = 0.
Portanto, esta proposicao e falsa, pois nao temos a unicidade. Ja a
proposicao x Z : x2 1 = 0 e verdadeira.

(c) x Z, x2 x 2 6= 0.
Solucao: E falsa, pois 2 Z e 22 2 2 = 0. Porem, sua negacao, dada
por: x Z: x2 x 2 = 0, e verdadeira.

(d) x R : x2 + 2x + 2 = 0.
Solucao: Note que, = 22 4(1)(2) = 4 < 0. Assim sendo, a
equacao do segundo grau x2 + 2x + 2 = 0 nao tem solucao no conjunto

38
 dos numeros reais e, portanto, esta proposicao e falsa. Sua negacao,
dada por x R, x2 + 2x + 2 6= 0, e verdadeira.
( x 1)( x +1)
(e) x N, ( x +1)
= x 1.
( x 1)( x +1) ( x +1)
Solucao: Observe que, ( x +1)
= ( x +1)
( x 1) somente sera igual a
( x +1)
( x 1) se x 6= 1, pois neste caso, ( x +1)
= 1. Como x N, segue que,
x 6= 1 e, portanto, a proposicao e verdadeira.

(f) x Q: x2 = 2.
Solucao: Os numeros irracionais 2 e 2 sao as unicas solucoes para
a equacao x2 = 2. Portanto, nao existe x racional que satisfaca a re-
ferida equacao, ou seja, a proposicao e falsa. Sua negacao, dada por
x Q, x2 6= 2, e verdadeira.

4.2 Interpretacoes e Sutilezas da Linguagem

Nessa secao ilustramos como podemos expressar algumas funcoes propo-
sicionais quantificadas comuns em portugues em termos formais. Alem
disso, ressaltamos alguns detalhes que sao comumente adotados na lin-
guagem coloquial. Por fim, apresentamos exemplos de proposicoes com
mais de um quantificador.

Exemplo 4.5. Considere a afirmacao:

Se a e par, entao a2 e tambem par.

Nessa afirmacao, muito comum na linguagem coloquial, esta implcito

tanto o universo de discurso como o quantificador universal. Com efeito,
o correto seria escrever:

Para todo a Z, se a e par, entao a2 tambem e par.

Exemplo 4.6. Considere a afirmacao:

Todos os estudantes de matematica gostam de logica. (4.7)

Essa afirmacao envolve o quantificador universal para todo. O universo

de discurso A e o conjunto de todos os estudantes. A funcao proposici-
onal p( x ) e verdadeira se x A e um estudante de matematica. Nessa
afirmacao temos tambem o funcao proposicional q( x ) que e verdadeira se

39
x A gosta de logica. Podemos pensar, erroneamente, que a afirmacao
(4.7) e expressa em termos formais como

x A, p( x ) q( x ). (4.8)

Todavia, (4.8) corresponde a dizer Todo estudante e da matematica e

gosta de logica, que e bem diferente da afirmacao inicial (4.7). Com efeito,
nem todo estudante e da matematica; existem estudantes de medicina, di-
reito, administracao, etc. A expressao formal correta para (4.7) e:

x A, p( x ) q( x ).

Em palavras, temos Para todo estudante, se o estudante e da matematica,

entao este estudante gosta de logica.

Exemplo 4.7. Vamos agora considerar a afirmacao obtida substituindo o

quantificador para todo por existe em (4.7):

Alguns estudantes de matematica gostam de logica. (4.9)

Podemos pensar que a afirmacao (4.9) e expressa em termos formais como

x A : p ( x ) q ( x ). (4.10)

Contudo, essa expressao esta errada pois pode acontecer de nao haver es-
tudantes de matematica no nosso conjunto de estudantes (o curso de ma-
tematica nao vem sendo muito procurado nos ultimos anos e, dos poucos
alunos ingressantes, muitos desistem durante o curso de logica). Nesse
caso, a proposicao (4.10) e verdadeira enquanto que (4.9) e verdadeira so-
mente se existe pelo menos um estudante de matematica que gosta de
logica. Com efeito, a forma correta de expressar (4.10) e:

x A : p ( x ) q ( x ), (4.11)

que, em palavras, corresponde a dizer: Existe pelo menos um estudante

que e da matematica e gosta de logica.

Exemplo 4.8 (Fixo mas arbitrario). Considere a afirmacao:

Seja a um numero inteiro. Se a e par, entao a2 e tambem par.

Na primeira frase, temos que a e um numero inteiro fixo mas sem ne-
nhuma caracterstica que os difere dos demais numeros inteiros. Portanto,

40
se vale para ele, vale tambem para qualquer outro inteiro. Portanto, a pa-
lavra seja pode ser interpretada como o quantificador universal para
todo. Nesse caso, a afirmacao acima corresponde a: Para todo a Z,
se a e par, entao a2 e par. Esse e um exemplo do conceito amplamente
usado no qual temos uma variavel que e fixa mas arbitraria.
Exemplo 4.9 (Uma Proposicao com Mais de um Quantificador). Seja A e o
conjunto de todas as pessoas e p( x, y) a proposicao que e verdadeira se y
e a mae de x. Por um lado, a proposicao

x A, y A : p( x, y),
corresponde a dizer que toda pessoa possui uma mae. Note que nesse
caso temos uma proposicao com dois quantificadores. Por outro lado, a
proposicao
y A : x A, p( x, y),
que tambem possui dois quantificadores, e equivalente a dizer que existe
uma pessoa que e mae de todos. Observe que as duas proposicoes sao
totalmente diferentes. Logo, a ordem dos quantificadores altera completa-
mente o significado de uma proposicao.
Exemplo 4.10 (Negacao de uma Proposicao com Mais de um Quantifica-
dor). Considere a seguinte afirmacao:
Para todo cao no sofa existe uma pulga no carpete
(4.12)
que o mordeu se ele for um cao preto.
Em linguagem simbolica, essa afirmacao corresponde a proposicao:

x A, y B : p( x ) q( x, y), (4.13)

em que A e o conjunto de todos os caes no sofa, B e o conjunto de todas

as pulgas no carpete, p( x ) e a proposicao: x e um cao preto e q( x, y) e a
proposicao: a pulga y mordeu o cao x.
A negacao da proposicao (4.13), deduzida usando respectivamente (4.6),
(4.5), a equivalencia p q ( p q) e as Leis de De Morgan, e:
 
x A, y B : p( x ) q( x, y)
 
x A : y B : p( x ) q( x, y)
 
x A : y B, p( x ) q( x, y)
 
x A : y B, p( x ) q( x, y)

x A : y B, p( x ) q( x, y) .

41
Em palavras, temos a afirmacao Existe um cao no sofa tal que, para toda
pulga no carpete, o cao e preto e a pulga nao o mordeu. De forma mais
breve, Existe um cao preto no sofa que nao foi mordido por pulgas.
Com base na negacao, podemos responder diversas perguntas sobre a
afirmacao inicial:

(a) O que podemos dizer sobre a veracidade de (4.12) se nao ha um cao

preto no sofa?
Solucao: A proposicao e verdadeira pois, para ela ser falsa, deve haver
um cao preto que nao foi mordido por pulgas.

(b) A proposicao (4.13) sera verdadeira se uma pulga morder todos os

caes?
Solucao: Sim, pois q( x, y) sera verdadeira para todo cao x.

(c) A proposicao (4.12) sera verdadeira houver um cao preto que nao foi
mordido?
Solucao: Nao, pois a negacao de (4.13) sera verdadeira.

(d) O que podemos dizer sobre a veracidade de (4.12) se nao ha pulgas no

carpete?
Solucao: Por falta de informacao, essa pergunta nao pode ser respon-
dida. Com efeito, temos os seguintes casos:

(i) Se existe pelo menos um cao preto no sofa, entao ela sera falsa.
(ii) Se nao existe nenhum cao preto no sofa, entao ela sera verda-
deira.

Este exemplo ilustra o tipo de questoes que devemos ser capaz de respon-
der sobre uma funcao proposicional com quantificadores.

4.3 Exerccios Propostos

Exerccio 4.1. Verifique que as proposicoes abaixo sao falsas e faca a sua
negacao.

(a) x R, x2 2x + 1 > 0.

(b) x R : x2 2x + 1 < 0.

42
(c) n N : n + 1 = 0.

(d) n Z, cos( 2 + n) 6= 0.

(e) x R : x2 + 1 = 0.

(f) m Z, sen(m 2 ) = 0.

(g) x C, x2 + 1 = 0.

(h) k Z : cos(k ) = 0.

Exerccio 4.2. Utilize os quantificadores para transformar as proposicoes

abertas em verdadeiras no conjunto dos numeros reais.

3
(a) x3 = x.

(b) x2 = x.

(c) ( x 2)( x + 2) = x2 4.

(d) x2 + 2x + 2 6= 0.

(e) x2 3x + 2 = 0.

a3 2a2 a
(f) = a2 2a 1.
a
(g) sen( x + y) = 0.

(h) ( x + y)2 = x2 + 2xy + y2 .

(i) x2 + y2 + z2 = ( x + y + z)2 2xy 2xz 2yz

Exerccio 4.3. Escreva em linguagem simbolica as seguintes afirmacoes e

determine sua veracidade.

(a) Todo inteiro e par ou mpar.

(b) Todo inteiro e par ou todo inteiro e mpar.

As duas afirmacoes sao equivalentes? Justifique sua resposta.

Exerccio 4.4. Escreva em linguagem simbolica cada uma das seguintes

afirmacoes esclarecendo o significado de cada proposicao atomica e do(s)
universo(s) de discurso.

43
(a) Existe um inteiro n tal que 4 = n + 2.

(b) Para qualquer inteiro n, 4 = n + 2.

(c) Qualquer triangulo equilatero e equiangular.

(d) Todos os estudantes gostam de logica.

(e) Alguns estudantes nao gostam de logica.

(f) Todo mundo que compreende logica gosta dela.

(g) Cada pessoa tem uma mae.

(h) Alguns inteiros sao pares e divisveis por 3.

(i) Alguns inteiros sao pares ou divisveis por 3.

(j) Pelo menos uma letra da palavra banana e vogal.

(k) x2 4 = 0 possui uma solucao positiva.

(l) Toda solucao de x2 4 = 0 e positiva.

(m) Um dos candidatos sera o vencedor.

(n) Para todo inteiro n, existe um inteiro k tal que n = 2K.

(o) Se todo inteiro e mpar, entao todo inteiro e par.

(p) Todo mundo ama alguem um dia.

(q) Dentre todas as pulgas no carpete, existe uma que mordeu todos os
caes no sofa.

(r) Para todo inteiro n, existe um outro inteiro maior que 2n.

(s) A soma de quaisquer dois inteiros impares e mpar.

Escreva em portugues a negacao de cada uma dessas proposicoes.

Exerccio 4.5. Apresente um exemplo para cada uma das seguintes proposicoes
e determine sua veracidade.
 
(a) x A : p( x ) q( x ) .
   
(b) x A : p( x ) x A : q( x ) .

44
As duas proposicoes sao equivalentes? Justifique sua resposta.

Exerccio 4.6. Considere a afirmacao:

Para toda galinha no galinheiro e para toda cadeira na cozinha,

existe uma frigideira no armario tal que, se o ovo da galinha esta
na frigideira, entao a galinha esta a menos de 2 metros da cadeira.

Escreva essa afirmacao em linguagem simbolica e descreva, em portugues,

sua negacao.

Exerccio 4.7. De exemplos para mostrar que as seguintes bicondicionais

sao falsas:
h

i h
i
(a) x A, p( x ) x A, q( x ) x A, p( x ) q( x ) .
h

i h
i
(b) x A : p( x ) x A : q( x ) x A : p( x ) q( x ) .
h

i h
i
(c) x A, p( x ) x A : q( x ) x A : p( x ) q( x ) .

45