Predicados e Quantificadores

Predicados e Quantificadores
André Rodrigues da Cruz

andre@decom.cefetmg.br
Departamento de Computação
Centro Federal de Educação Tecnológica de Minas Gerais
Matemática Discreta
André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 1 / 37

Lógica de Predicados
Expressa significado de um grupo amplo de proposições;

Permite raciocinar e explorar relações entre objetos.
Exemplos
A lógica proposicional não pode expressar adequadamente o significado
das expressões abaixo, mas a lógica de predicados pode:
“Todos os computadores na rede estão funcionando apropriadamente.”
“PC1 está funcionando corretamente.”
“Existe um computador na rede que está sob ataque de um hacker.”

Predicados
Sentenças que envolvem variáveis não são nem verdadeiras nem falsas;
A não ser que se conheça o valor das variáveis;
Exemplos
“x > 3”, “x + y = z”,
“O computador x está sob ataque de um hacker.”
A declaração “x é maior que 3” possui duas partes:

I O sujeito da declaração, que é a variável, x;
I O predicado, “é maior que 3”, propriedade do sujeito;
A declaração (afirmação) é chamada de o valor da função
proposicional P em x;
Dado o valor de x, P(x) é verdadeira ou falsa.

Predicados
Exemplos
Seja P(x) a declaração “x > 3”. Tem-se que P(4) é verdadeira e P(2) é falsa.
Seja A(x) a declaração “O computador x está sendo invadido por um hacker”. Suponha
que apenas os computadores SI1 e SI5 estão sendo invadidos. Tem-se que o valor-verdade
de A(SI1) e A(SI5) é verdadeira e para os outros é falsa.
Uma afirmação pode ter várias variáveis;

A declaração P(x1 , x2 , . . . , xn ) é denominado função proposicional P
para a n-úpla (x1 , x2 , . . . , xn ) e P é chamado de predicado n-ário.
Exemplo
Seja Q(x, y , z) a representação de x + y = z. Quais os valores-verdade de
Q(1,2,3) e Q(0,0,1)?
Temos que a proposição Q(1, 2, 3) é obtida substituindo x = 1, y = 2 e z = 3, o que representa
1 + 2 = 3, que é verdadeira. De maneira análoga, tem-se Q(0, 0, 1) que é falsa, pois 0 + 0 6= 1.

Predicados em Programas de Computador
Verificação da saı́da correta dado uma entrada válida;

Precondições: declarações que descrevem entradas válidas;
Pós-Condições: condições que verificam se as saı́das são
satisfatórias.
Exemplo
Encontre predicados que podem ser usados como precondições e
pós-condições para verificar que o programa abaixo é correto.
temp := x
x := y
y := temp
Para a precondição, é necessário saber se as entradas têm certos valores antes da execução.
Então podemos usar o predicado P(x, y ) como precondição, que afirma que “x = a e y = b”,
em que a e b são valores. Para verificar se o programa faz o que se deseja, suponha que
Q(x, y ), que afirma “x = b e y = a”, é satisfeita.

Quantificadores
Quantificação:
I Afirma que um predicado é 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 é verdadeiro para todos os elementos do
domı́nio;
Existencial: existe um ou mais elementos no domı́nio para o qual o
predicado é verdadeiro;
Cálculo de predicados.

Quantificador Universal
A quantificação universal de P(x) é a afirmação
“P(x) é válida para todos os valores de x no domı́nio.”
A notação ∀xP(x), lida como “para todo xP(x)”, indica a quantificação
universal de P(x). Aqui ∀ é chamado de quantificador universal. Um
elemento para o qual P(x) é falsa é chamado de contra-exemplo para
∀xP(x).
“para todo”, “para cada”, “‘para qualquer”, ‘dado qualquer”;

