Predicados e Quantificadores

André Rodrigues da Cruz

andre@decom.cefetmg.br

Departamento de Computação
Centro Federal de Educação Tecnológica de Minas Gerais

Matemática Discreta

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 1 / 37

Lógica de Predicados

Expressa significado de um grupo amplo de proposições;

Permite raciocinar e explorar relações entre objetos.

Exemplos
A lógica proposicional não pode expressar adequadamente o significado
das expressões abaixo, mas a lógica de predicados pode:
“Todos os computadores na rede estão funcionando apropriadamente.”
“PC1 está funcionando corretamente.”
“Existe um computador na rede que está sob ataque de um hacker.”

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 2 / 37

Predicados

Sentenças que envolvem variáveis não são nem verdadeiras nem falsas;
A não ser que se conheça o valor das variáveis;

Exemplos
“x > 3”, “x + y = z”,
“O computador x está sob ataque de um hacker.”

A declaração “x é maior que 3” possui duas partes:

I O sujeito da declaração, que é a variável, x;
I O predicado, “é maior que 3”, propriedade do sujeito;
A declaração (afirmação) é chamada de o valor da função
proposicional P em x;
Dado o valor de x, P(x) é verdadeira ou falsa.

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 3 / 37

Predicados

Exemplos
Seja P(x) a declaração “x > 3”. Tem-se que P(4) é verdadeira e P(2) é falsa.
Seja A(x) a declaração “O computador x está sendo invadido por um hacker”. Suponha
que apenas os computadores SI1 e SI5 estão sendo invadidos. Tem-se que o valor-verdade
de A(SI1) e A(SI5) é verdadeira e para os outros é falsa.

Uma afirmação pode ter várias variáveis;

A declaração P(x1 , x2 , . . . , xn ) é denominado função proposicional P
para a n-úpla (x1 , x2 , . . . , xn ) e P é chamado de predicado n-ário.

Exemplo
Seja Q(x, y , z) a representação de x + y = z. Quais os valores-verdade de
Q(1,2,3) e Q(0,0,1)?
Temos que a proposição Q(1, 2, 3) é obtida substituindo x = 1, y = 2 e z = 3, o que representa
1 + 2 = 3, que é verdadeira. De maneira análoga, tem-se Q(0, 0, 1) que é falsa, pois 0 + 0 6= 1.

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 4 / 37

Predicados em Programas de Computador

Verificação da saı́da correta dado uma entrada válida;

Precondições: declarações que descrevem entradas válidas;
Pós-Condições: condições que verificam se as saı́das são
satisfatórias.

Exemplo
Encontre predicados que podem ser usados como precondições e
pós-condições para verificar que o programa abaixo é correto.

temp := x
x := y
y := temp

Para a precondição, é necessário saber se as entradas têm certos valores antes da execução.
Então podemos usar o predicado P(x, y ) como precondição, que afirma que “x = a e y = b”,
em que a e b são valores. Para verificar se o programa faz o que se deseja, suponha que
Q(x, y ), que afirma “x = b e y = a”, é satisfeita.

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 5 / 37

Quantificadores

Quantificação:
I Afirma que um predicado é verdadeiro para um conjunto de elementos;
I Elementos pertencem a um domı́nio ou universo de discurso;
I Palavras usadas: muitos, todos, alguns, nenhum, pouco, . . . ;
Universal: um predicado é verdadeiro para todos os elementos do
domı́nio;
Existencial: existe um ou mais elementos no domı́nio para o qual o
predicado é verdadeiro;
Cálculo de predicados.

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 6 / 37

Quantificador Universal
Quantificador Universal
A quantificação universal de P(x) é a afirmação
“P(x) é válida para todos os valores de x no domı́nio.”
A notação ∀xP(x), lida como “para todo xP(x)”, indica a quantificação
universal de P(x). Aqui ∀ é chamado de quantificador universal. Um
elemento para o qual P(x) é falsa é chamado de contra-exemplo para
∀xP(x).

“para todo”, “para cada”, “‘para qualquer”, ‘dado qualquer”;

