Captulo 3

Predicados e Quantificadores
A linguagem das proposicoes nao e poderosa o bastante para fazermos todas as afirmac
oes
necessarias na matematica.
Precisamos, por exemplo, fazer afirmacoes do tipo:
1. x = 7
2. x + y 0
3. xn + y n = z n
claro que tais afirmacoes nao sao proposicoes, no entanto se atribuirmos valores `
E
as
variaveis obteremos proposicoes em cada caso acima. Afirmacoes similares ocorrem na
lngua portuguesa, por exemplo:

1.

Ele e medico e estuda computacao.

x e medico e estuda computacao.

2.

Ela estuda computacao e mora na cidade.

x estuda computacao e mora na cidade y.

Observe que no caso acima e medico e estuda computacao e um predicado.

Afirmacoes como estas, dependendo de uma ou mais variaveis, sao ditas func
oes
proposicionais ( ou sentecas abertas ) quando tem a propriedade de se tornarem falsas ou
verdadeiras quando substituimos as variaveis por valores especficos.
Denominaremos as afirmacoes como acima simplesmente por predicados e denotaremos em geral por P (x), S(x),...
Assim temos,
39

1. P (x) :: x = 7
2. S(x, y) :: x + y 0
3. R(x, y, z, n) :: xn + y n = z n
Quando enunciamos um predicado e necessario especificar um conjunto que ser
a assumido como constante durante a discussao do predicado, o qual sera denominado universo
de discurso e sera denotado por U.
Seja U o universo de discurso e P (x1 , x2 , . . . , xn ) um predicado. Dizemos que P e
satisfeito em U quando existirem c1 , c2 , . . . , cn tais que P (c1 , c2 , . . . , cn ) seja verdadeiro.
Exemplo U = IN , P, Q, R como no exemplo anterior:
1. P (7) e verdadeiro, logo P e satisfeito.
2. S(1, 2) e verdadeiro, logo P e satisfeito.
3. R(3, 4, 5, 2) e verdadeiro, logo P e satisfeito.
Sejam U = IN e P (x, y) :: x + y = 1 entao e facil ver que P nao e satisfeito.
Temos duas maneiras de transformar predicados em proposicoes, substituindo as vari
aveis
por valores especficos, como acima, ou pela quantificacao, que pode ser:
Quantificacao Universal:
P (x) e verdadeiro para todo x em U, ou simplesmente
Para todo x, P (x), ou ainda
x, P (x)
Quantificacao Existencial:
P (x) e verdadeiro para algum x em U, ou simplesmente
Para algum x, P (x), ou ainda
Existe x, P (x), ou ainda
x, P (x)
Exemplo 3.1 U={x|xe casado}
1. xy[xe casado com y] Para todo x existe y que e casado com x.
2. yx[xe casado com y] Existe y que e casado com todo x.

40

Em particular, a primeira sentenca e verdadeira e a segunda falsa.

Exerccio. Verifique quais sentencas abaixo sao verdadeiras.
1. xy[x + y = 0], U = Z
2. yx[x + y = 0], U = Z
3. xy[x + y > y], U = Z
4. x[x(x 1) = 0], U = IR
5. x[x2 + 1) = 0], U = IR
OBS.: A implicacao P (c) x, P (x) e sempre verdadeira. Justifique!

Quantificadores e Operadores L
ogicos
Exemplo 3.2 . Sejam U = Z e denotemos por
N (x) :: x e um n
umero inteiro nao negativo
P (x) :: x e um n
umero primo
I(x) :: x e um n
umero mpar
Q(x) :: x e um n
umero par
1. Existe um inteiro par x, Q(x)
2. Todo inteiro e par ou mpar x, [Q(x) I(x)]
3. Todos os inteiros primos sao nao negativos x, [P (x) N (x)]
4. O u
nico primo par e o dois x, [(Q(x) P (x)) x = 2]
5. Existe um e somente um primo par !x, [P (x) Q(x)]
6. Nem todos os inteiros sao pares + x, Q(x) (ou x, + Q(x)
7. Nem todos os primos sao pares + x, [P (x) Q(x)]
8. Se um inteiro nao e par entao e mpar x, [+ Q(x) I(x)]

41

Negacao de Proposicoes que contem Quantificadores

Seja U = {x1 , x2 }, isto e um universo de discurso com apenas dois elementos. Ent
ao
[x, P (x)] [P (x) e verdadeiro para todo x U] [P (x1 ) e verdadeiro e
P (x2 ) e verdadeiro] [P (x1 ) P (x2 ) e verdadeiro].
Logo,
+ [x, P (x)] [P (x1 ) P (x2 ) e falso] [+ [P (x1 ) P (x2 )] e verdadeiro]
[(+ P (x1 ) + P (x2 )) e verdadeiro] [existe x U tal que + P (x) seja
verdadeiro] [x, + P (x)]
Agora, seja U = {x1 , x2 , . . . , xn }, isto e um universo de discurso com n elementos.
Entao,
[x, P (x)] [P (x) e verdadeiro para todo x U] [P (x1 ) e verdadeiro e
P (x2 ) e verdadeiro e ... e P (xn ) e verdadeiro] [P (x1 ) P (x2 ) . . . P (xn ) e
verdadeiro].
Logo,
+ [x, P (x)] [P (x1 ) P (x2 ) . . . P (xn ) e falso] [+ [P (x1 ) P (x2 )
. . . P (xn )] e verdadeiro] [(+ P (x1 ) + P (x2 ) . . . + P (xn )) e verdadeiro]
[existe x U tal que + P (x) seja verdadeiro] [x, + P (x)]
Substituindo o quantificador universal pelo quantificador existencial, obtemos:
[x, P (x)] [P (x) e verdadeiro para algum x U] [P (x1 ) e verdadeiro ou
P (x2 ) e verdadeiro ou ... ou P (xn ) e verdadeiro] [P (x1 ) P (x2 ) . . . P (xn ) e
verdadeiro].
Logo,
+ [x, P (x)] [P (x1 ) P (x2 ) . . . P (xn ) e falso] [+ [P (x1 ) P (x2 )
. . . P (xn )] e verdadeiro] [(+ P (x1 ) + P (x2 ) . . . + P (xn )) e verdadeiro]
[+ P (x) e verdadeiro para todo x U] [x, + P (x)]
Mais geralmente, se U e um conjunto qualquer temos:
+ [x, P (x)] x, + P (x)
+ [x, P (x)] x, + P (x)

42

Observacao Nos exemplos anteriores os quantificadores aparecem no incio da frase.

No entanto, eles podem ocorrer em qualquer lugar, como nos exemplos a seguir.
Exemplo 3.3 Considere o predicado P (x, y, z) :: x y = z, com universo de discurso
U = IN .
1. Se x = 0, entao x y = x para todo y.
x[x = 0 yP (x, y, x)]
2. Se x y = x para todo y, entao x = 0.
x[yP (x, y, x) x = 0]
3. Se x y 6= x para algum y, entao x 6= 0.
x[(y + P (x, y, x)) x 6= 0]
Observacoes.
1. No item 2 acima nao seria correto escrever xy[P (x, y, x) x = 0] pois o significado desta u
ltima sentenca e que x = 0 sempre que x y = x.
2. [x[P (x) Q(x)]] 6= [xP (x) Q(x)] pois o primeiro e uma proposicao enquanto o
segundo e a disjuncao de uma proposicao com um predicado.
3. [x, P (x)] [y, P (y)].
4. [xP (x) Q(x)] [yP (y) Q(x)], segue das duas observacoes anteriores.

43

Exerccios
1. Para as sentencas abaixo, ache uma interpretacao na qual sejam verdadeiras e outra
na qual sejam falsas.
(a) x, [(A(x) B(x)) + (A(x) B(x))]
(b) x ,y, [P (x, y) P (y, x)]
(c) x ,[P (x) (y, Q(x, y))]
2. Usando os smbolos predicados mostrados e os quantificadores apropriados, escreva
as sentencas dadas abaixo simbolicamente (o domnio e todo mundo).
D(x):: x e um dia
S(x):: x e ensolarado
R(x):: x e chuvoso
S= e segunda feira
(a) Todos os dias sao ensolarados.
(b) Alguns dias nao sao chuvosos.
(c) Todo dia que e ensolarado nao e chuvoso.
(d) Nenhum dia e ensolarado e chuvoso.
(e) Segunda-feira foi ensolarado, portanto todo dia sera ensolarado.
(f ) Se algum dia for chuvoso entao todos os dias serao ensolarados.
3. Usando os smbolos predicados mostrados e os quantificadores apropriados, escreva
as sentencas dadas abaixo simbolicamente (o domnio e todo mundo).
J(x):: x e um juiz
A(x):: x e um advogado
M(x):: x e uma mulher
Q(x):: x e um qumico
A(x,y):: x admira y
(a) Existem algumas mulheres advogadas que sao qumicas.
(b) Nenhuma mulher e advogada e qumica.
(c) Alguns advogados so admiram juzes.
(d) Todos os juzes admiram apenas juzes.
(e) Apenas juzes admiram juzes.
(f ) Todas as mulheres advogadas admiram algum juiz.
44

4. Se
G(x,y) for x gosta de y
H(x) for x e homem
M(x) for x e uma mulher
j for John
k for Kathy
de as traducoes, para a lngua portuguesa, das expressoes abaixo:
(a) x[+ M (x) G(x, k)]
(b) x[+ M (x) G(j, x)]
(c) x[+ M (x) G(x, j)]
(d) xy[(H(x) M (y)) G(x, y)]
(e) yx[(H(x) M (y)) G(x, y)]
(f ) yy[(H(x) M (y)) G(y, x)]
5. Negue, simbolicamente, cada item da questao anterior e traduza a express
ao resultante para o portugues.

6. Usando os smbolos predicados mostrados e os quantificadores apropriados, escreva

as sentencas dadas abaixo simbolicamente (o domnio e todo mundo).
A(x) e x e uma abelha.
B(x) e x e uma flor.
G(x,y) e x gosta de y.
(a) Todas as abelhas gostam de todas as flores.
(b) Algumas abelhas gostam de todas as flores..
(c) Todas as abelhas gostam de algumas flores.
(d) Toda abelha so odeia flores.
(e) Apenas abelhas gostam de flores.
(f ) Toda abelha so gosta de flores.
(g) Nenhuma abelha gosta so de flores.
(h) Algumas abelhas gostam de algumas flores.
45

(i) Algumas abelhas gostam apenas de flores.

(j) Toda abelha odeia algumas flores.
(k) Toda abelha odeia todas as flores.
(l) Nenhuma abelha odeia todas as flores.
7. Escreva a negacao das sentencas abaixo, em cada caso nao e permitido usar as
palavras indicadas entre parenteses.
(a) Algumas mulheres gostam de futebol ou cerveja. (Nenhum)
(b) Nenhum aluno de Computacao adora logica e o professor de logica.(N
ao)
(c) Algum aluno de computacao adora logica, mas detesta o professor de l
ogica.
(d) Todo botafoguense e ao mesmo tempo simpatico e inteligente.
8. Para cada sentenca abaixo, escreva a recproca e a contrapositiva:
(a) O crescimento sadio das plantas e conseq
uencia de quantidade suficiente de
agua.
(b) O crescimento da oferta de computadores e condicao necessaria para o desenvolvimento cientfico.
(c) Havera novos erros apenas se o programa for alterado.
(d) A economia de memoria implica em mais rapidez de processamento.
9. Encontre contra-exemplos para cada uma das afirmacoes abaixo:
(a) Toda figura geometrica com quatro angulos retos e um quadrado.
(b) Se um n
umero real nao e positivo, entao ele deve ser negativo.
(c) Todas as pessoas ruivas tem olhos verdes ou sao altas.
(d) Todas as pessoas ruivas tem olhos verdes e sao altas.

46