P(x) é verdadeira para todo x no domı́nio;
∀xP(x) é 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 é vazio, então ∀xP(x) é verdadeira para toda proposição
P(x), pois não há elemento no domı́nio para o qual P(x) seja falsa.
Exemplo
Seja P(x) a declaração “x + 1 > x”. Qual é o valor-verdade quantificação
∀xP(x), no domı́nio de todos os números reais?
Como P(x) é verdadeira para todo número real x, a quantificação ∀xP(x) é verdadeira.
Exemplo
Seja Q(x) a declaração “x < 2”. Qual é o valor-verdade quantificação
∀xQ(x), em que o domı́nio é o conjunto dos números reais?
Q(x) não é verdadeira para todo número real x. Por exemplo, Q(3) é falsa. Isto é, x = 3 é um
contra-exemplo para a declaração ∀xQ(x). Logo, ∀xQ(x) é falsa.
Exemplo
Suponha que P(x) seja “x 2 > 0”. Mostre que ∀xP(x) é falsa, no domı́nio
dos número inteiros com um contra-exemplo.
Dado x = 0, vemos que x 2 = 0 e não é maior que 0. Portanto, ∀xP(x) é falsa.

Quando todos os elementos do domı́nio podem ser listados, por
exemplo x1 , x2 , . . . , xn , segue que a quantificação universal ∀xP(x) é o
mesmo que a conjunção P(x1 ) ∧ P(x2 ) ∧ . . . ∧ P(xn ), que é 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) é a proposição “x 2 < 10” e
o domı́nio é o conjunto dos números inteiros positivos que não excedem 4?
Temos que ∀xP(x) ≡ P(1) ∧ P(2) ∧ P(3) ∧ P(4). Esta proposição é falsa, pois P(4), a
expressão 42 < 10, é falsa. Portanto, ∀xP(x) é falsa.
Exemplo
O que significa dizer ∀xN(x) se N(x) é “O computador x está conectado à
rede” e o domı́nio são todos os computadores do campus?
A declaração ∀xN(x) significa que, para todo computador x do campus, x está conectado à
rede. Em português usual poderia ser “Todo computador no campus está conectado à rede”.

Exemplo
Qual o valor-verdade de ∀xP(x)(x 2 ≥ x) se o domı́nio consiste em todos
os números reais?
A quantificação ∀xP(x)(x 2 ≥ x) é falsa no domı́nio dos números reais, pois x 2 < x somente
quando x ∈ (0, 1), que é um intervalo real.
Exemplo
Qual o valor-verdade de ∀xP(x)(x 2 ≥ x) se o domı́nio consiste em todos
os números inteiros?
A quantificação ∀xP(x)(x 2 ≥ x) é verdadeira os números inteiros. O intervalo aberto (0, 1) não
existe no conjunto dos números inteiros.

Quantificador Existencial
A quantificação existencial de P(x) é a proposição
“Existe um elemento x no domı́nio tal que P(x).”
Usamos a notação ∃xP(x), lida como “existe um x tal que P(x)”, para a
quantificação existencial de P(x). Aqui ∃ é chamado de quantificador
existencial.
“existe um”, “existe pelo menos um”, “para algum”;

P(x) é verdadeira para pelo menos um valor no domı́nio;
∃xP(x) é falsa se e somente se não existe x no domı́nio tal que P(x)
seja verdadeira (P(x) é 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 é vazio, então ∃xP(x) é falsa para toda proposição
P(x), pois não há elemento no domı́nio que valide P(x).
Exemplo
Seja P(x) a expressão “x > 3”. Qual o valor-verdade da quantificação
∃xP(x) no domı́nio dos números reais?
Basta informar um x real tal que P(x) seja verdadeira, por exemplo, para x = 4, temos que
P(4) é verdadeira.
Exemplo
Seja Q(x) a expressão “x = x + 1”. Qual o valor-verdade da quantificação
∃xQ(x) no domı́nio dos números reais?
Como Q(x) é falsa para todos os números reais, a quantificação existencial ∃xQ(x) é falsa.

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

exemplo x1 , x2 , . . . , xn , segue que a quantificação existencial ∃xP(x) é
o mesmo que a disjunção P(x1 ) ∨ P(x2 ) ∨ . . . ∨ P(xn ), que é 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) é a proposição “x 2 > 10” e
o domı́nio é o conjunto dos números inteiros positivos que não excedem 4?
Temos que ∃xP(x) ≡ P(1) ∨ P(2) ∨ P(3) ∨ P(4). Esta proposição é verdadeira, pois P(4), a
expressão 42 > 10, é verdadeira. Portanto, ∃xP(x) é verdadeira.