P(x) é verdadeira para todo x no domı́nio;
∀xP(x) é falsa se houver ao menos um x no domı́nio com P(x) falsa;
O domı́nio deve ser sempre especificado;
O significado de P(x) muda quando altera-se o domı́nio;
Se o domı́nio é vazio, então ∀xP(x) é verdadeira para toda proposição
P(x), pois não há elemento no domı́nio para o qual P(x) seja falsa.
André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 7 / 37
Quantificador Universal
Exemplo
Seja P(x) a declaração “x + 1 > x”. Qual é o valor-verdade quantificação
∀xP(x), no domı́nio de todos os números reais?
Como P(x) é verdadeira para todo número real x, a quantificação ∀xP(x) é verdadeira.

Exemplo
Seja Q(x) a declaração “x < 2”. Qual é o valor-verdade quantificação
∀xQ(x), em que o domı́nio é o conjunto dos números reais?
Q(x) não é verdadeira para todo número real x. Por exemplo, Q(3) é falsa. Isto é, x = 3 é um
contra-exemplo para a declaração ∀xQ(x). Logo, ∀xQ(x) é falsa.

Exemplo
Suponha que P(x) seja “x 2 > 0”. Mostre que ∀xP(x) é falsa, no domı́nio
dos número inteiros com um contra-exemplo.
Dado x = 0, vemos que x 2 = 0 e não é maior que 0. Portanto, ∀xP(x) é falsa.

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 8 / 37

Quantificador Universal
Quando todos os elementos do domı́nio podem ser listados, por
exemplo x1 , x2 , . . . , xn , segue que a quantificação universal ∀xP(x) é o
mesmo que a conjunção P(x1 ) ∧ P(x2 ) ∧ . . . ∧ P(xn ), que é verdadeira
se e somente se P(x1 ), P(x2 ), . . . P(xn ) forem todas verdadeiras.

Exemplo
Qual o valor-verdade de ∀xP(x) em que P(x) é a proposição “x 2 < 10” e
o domı́nio é o conjunto dos números inteiros positivos que não excedem 4?
Temos que ∀xP(x) ≡ P(1) ∧ P(2) ∧ P(3) ∧ P(4). Esta proposição é falsa, pois P(4), a
expressão 42 < 10, é falsa. Portanto, ∀xP(x) é falsa.

Exemplo
O que significa dizer ∀xN(x) se N(x) é “O computador x está conectado à
rede” e o domı́nio são todos os computadores do campus?
A declaração ∀xN(x) significa que, para todo computador x do campus, x está conectado à
rede. Em português usual poderia ser “Todo computador no campus está conectado à rede”.

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 9 / 37

Quantificador Universal

Exemplo
Qual o valor-verdade de ∀xP(x)(x 2 ≥ x) se o domı́nio consiste em todos
os números reais?
A quantificação ∀xP(x)(x 2 ≥ x) é falsa no domı́nio dos números reais, pois x 2 < x somente
quando x ∈ (0, 1), que é um intervalo real.

Exemplo
Qual o valor-verdade de ∀xP(x)(x 2 ≥ x) se o domı́nio consiste em todos
os números inteiros?
A quantificação ∀xP(x)(x 2 ≥ x) é verdadeira os números inteiros. O intervalo aberto (0, 1) não
existe no conjunto dos números inteiros.

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 10 / 37

Quantificador Existencial
Quantificador Existencial
A quantificação existencial de P(x) é a proposição
“Existe um elemento x no domı́nio tal que P(x).”
Usamos a notação ∃xP(x), lida como “existe um x tal que P(x)”, para a
quantificação existencial de P(x). Aqui ∃ é chamado de quantificador
existencial.

“existe um”, “existe pelo menos um”, “para algum”;

P(x) é verdadeira para pelo menos um valor no domı́nio;
∃xP(x) é falsa se e somente se não existe x no domı́nio tal que P(x)
seja verdadeira (P(x) é falso para todo x do domı́nio);
O domı́nio deve ser sempre especificado;
O significado de P(x) muda quando altera-se o domı́nio;
Se o domı́nio é vazio, então ∃xP(x) é falsa para toda proposição
P(x), pois não há elemento no domı́nio que valide P(x).
André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 11 / 37
Quantificador Existencial

