lógica de predicados - sol -...
TRANSCRIPT
![Page 1: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/1.jpg)
Lógica de Predicados
Quantificadores
![Page 2: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/2.jpg)
Conteúdo
� Correção de Exercícios� Operações Lógicas� Quantificadores – Rosen (pg 33)� Tradução Português – Lógica – Rosen (pg 42)
![Page 3: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/3.jpg)
Exercícios
� Determinar o conjunto verdade em N dos predicados.� P(x) = “2x = 6”� P(x) = “x – 1 < 4”� P(x) = “5x + 6 = 0”� P(x) =“x2-x-2”
![Page 4: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/4.jpg)
Exercícios
� Determinar o conjunto verdade em N dos predicados.� P(x) = “2x = 6” CV={3}� P(x) = “x – 1 < 4”� P(x) = “5x + 6 = 0”� P(x) =“x2-x-2”
![Page 5: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/5.jpg)
Exercícios
� Determinar o conjunto verdade em N dos predicados.� P(x) = “2x = 6” CV={3}� P(x) = “x – 1 < 4” CV={0,1,2,3,4}� P(x) = “5x + 6 = 0”� P(x) =“x2-x-2”
![Page 6: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/6.jpg)
Exercícios
� Determinar o conjunto verdade em N dos predicados.� P(x) = “2x = 6” CV={3}� P(x) = “x – 1 < 4” CV={0,1,2,3,4}� P(x) = “5x + 6 = 0” CV={ }� P(x) =“x2-x-2”
![Page 7: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/7.jpg)
Exercícios
� Determinar o conjunto verdade em N dos predicados.� P(x) = “2x = 6” CV={3}� P(x) = “x – 1 < 4” CV={0,1,2,3,4}� P(x) = “5x + 6 = 0” CV={ }� P(x) =“x2-x-2” CV={2}
![Page 8: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/8.jpg)
Exercícios
� Dados os conjuntosA={ -2,0,1,2}B={-1,0,3}
Determinar o conjunto verdade de P(x,y)=“x+y < 1” x�A e y�B
![Page 9: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/9.jpg)
Exercícios
� Dados os conjuntosA={ -2,0,1,2}B={-1,0,3}
Determinar o conjunto verdade de P(x,y)=“x+y < 1” x�A e y�B
CV = { (-2,-1), (-2,0), (0,-1), (0,0), (1,-1)}
![Page 10: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/10.jpg)
Exercícios Rosen – pg 46
1) Considere P(x) como o predicado “x� 4”. Quais são os valores verdade das proposições abaixo?
a) P(0)b) P(4)c) P(6)
![Page 11: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/11.jpg)
Exercícios Rosen – pg 46
1) Considere P(x) como o predicado “x� 4”. Quais são os valores verdade das proposições abaixo?
a) P(0) é Verdadeb) P(4) é Verdadec) P(6) é Falso
![Page 12: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/12.jpg)
Exercícios Rosen – pg 46
2) Considere P(x) como o predicado “a palavra x contém a letra a”. Quais são os valores verdade das proposições abaixo?
a) P(orange)b) P(lemon)c) P(true)d) P(false)
![Page 13: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/13.jpg)
Exercícios Rosen – pg 46
2) Considere P(x) como o predicado “a palavra x contém a letra a”. Quais são os valores verdade das proposições abaixo?
a) P(orange) é Verdadeb) P(lemon) é Falsoc) P(true) é Falsod) P(false) é Verdade
![Page 14: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/14.jpg)
Exercícios Rosen – pg 46
2) Considere Q(x,y) como o predicado “x é a capital de y”. Quais são os valores verdade das proposições abaixo?
a) Q(Denver, Colorado)
![Page 15: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/15.jpg)
Exercícios Rosen – pg 46
2) Considere Q(x,y) como o predicado “x é a capital de y”. Quais são os valores verdade das proposições abaixo?
a) Q(Denver, Colorado) é Verdadeb) Q(Detroir, Michigan)
![Page 16: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/16.jpg)
Exercícios Rosen – pg 46
2) Considere Q(x,y) como o predicado “x é a capital de y”. Quais são os valores verdade das proposições abaixo?
a) Q(Denver, Colorado) é Verdadeb) Q(Detroir, Michigan) é Falso capital é Lansingc) Q(Massachusetts, Boston)
![Page 17: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/17.jpg)
Exercícios Rosen – pg 46
2) Considere Q(x,y) como o predicado “x é a capital de y”. Quais são os valores verdade das proposições abaixo?
a) Q(Denver, Colorado) é Verdadeb) Q(Detroir, Michigan) é Falso capital é Lansingc) Q(Massachusetts, Boston) é Verdaded) Q(Nova York, Nova York)
![Page 18: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/18.jpg)
Exercícios Rosen – pg 46
2) Considere Q(x,y) como o predicado “x é a capital de y”. Quais são os valores verdade das proposições abaixo?
a) Q(Denver, Colorado) é Verdadeb) Q(Detroir, Michigan) é Falso capital é Lansingc) Q(Massachusetts, Boston) é Verdaded) Q(Nova York, Nova York) é F capital é Albany
![Page 19: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/19.jpg)
Exercícios Rosen – pg 46
4) Constate o valor de x depois que o comando if P(x) then x:=1 for executada, em que P(x) é a proposição “x>1”, se o valor de x, quando essa proposição for alcançada, for
a) x=0; Resp. 0b) x=1; Resp. 1c) x=2; Resp 1
![Page 20: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/20.jpg)
Operações Lógicas Sobre Predicados
� As operações lógicas que usamos para proposições estendem se a predicados.
� M(x) = “x é médico”� P(x) = “x é professor”
� M(x) ^ P(x) x é médico e professor
![Page 21: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/21.jpg)
Operações Lógicas sobre Predicados
� Conjunção
P(x) = “x>2”Q(x) = “x<8”
P(x) ^ Q(x) = “2 < x < 8”
CV = ??? em N
![Page 22: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/22.jpg)
Operações Lógicas sobre Predicados
� Conjunção
P(x) = “x > 2”Q(x) = “x < 8”
P(x) ^ Q(x) = “2 < x < 8”
CV = {3,4,5,6,7}
![Page 23: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/23.jpg)
Operações Lógicas sobre Predicados
� Disjunção
P(x) = “x < 2”Q(x) = “x > 8”
P(x) v Q(x) = “x > 2 ou x < 8”
CV em N ??? 0? 1? 2? 5?
![Page 24: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/24.jpg)
Operações Lógicas sobre Predicados
� Negação
P(x) = “x é par”~P(x) = ???
O conjunto verdade de um é o complemento do conjunto verdade do outro.
![Page 25: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/25.jpg)
Operações Lógicas sobre Predicados
� Negação
P(x) = “x é par”~P(x) = “x é impar”
O conjunto verdade de um é o complemento do conjunto verdade do outro.
![Page 26: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/26.jpg)
Operações Lógicas sobre Predicados
� Negação
P(x) = “x é par”~P(x) =“x é impar”
Q(x) = “x < y”~Q(x) = ???
O conjunto verdade de um é o complemento do conjunto verdade do outro.
![Page 27: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/27.jpg)
Operações Lógicas sobre Predicados
� Negação
P(x) = “x é par”~P(x) = “x é impar”
Q(x) = “x < y”~Q(x) = “x � y”
O conjunto verdade de um é o complemento do conjunto verdade do outro.
![Page 28: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/28.jpg)
Operações Lógicas sobre Operadores
� As operações:
� Condicional� Bicondicional
também podem ser estendidas para a lógica de predicados. Falaremos sobre elas em aulas futuras.
![Page 29: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/29.jpg)
Quantificadores
� São frases do tipo:� “para todo”� “para cada”� “para algum”
� Ou seja, frases que dizem quantos objetos, em algum sentido, têm uma determinada propriedade.
![Page 30: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/30.jpg)
Quantificadores - Tipos
� Universal: � considera todos os elementos de um conjunto
� Existencial:� Existe um ou mais elementos de um conjunto.
![Page 31: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/31.jpg)
Quantificador Universal
� Propriedade é verdadeira para todos os valores de uma variável em um determinado domínio, ou seja, todos os elementos do domínio tornam o predicado verdadeiro.
� Domínio = Conjunto Verdade
� Símbolo Usado: �
![Page 32: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/32.jpg)
Quantificador Universal
� Notação:� (�x ��A) (P(x)) � �x ��A, P(x)� �x ��A: P(x) � (�x ) P(x)� �x, P(x)� �x: P(x)� �x P(x)
![Page 33: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/33.jpg)
Quantificador Universal
� Seja A = {a1,a2, ... , an} o domínio considerado para o predicado P(x).
� Então �x P(x) equivale à conjunção das proposições.
�x P(x) � P(a1)^ P(a2) ^ ... P(an)
![Page 34: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/34.jpg)
Quantificador Universal
� Seja A = {a1,a2, ... , an} o domínio considerado para o predicado P(x).
� Então �x P(x) equivale à conjunção das proposições.
�x P(x) � P(a1)^ P(a2) ^ ... ^P(an)
� Sendo assim ao usarmos o quantificador universal no predicado este torna se uma proposição pois tem um valor verdade.
![Page 35: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/35.jpg)
Quantificador Universal
� Exemplo:A= {3,5,7}P(x) = “x é primo”�x P(x) é ???
![Page 36: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/36.jpg)
Quantificador Universal
� Exemplo:A= {3,5,7}P(x) = “x é primo”�x P(x) é Verdade
� Um elemento para o qual P(x) é falsa é chamado de contra exemplo para �x P(x) e torna �x P(x) falso também.
![Page 37: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/37.jpg)
Quantificador Universal
� Exemplo:
P(x) = “x +1 > x”Domínio: o conjunto dos números reais.
�x P(x) é ?
![Page 38: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/38.jpg)
Quantificador Universal
� Exemplo:
P(x) = “x +1 > x”Domínio: o conjunto dos números reais.
�x P(x) é Verdade
![Page 39: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/39.jpg)
Quantificador Universal
� Exemplo:
Q(x) = “x < 2”Domínio: o conjunto dos números reais
�x Q(x) é ???
![Page 40: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/40.jpg)
Quantificador Universal
� Exemplo:
Q(x) = “x < 2”Domínio: o conjunto dos números reais
Q(3) é Falso logo �x Q(x) é Falso
Contra exemplo
![Page 41: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/41.jpg)
Quantificador Existencial
� Propriedade é verdadeira para pelo menos um valor de uma variável em um determinado domínio, ou seja, existe um elemento do domínio que torna o predicado verdadeiro.
� Símbolo Usado: �
![Page 42: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/42.jpg)
Quantificador Existencial� Exemplo
P(x) = “x é aluno de fundamentos 1 que tem N1=10.0”
Domínio = {alunos desta sala}
Podemos escrever que: �x P(x)
![Page 43: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/43.jpg)
Quantificador Existencial
� Notação:� (�x ��A) (P(x)) � �x ��A, P(x)� �x ��A: P(x) � (�x ) P(x)� �x, P(x)� �x: P(x)� �x P(x)
![Page 44: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/44.jpg)
Quantificador Existencial
� Seja A = {a1,a2, ... , an} o domínio considerado para o predicado P(x).
� Então �x P(x) equivale à disjunção das proposições.
�x P(x) � P(a1) v P(a2) v ... v P(an)
![Page 45: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/45.jpg)
Quantificador Existencial
� Seja A = {a1,a2, ... , an} o domínio considerado para o predicado P(x).
� Então �x P(x) equivale à disjunção das proposições.
�x P(x) � P(a1) v P(a2) v ... v P(an)
� Sendo assim ao usarmos o quantificador existencial no predicado este torna se uma proposição pois tem um valor verdade.
![Page 46: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/46.jpg)
Quantificador Existencial
Exemplo: P(x) = “x > 3”Domínio: conjunto dos números reais.Temos que 4 > 3 logo �x P(x) é V
![Page 47: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/47.jpg)
Quantificador Existencial
� �x P(x) será falso quando o conjunto verdade for vazio.
� Exemplo:(�x �N) (n+4<8)
O Conjunto Verdade = {0,1,2,3}, logo o predicado é verdadeiro
�x P(x) é Verdade
![Page 48: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/48.jpg)
Quantificador Existencial
� �x P(x) será falso quando o conjunto verdade for vazio.
� Exemplo:(�x �N) (n+4 < 4)
O Conjunto Verdade = { }, logo o predicado é falso
�x P(x) é Falso
![Page 49: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/49.jpg)
Traduzindo do Português
Todo estudante desta classe estudou lógica.
Como podemosrepresentar isso na lógica?
![Page 50: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/50.jpg)
Traduzindo do Português
� Todo estudante desta classe estudou lógica.
1) Definir o predicadoC(x) = “x estudou lógica”
![Page 51: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/51.jpg)
Traduzindo do Português
� Todo estudante desta classe estudou lógica.
1) Definir o predicadoC(x) = “x estudou lógica”
2) Definir o domínioDomínio = {estudantes desta classe}
![Page 52: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/52.jpg)
Traduzindo do Português
� Todo estudante desta classe estudou lógica.
1) Definir o predicadoC(x) = “x estudou lógica”
2) Definir o domínioDomínio = {estudantes desta classe}
3) Escrever a proposição: �x C(x)
![Page 53: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/53.jpg)
Traduzindo do Português
� Todo estudante desta classe estudou lógica.
1) Definir o predicadoC(x) = “x estudou calculo”
2) Definir o domínioDomínio = {estudantes desta classe}
3) Escrever a proposição: �x C(x)
Existem várias maneiras de tradução!!!!
![Page 54: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/54.jpg)
Rosen Pg 46 Ex. 5
� Considere P(x) como o predicado “x passa mais do que cinco horas em aula todos os dias”, em que o domínio de x são todos os estudantes. Expresse cada uma dessas quantificações em português.
a) �x P(x) b) �x P(x)c) �x ~P(x) d) �x ~P(x)
![Page 55: Lógica de Predicados - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Conteúdo Correção de Exercícios Operações Lógicas Quantificadores](https://reader031.vdocuments.site/reader031/viewer/2022021720/5bc01fe309d3f215708c819c/html5/thumbnails/55.jpg)
Exercícios – Rosen(47)
� 6 a) e 6 b)� 11� 12� 13� 14