Quantificadores
Sentença Quando é verdadeira? Quando é falsa?

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

Outras Quantificações
Quantificadores de unicidade ∃!xP(x);

“Existe um único x tal que P(x) é verdadeira”;
Outros quantificadores:
I “existem exatamente dois”;
I “existem não mais do que três”;
I “existem pelo menos 100”;
I ...

Quantificadores de Domı́nio Restrito
Notação abreviada para restrição do domı́nio;

Condição a ser satisfeita pela variável incluı́da depois do quantificador.
Exemplo
O que as proposiçõ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 é o conjunto dos
números reais?
A proposição ∀x < 0(x 2 > 0) fala sobre qualquer número real x com x < 0, x 2 > 0. Ou seja, o
“O quadrado de todo número negativo é positivo”. A proposição é o mesmo que
∀x(x < 0 → x 2 > 0).
A proposição ∀y 6= 0(y 3 6= 0) diz que para qualquer número real y com y 6= 0 teremos y 3 6= 0.
Ou seja, “O cubo de um número não nulo é também não nulo”. A proposição é equivalente a
∀y (y 6= 0 → y 3 6= 0).
A proposição ∃z > 0(z 2 = 2) fala que existe um número real z com z > 0, tal que z 2 = 2. Ou
seja, “Existe um número real positivo tal que seu quadrado é igual a 2”. A proposição é
equivalente a ∃z(z > 0 ∧ z 2 = 2).

Prioridade dos Quantificadores
∀ e ∃ têm prioridade maior que os operadores lógicos;
Exemplo
∀xP(x) ∨ Q(x) é a disjunção de ∀xP(x) e Q(x).
Ela significa (∀xP(x)) ∨ Q(x) ao invés de ∀x(P(x) ∨ Q(x)).

Ligando Variáveis
Variável ligada: associada a um quantificador;

Variável livre: não associada a um quantificador ou não representa
valores particulares de um conjunto;
Ligação através de quantificadores universais ou fornecendo valores;
Escopo do quantificador: parte da expressão na qual o quantificador
é aplicado.
O escopo de dois quantificadores não se sobrepõe.
Exemplo
Em ∃x(x + y = 1), a variável ligada ao quantificador existencial é x, porém y é livre.
Em ∃x(P(x) ∧ Q(x)) ∨ ∀xR(x), todas as variáveis são ligadas. O escopo do primeiro

quantificador, ∃x, é (P(x) ∧ Q(x)) apenas. O escopo do segundo quantificador, ∀x, é R(x).
Poderı́amos escrever a afirmação usando duas variáveis, x e y , como ∃x(P(x) ∧ Q(x)) ∨ ∀yR(y ).
No uso comum, a mesma letra é frequentemente usada em variáveis ligadas por diferentes
quantificadores com escopo que não se sobrepõe.

Equivalências Lógicas que Envolvem Quantificadores
Logicamente Equivalentes
Sentenças que envolvem predicados e quantificadores são logicamente
equivalentes se e somente se elas têm o mesmo valor-verdade quaisquer
que sejam os predicados substituı́dos nessas sentenças e qualquer que seja
o domı́nio do discurso para as variáveis nessas funções proposicionais.
Usamos a notação S ≡ T para indicar que as duas declarações que
envolvem predicados e quantificadores são logicamente equivalentes.
Podemos distribuir o quantificador universal sobre a conjunção:

∀x(P(x) ∧ Q(x)) ≡ ∀xP(x) ∧ ∀xQ(x).
Podemos distribuir o quantificador existencial sobre a disjunção:
∃x(P(x) ∨ Q(x)) ≡ ∃xP(x) ∨ ∃xQ(x).
Não podemos distribuir o quantificador existencial sobre a conjunção;
Não podemos distribuir o quantificador universal sobre a disjunção;