Exemplo
Seja P(x) a expressão “x > 3”. Qual o valor-verdade da quantificação
∃xP(x) no domı́nio dos números reais?
Basta informar um x real tal que P(x) seja verdadeira, por exemplo, para x = 4, temos que
P(4) é verdadeira.

Exemplo
Seja Q(x) a expressão “x = x + 1”. Qual o valor-verdade da quantificação
∃xQ(x) no domı́nio dos números reais?
Como Q(x) é falsa para todos os números reais, a quantificação existencial ∃xQ(x) é falsa.

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 12 / 37

Quantificador Existencial

Quando todos os elementos do domı́nio podem ser listados, por

exemplo x1 , x2 , . . . , xn , segue que a quantificação existencial ∃xP(x) é
o mesmo que a disjunção P(x1 ) ∨ P(x2 ) ∨ . . . ∨ P(xn ), que é falsa se e
somente se P(x1 ), P(x2 ), . . . P(xn ) forem todas falsas.

Exemplo
Qual o valor-verdade de ∃xP(x) em que P(x) é a proposição “x 2 > 10” e
o domı́nio é o conjunto dos números inteiros positivos que não excedem 4?
Temos que ∃xP(x) ≡ P(1) ∨ P(2) ∨ P(3) ∨ P(4). Esta proposição é verdadeira, pois P(4), a
expressão 42 > 10, é verdadeira. Portanto, ∃xP(x) é verdadeira.

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 13 / 37

Quantificadores

Sentença Quando é verdadeira? Quando é falsa?

∀xP(x) P(x) é verdadeira para Existe um x tal que P(x)
todo x. é falsa.
∃xP(x) Existe um x tal que P(x) P(x) é falsa para todo x.
é verdadeira.

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 14 / 37

Outras Quantificações

Quantificadores de unicidade ∃!xP(x);

“Existe um único x tal que P(x) é verdadeira”;
Outros quantificadores:
I “existem exatamente dois”;
I “existem não mais do que três”;
I “existem pelo menos 100”;
I ...

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 15 / 37

Quantificadores de Domı́nio Restrito

Notação abreviada para restrição do domı́nio;

Condição a ser satisfeita pela variável incluı́da depois do quantificador.

Exemplo
O que as proposições ∀x < 0(x 2 > 0), ∀y 6= 0(y 3 6= 0) e ∃z > 0(z 2 = 2)
significam, em que o domı́nio em cada um dos casos é o conjunto dos
números reais?
A proposição ∀x < 0(x 2 > 0) fala sobre qualquer número real x com x < 0, x 2 > 0. Ou seja, o
“O quadrado de todo número negativo é positivo”. A proposição é o mesmo que
∀x(x < 0 → x 2 > 0).
A proposição ∀y 6= 0(y 3 6= 0) diz que para qualquer número real y com y 6= 0 teremos y 3 6= 0.
Ou seja, “O cubo de um número não nulo é também não nulo”. A proposição é equivalente a
∀y (y 6= 0 → y 3 6= 0).
A proposição ∃z > 0(z 2 = 2) fala que existe um número real z com z > 0, tal que z 2 = 2. Ou
seja, “Existe um número real positivo tal que seu quadrado é igual a 2”. A proposição é
equivalente a ∃z(z > 0 ∧ z 2 = 2).

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 16 / 37

Prioridade dos Quantificadores

∀ e ∃ têm prioridade maior que os operadores lógicos;

Exemplo
∀xP(x) ∨ Q(x) é a disjunção de ∀xP(x) e Q(x).
Ela significa (∀xP(x)) ∨ Q(x) ao invés de ∀x(P(x) ∨ Q(x)).

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 17 / 37

Ligando Variáveis

Variável ligada: associada a um quantificador;

Variável livre: não associada a um quantificador ou não representa
valores particulares de um conjunto;
Ligação através de quantificadores universais ou fornecendo valores;
Escopo do quantificador: parte da expressão na qual o quantificador
é aplicado.
O escopo de dois quantificadores não se sobrepõe.

Exemplo
Em ∃x(x + y = 1), a variável ligada ao quantificador existencial é x, porém y é livre.

Em ∃x(P(x) ∧ Q(x)) ∨ ∀xR(x), todas as variáveis são ligadas. O escopo do primeiro

quantificador, ∃x, é (P(x) ∧ Q(x)) apenas. O escopo do segundo quantificador, ∀x, é R(x).
Poderı́amos escrever a afirmação usando duas variáveis, x e y , como ∃x(P(x) ∧ Q(x)) ∨ ∀yR(y ).

No uso comum, a mesma letra é frequentemente usada em variáveis ligadas por diferentes
quantificadores com escopo que não se sobrepõe.

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 18 / 37

Equivalências Lógicas que Envolvem Quantificadores

Logicamente Equivalentes
Sentenças que envolvem predicados e quantificadores são logicamente
equivalentes se e somente se elas têm o mesmo valor-verdade quaisquer
que sejam os predicados substituı́dos nessas sentenças e qualquer que seja
o domı́nio do discurso para as variáveis nessas funções proposicionais.
Usamos a notação S ≡ T para indicar que as duas declarações que
envolvem predicados e quantificadores são logicamente equivalentes.

Podemos distribuir o quantificador universal sobre a conjunção:

∀x(P(x) ∧ Q(x)) ≡ ∀xP(x) ∧ ∀xQ(x).
Podemos distribuir o quantificador existencial sobre a disjunção:
∃x(P(x) ∨ Q(x)) ≡ ∃xP(x) ∨ ∃xQ(x).
Não podemos distribuir o quantificador existencial sobre a conjunção;
Não podemos distribuir o quantificador universal sobre a disjunção;

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 19 / 37

Equivalências Lógicas que Envolvem Quantificadores

Exemplo
Mostre que ∀x(P(x) ∧ Q(x)) ≡ ∀xP(x) ∧ ∀xQ(x).
Suponha que tenhamos predicados particulares P e Q, com um domı́nio comum. Mostraremos
que, se ∀x(P(x) ∧ Q(x)) é verdadeira, então ∀xP(x) ∧ ∀xQ(x) é verdadeira. Depois,
mostraremos que, se ∀xP(x) ∧ ∀xQ(x) é verdadeira, então ∀x(P(x) ∧ Q(x)) é verdadeira.

Suponha que ∀x(P(x) ∧ Q(x)) é verdadeira. Temos que se a está no domı́nio, então
P(a) ∧ Q(a) é verdadeira. Logo, P(a) e Q(a) são verdadeiras. Como P(a) é verdadeira e Q(a) é
verdadeira para todo elemento do domı́nio, podemos concluir que ∀xP(x) e ∀xQ(x) são ambas
verdadeiras. Isto significa que ∀xP(x) ∧ ∀xQ(x) é verdadeira.

Agora suponha que ∀xP(x) ∧ ∀xQ(x) é verdadeira. Segue disto que ∀xP(x) e ∀xQ(x) são
ambas verdadeiras. Logo, se a está no domı́nio, então P(a) e Q(a) são verdadeiras. Segue que,
para todo a no domı́nio, P(a) ∧ Q(a) é verdadeira. Portanto, ∀x(P(x) ∧ Q(x)) é verdadeira.

Podemos concluir que ∀x(P(x) ∧ Q(x)) ≡ ∀xP(x) ∧ ∀xQ(x).

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 20 / 37

Negando Expressões Quantificadas

Leis de Morgan para Quantificadores

Negação Sentença Equivalente Quando a Negação é Quando é Falsa?
Verdadeira?
¬∃xP(x) ∀x¬P(x) Para todo x, P(x) é falsa. Existe um x para o
qual P(x) é verda-
deira.
¬∀xP(x) ∃x¬P(x) Existe um x para o qual Para todo x, P(x) é
P(x) é falsa verdadeira.

¬∀xP(x) ≡ ∃x¬P(x);
¬∃xP(x) ≡ ∀x¬P(x);

Quando o domı́nio possui n elementos:

¬∀xP(x) ≡ ¬(P(x1 ) ∧ P(x2 ) ∧ . . . ∧ P(xn )) ≡ ¬P(x1 ) ∨ ¬P(x2 ) ∨ . . . ∨ ¬P(xn ) ≡ ∃x¬P(x)
¬∃xP(x) ≡ ¬(P(x1 ) ∨ P(x2 ) ∨ . . . ∨ P(xn )) ≡ ¬P(x1 ) ∧ ¬P(x2 ) ∧ . . . ∧ ¬P(xn )) ≡ ∀x¬P(x)

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 21 / 37

Negando Expressões Quantificadas

Exemplo
Quais as negações de “Existe um polı́tico honesto” e “Todos os brasileiros
comem churrasco”?
Seja H(x) “x é honesto”. Então “Existe um polı́tico honesto” é representado por ∃xH(x), em
que o domı́nio consiste de todos os polı́ticos. A negação da declaração é ¬∃xH(x) ≡ ∀x¬H(x),
que pode ser expressa por “Todos os polı́ticos são desonestos” ou “Todos os polı́ticos não são
honestos”.
Agora seja C (x) “x come churrasco”. Então “Todos os brasileiros comem churrasco” é
representado por ∀xC (x), em que o domı́nio consiste de todos os brasileiros. A negação é
representada por ¬∀xC (x) ≡ ∃x¬C (x), que pode ser expressa por “Nem todos os brasileiros
comem churrasco” ou “Alguns brasileiros não comem churrasco”.

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 22 / 37

Negando Expressões Quantificadas

Exemplo
Quais as negações das proposições ∀x(x 2 > x) e ∃x(x 2 = 2)?
A negação de ∀x(x 2 > x) é ¬∀x(x 2 > x) ≡ ∃x¬(x 2 > x) ≡ ∃x(x 2 ≤ x).
A negação de ∃x(x 2 = 2) é ¬∃x(x 2 = 2) ≡ ∀x¬(x 2 = 2) ≡ ∀x(x 2 6= 2).

Exemplo
Mostre que ¬∀x(P(x) → Q(x)) e ∃x(P(x) ∧ ¬Q(x)) são logicamente
equivalentes.
Pela lei de Morgan para quantificadores universais, sabemos que ¬∀x(P(x) → Q(x)) e
∃x(¬(P(x) → Q(x))) são logicamente equivalentes. Por uma equivalência lógicaa , sabemos que
¬(P(x) → Q(x)) e P(x) ∧ ¬Q(x) são logicamente equivalentes para todo x. Substituindo pela
equivalência, temos ∃x(P(x) ∧ ¬Q(x)). Portanto, ¬∀x(P(x) → Q(x)) e ∃x(P(x) ∧ ¬Q(x)) são
logicamente equivalentes.
a
Ver Tabela de Equivalências da aula anterior.

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 23 / 37

Traduzindo do Português para Expressões Lógicas

Produção de expressões lógicas simples e usuais;

Aplicações:
I Matemática;
I Lógica de programação;
I Inteligência artificial;
I Engenharia de software;
I ...
Expressões com quantificadores podem ser mais difı́ceis de traduzir;
Podem existir muitas maneiras de se traduzir.

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 24 / 37

Traduzindo do Português para Expressões Lógicas

Exemplo
Expresse a sentença “Todo estudante desta classe estudou cálculo”,
usando predicados e quantificadores.
Uma possı́vel maneira de resolver seria reescrever a sentença de um modo mais claro, identificar
quantificadores e variáveis.
“Para cada estudante desta classe, este estudante estudou cálculo.”
“Para cada estudante x desta classe, x estudou cálculo.”
Seja C (x) o predicado “x estudou cálculo” e o domı́nio de x consiste nos estudantes desta
classe. Assim, traduzimos a sentença como ∀xC (x).

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 25 / 37

Traduzindo do Português para Expressões Lógicas