Equivalências Ló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)) é verdadeira, então ∀xP(x) ∧ ∀xQ(x) é verdadeira. Depois,
mostraremos que, se ∀xP(x) ∧ ∀xQ(x) é verdadeira, então ∀x(P(x) ∧ Q(x)) é verdadeira.
Suponha que ∀x(P(x) ∧ Q(x)) é verdadeira. Temos que se a está no domı́nio, então
P(a) ∧ Q(a) é verdadeira. Logo, P(a) e Q(a) são verdadeiras. Como P(a) é verdadeira e Q(a) é
verdadeira para todo elemento do domı́nio, podemos concluir que ∀xP(x) e ∀xQ(x) são ambas
verdadeiras. Isto significa que ∀xP(x) ∧ ∀xQ(x) é verdadeira.
Agora suponha que ∀xP(x) ∧ ∀xQ(x) é verdadeira. Segue disto que ∀xP(x) e ∀xQ(x) são
ambas verdadeiras. Logo, se a está no domı́nio, então P(a) e Q(a) são verdadeiras. Segue que,
para todo a no domı́nio, P(a) ∧ Q(a) é verdadeira. Portanto, ∀x(P(x) ∧ Q(x)) é verdadeira.
Podemos concluir que ∀x(P(x) ∧ Q(x)) ≡ ∀xP(x) ∧ ∀xQ(x).

Negando Expressões Quantificadas
Leis de Morgan para Quantificadores

Negação Sentença Equivalente Quando a Negação é Quando é Falsa?
Verdadeira?
¬∃xP(x) ∀x¬P(x) Para todo x, P(x) é falsa. Existe um x para o
qual P(x) é verda-
deira.
¬∀xP(x) ∃x¬P(x) Existe um x para o qual Para todo x, P(x) é
P(x) é 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)

Exemplo
Quais as negações de “Existe um polı́tico honesto” e “Todos os brasileiros
comem churrasco”?
Seja H(x) “x é honesto”. Então “Existe um polı́tico honesto” é representado por ∃xH(x), em
que o domı́nio consiste de todos os polı́ticos. A negação da declaração é ¬∃xH(x) ≡ ∀x¬H(x),
que pode ser expressa por “Todos os polı́ticos são desonestos” ou “Todos os polı́ticos não são
honestos”.
Agora seja C (x) “x come churrasco”. Então “Todos os brasileiros comem churrasco” é
representado por ∀xC (x), em que o domı́nio consiste de todos os brasileiros. A negação é
representada por ¬∀xC (x) ≡ ∃x¬C (x), que pode ser expressa por “Nem todos os brasileiros
comem churrasco” ou “Alguns brasileiros não comem churrasco”.

Exemplo
Quais as negações das proposições ∀x(x 2 > x) e ∃x(x 2 = 2)?
A negação de ∀x(x 2 > x) é ¬∀x(x 2 > x) ≡ ∃x¬(x 2 > x) ≡ ∃x(x 2 ≤ x).
A negação de ∃x(x 2 = 2) é ¬∃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)) são logicamente
equivalentes.
Pela lei de Morgan para quantificadores universais, sabemos que ¬∀x(P(x) → Q(x)) e
∃x(¬(P(x) → Q(x))) são logicamente equivalentes. Por uma equivalência lógicaa , sabemos que
¬(P(x) → Q(x)) e P(x) ∧ ¬Q(x) são logicamente equivalentes para todo x. Substituindo pela
equivalência, temos ∃x(P(x) ∧ ¬Q(x)). Portanto, ¬∀x(P(x) → Q(x)) e ∃x(P(x) ∧ ¬Q(x)) são
logicamente equivalentes.
a
Ver Tabela de Equivalências da aula anterior.

Traduzindo do Português para Expressões Lógicas
Produção de expressões lógicas simples e usuais;

Aplicações:
I Matemática;
I Lógica de programação;
I Inteligência artificial;
I Engenharia de software;
I ...
Expressões com quantificadores podem ser mais difı́ceis de traduzir;
Podem existir muitas maneiras de se traduzir.

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

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

Usando Quantificadores em Sistemas de Especificações
Exemplo
Use predicados e especificadores para expressar o sistema de especificações
“Todo e-mail com tamanho maior que um megabyte será comprimido” e
“Se um usuário estiver ativo, ao menos um link de rede estará 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 é um número real positivo, e seja C (m) o
predicado “O e-mail m será comprimido”. Então a especificação “Todo e-mail com tamanho
maior que um megabyte será comprimido” pode ser representada por ∀m(S(m,1) → C (m)).
Seja A(u) o predicado “O usuário u está ativo”, a variável u tem como domı́nio todos os
usuários, e seja S(n, x) o predicado “O link de rede n está 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. Então,
a especificação “Se um usuário estiver ativo, ao menos um link de rede estará habilitado” pode
ser representada por ∃uA(u) → ∃nS(n, habilitado).

Premissas, Conclusão e Argumento
Exemplo
Considere as sentenças abaixo, em que as duas primeiras são chamadas de
premissas e a terceira é chamada de conclusão. O conjunto inteiro é
chamado de argumento.
“Todos os leões são selvagens.”
“Alguns leões não bebem café.”
“Algumas criaturas selvagens não bebem café.”
Sejam P(x), Q(x) e R(x) as sentenças “x é um leão”, “x é selvagem” e
“x bebe café”, respectivamente. Assumindo que o domı́nio consiste em
todas as criaturas, expresse as sentenç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))

Quantificadores Agrupados
Dois quantificadores estão agrupados se um está dentro do escopo do outro.
Exemplos
∀x∃y (x + y = 0) pode ser o mesmo que ∀xQ(x), em que Q(x) é
∃yP(x, y ) e P(x, y ) é x + y = 0;
∀x∃y (x + y = 0) diz que para todo número real x, existe um número
real y , tal que x + y = 0;
∀x∀y (x + y = y + x) diz que x + y = y + x para todos os números
reais;
∀x∀y ∀z(x + (y + z) = (x + y ) + z) é a propriedade associativa da
adição de números reais.

Exemplo
Traduza para o português a sentença
∀x∀y ((x > 0) ∧ (y < 0) → (xy < 0)), em que o domı́nio para ambas as
variáveis são números reais.
A sentença diz que para todo número real x e para todo número real y , se x > 0 e y < 0, então
xy < 0. Ou de forma sucinta, o produto de um número positivo por um número negativo é
sempre negativo.

Quantificações para Duas Variáveis

Sentença Quando é verdadeira? Quando é falsa?
∀x∀yP(x,y ) P(x,y ) é verdadeira para Existe um par x, y para o
∀y ∀xP(x,y ) todo par x, y . qual P(x, y ) é 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 ) é ver- é falsa para todo y .
dadeira.
∃x∀yP(x, y ) Existe um x tal que Para todos x existe um y
P(x, y ) é verdadeira para para o qual P(x, y ) é falsa.
todo y .
∃x∃yP(x, y ) Existe um par x, y para o P(x, y ) é falsa para todo
∃y ∃xP(x, y ) qual P(x, y ) é verdadeira. par x, y .

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 sentença “x + y = z”. Quais os valores-verdade das
sentenças ∀x∀y ∃zQ(x, y , z) e ∃z∀x∀yQ(x, y , z), em que o domı́nio
consiste em todos os números reais?
Suponha que x e y seja valores determinados. Então existe um número real z tal que x + y = z.
Consequentemente, a quantificação ∀x∀y ∃zQ(x, y , z), que é a sentença “Para todo número real
x e para todo número real y existe z tal que x + y = z”, é verdadeira.
Já a quantificação ∃z∀x∀yQ(x, y , z), “Existe z tal que para todo x e y é verdade que
x + y = z”, é falsa. Nenhum valor de z satisfaz a equação para quaisquer valores de x e y .
Obviamente, ∀x∀y ∃zQ(x, y , z) e ∃z∀x∀yQ(x, y , z) não são logicamente equivalentes.