Exemplo
Expresse as sentenças “Algum estudante da classe visitou o México” e
“Todo estudante da classe visitou Canadá ou México”, usando predicados
e quantificadores.
A sentença “Algum estudante visitou o México” significa que
“Existe um estudante da classe com a propriedade de que o estudante visitou o México.”
“Existe um estudante x da classe com a propriedade de que x visitou o México.”
Seja M(x) o predicado “x visitou o México” e o domı́nio de x consiste nos estudantes desta
classe. Assim, traduzimos a sentença como ∃xM(x).
De forma similar, a segunda sentença pode ser expressa por
“Para cada estudante x da classe, x tem a propriedade de ter visitado o México ou x de ter
visitado o Canadá.”
Sendo então, C (x) o predicado “x visitou o Canadá”, a sentença pode ser expressa por
∀x(C (x) ∨ M(x)), em que o domı́nio são os alunos desta classe.

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 26 / 37

Usando Quantificadores em Sistemas de Especificações

Exemplo
Use predicados e especificadores para expressar o sistema de especificações
“Todo e-mail com tamanho maior que um megabyte será comprimido” e
“Se um usuário estiver ativo, ao menos um link de rede estará habilitado”.
Seja S(m, y ) o predicado “E-mail m tem tamanho maior que y megabytes”, em que o domı́nio
de m consiste em todas as mensagens de e-mail e y é um número real positivo, e seja C (m) o
predicado “O e-mail m será comprimido”. Então a especificação “Todo e-mail com tamanho
maior que um megabyte será comprimido” pode ser representada por ∀m(S(m,1) → C (m)).
Seja A(u) o predicado “O usuário u está ativo”, a variável u tem como domı́nio todos os
usuários, e seja S(n, x) o predicado “O link de rede n está no estado x”, em que n tem como
domı́nio todos os links da rede e x tem como domı́nio os estados possı́veis de cada link. Então,
a especificação “Se um usuário estiver ativo, ao menos um link de rede estará habilitado” pode
ser representada por ∃uA(u) → ∃nS(n, habilitado).

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 27 / 37

Premissas, Conclusão e Argumento

Exemplo
Considere as sentenças abaixo, em que as duas primeiras são chamadas de
premissas e a terceira é chamada de conclusão. O conjunto inteiro é
chamado de argumento.
“Todos os leões são selvagens.”
“Alguns leões não bebem café.”
“Algumas criaturas selvagens não bebem café.”
Sejam P(x), Q(x) e R(x) as sentenças “x é um leão”, “x é selvagem” e
“x bebe café”, respectivamente. Assumindo que o domı́nio consiste em
todas as criaturas, expresse as sentenças do argumento usando
quantificadores e P(x), Q(x) e R(x).

∀x(P(x) → Q(x))
∃x(P(x) ∧ ¬R(x))
∃x(Q(x) ∧ ¬R(x))

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 28 / 37

Quantificadores Agrupados

Dois quantificadores estão agrupados se um está dentro do escopo do outro.

Exemplos
∀x∃y (x + y = 0) pode ser o mesmo que ∀xQ(x), em que Q(x) é
∃yP(x, y ) e P(x, y ) é x + y = 0;
∀x∃y (x + y = 0) diz que para todo número real x, existe um número
real y , tal que x + y = 0;
∀x∀y (x + y = y + x) diz que x + y = y + x para todos os números
reais;
∀x∀y ∀z(x + (y + z) = (x + y ) + z) é a propriedade associativa da
adição de números reais.

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 29 / 37

Quantificadores Agrupados

Exemplo
Traduza para o português a sentença
∀x∀y ((x > 0) ∧ (y < 0) → (xy < 0)), em que o domı́nio para ambas as
variáveis são números reais.
A sentença diz que para todo número real x e para todo número real y , se x > 0 e y < 0, então
xy < 0. Ou de forma sucinta, o produto de um número positivo por um número negativo é
sempre negativo.

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 30 / 37

Quantificadores Agrupados

Quantificações para Duas Variáveis

Sentença Quando é verdadeira? Quando é falsa?
∀x∀yP(x,y ) P(x,y ) é verdadeira para Existe um par x, y para o
∀y ∀xP(x,y ) todo par x, y . qual P(x, y ) é falsa.
∀x∃yP(x, y ) Para todo x existe um y Existe um x tal que P(x, y )
para o qual P(x, y ) é ver- é falsa para todo y .
dadeira.
∃x∀yP(x, y ) Existe um x tal que Para todos x existe um y
P(x, y ) é verdadeira para para o qual P(x, y ) é falsa.
todo y .
∃x∃yP(x, y ) Existe um par x, y para o P(x, y ) é falsa para todo
∃y ∃xP(x, y ) qual P(x, y ) é verdadeira. par x, y .

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 31 / 37

Ordem dos Quantificadores

∀x∀yP(x, y ) ≡ ∀y ∀xP(x, y );
∃x∀yP(x, y ) 6≡ ∃y ∀xP(x, y ).

Exemplo
Seja Q(x, y , z) a sentença “x + y = z”. Quais os valores-verdade das
sentenças ∀x∀y ∃zQ(x, y , z) e ∃z∀x∀yQ(x, y , z), em que o domı́nio
consiste em todos os números reais?
Suponha que x e y seja valores determinados. Então existe um número real z tal que x + y = z.
Consequentemente, a quantificação ∀x∀y ∃zQ(x, y , z), que é a sentença “Para todo número real
x e para todo número real y existe z tal que x + y = z”, é verdadeira.
Já a quantificação ∃z∀x∀yQ(x, y , z), “Existe z tal que para todo x e y é verdade que
x + y = z”, é falsa. Nenhum valor de z satisfaz a equação para quaisquer valores de x e y .
Obviamente, ∀x∀y ∃zQ(x, y , z) e ∃z∀x∀yQ(x, y , z) não são logicamente equivalentes.

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 32 / 37

Sentenças Matemáticas para Sentenças que Envolvem
Quantificadores Agrupados

Exemplo
Traduza para uma expressão lógica a sentença “Para todo número real
diferente de zero tem um inverso multiplicativo” (Um inverso
multiplicativo de um número real x é o número real y tal que xy = 1).
Reescrevemos a sentença como “Para todo real x diferente de zero, x tem um inverso
multiplicativo” ou “Para todo número real x, se x 6= 0, então existe um y real, tal que xy = 1”.
Assim, a sentença pode ser traduzida como

∀x((x 6= 0) → ∃y (xy = 1))

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 33 / 37

Traduzindo Quantificadores Agrupados para o Português

Exemplo
Traduza a sentença ∀x(C (x) ∨ ∃y (C (y ) ∧ F (x, y ))) para o português, em
que C (x) é “x tem um computador”, F (x, y ) é “x e y são amigos” e o
domı́nio para ambas as variáveis são os estudantes da sua escola.
A sentença 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 são amigos. Em outras palavras, todo
estudante de sua escola tem um computador ou tem um amigo que tem um computador.

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 34 / 37

Traduzindo Sentenças do Português para Expressões
Lógicas

Exemplo
Expresse a sentença “Se uma pessoa é do sexo feminino e tem filhos,
então ela é mãe de alguém” como uma expressão lógica que envolve
predicados, quantificadores com domı́nio que consiste em todas as pessoas
e conectivos lógicos.
A sentença pode ser reescrita como “Para toda pessoa x, se x é do sexo feminino e x tem filhos,
então existe uma pessoa y tal que x é mãe de y ”. Seja F (x) a função proposicional que
representa “x é do sexo feminino”, P(x) que representa “x tem filhos” e M(x, y ) para
representar “x é mãe de y ”. Então a sentença original pode ser escrita por

∀x((F (x) ∧ P(x)) → ∃yM(x, y )).

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 35 / 37

Negando Quantificadores Agrupados

Aplicação sucessiva das regras de negação para um quantificador.

Exemplo
Expresse a negação da sentença ∀x∃y (xy = 1) de tal forma que a negação
não preceda algum quantificador.
Aplicando sucessivamente a lei de Morgan para quantificadores, temos

¬∀x∃y (xy = 1) ≡ ∃x¬∃y (xy = 1)

≡ ∃x∀y ¬(xy = 1)
≡ ∃x∀y (xy 6= 1)

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 36 / 37

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 37 / 37