Sentenças Matemáticas para Sentenças que Envolvem
Exemplo
Traduza para uma expressão lógica a sentença “Para todo número real
diferente de zero tem um inverso multiplicativo” (Um inverso
multiplicativo de um número real x é o número real y tal que xy = 1).
Reescrevemos a sentença como “Para todo real x diferente de zero, x tem um inverso
multiplicativo” ou “Para todo número real x, se x 6= 0, então existe um y real, tal que xy = 1”.
Assim, a sentença pode ser traduzida como
∀x((x 6= 0) → ∃y (xy = 1))

Traduzindo Quantificadores Agrupados para o Português
Exemplo
Traduza a sentença ∀x(C (x) ∨ ∃y (C (y ) ∧ F (x, y ))) para o português, em
que C (x) é “x tem um computador”, F (x, y ) é “x e y são amigos” e o
domı́nio para ambas as variáveis são os estudantes da sua escola.
A sentenç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 são amigos. Em outras palavras, todo
estudante de sua escola tem um computador ou tem um amigo que tem um computador.

Traduzindo Sentenças do Português para Expressões
Lógicas
Exemplo
Expresse a sentença “Se uma pessoa é do sexo feminino e tem filhos,
então ela é mãe de alguém” como uma expressão lógica que envolve
predicados, quantificadores com domı́nio que consiste em todas as pessoas
e conectivos lógicos.
A sentença pode ser reescrita como “Para toda pessoa x, se x é do sexo feminino e x tem filhos,
então existe uma pessoa y tal que x é mãe de y ”. Seja F (x) a função proposicional que
representa “x é do sexo feminino”, P(x) que representa “x tem filhos” e M(x, y ) para
representar “x é mãe de y ”. Então a sentença original pode ser escrita por
∀x((F (x) ∧ P(x)) → ∃yM(x, y )).

Negando Quantificadores Agrupados
Aplicação sucessiva das regras de negação para um quantificador.
Exemplo
Expresse a negação da sentença ∀x∃y (xy = 1) de tal forma que a negação
nã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)


Predicados e Quantificadores

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Predicados e Quantificadores

Enviado por

Direitos autorais:

Formatos disponíveis

Predicados e Quantificadores

André Rodrigues da Cruz

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 1 / 37

Expressa significado de um grupo amplo de proposições;

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 2 / 37

A declaração “x é maior que 3” possui duas partes:

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 3 / 37

Uma afirmação pode ter várias variáveis;

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 4 / 37

Verificação da saı́da correta dado uma entrada válida;

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 5 / 37

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 6 / 37

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

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 8 / 37

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 9 / 37

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 10 / 37

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

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 12 / 37

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

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 13 / 37

Sentença Quando é verdadeira? Quando é falsa?

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 14 / 37

Quantificadores de unicidade ∃!xP(x);

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 15 / 37

Notação abreviada para restrição do domı́nio;

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 16 / 37

∀ e ∃ têm prioridade maior que os operadores lógicos;

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 17 / 37

Variável ligada: associada a um quantificador;

Em ∃x(P(x) ∧ Q(x)) ∨ ∀xR(x), todas as variáveis são ligadas. O escopo do primeiro

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 18 / 37

Podemos distribuir o quantificador universal sobre a conjunção:

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 19 / 37

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

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 20 / 37

Leis de Morgan para Quantificadores

Quando o domı́nio possui n elementos:

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 21 / 37

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 22 / 37

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 23 / 37

Produção de expressões lógicas simples e usuais;

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 24 / 37

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 25 / 37

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 26 / 37

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 27 / 37

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 28 / 37

Dois quantificadores estão agrupados se um está dentro do escopo do outro.

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 29 / 37

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 30 / 37

Quantificações para Duas Variáveis

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 31 / 37

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 32 / 37

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

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 33 / 37

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 34 / 37

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

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 35 / 37

Aplicação sucessiva das regras de negação para um quantificador.

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

André Rodrigues da Cruz (CEFET-MG) Predicados e Quantificadores Matemática Discreta 36 / 37

Você também pode gostar