Lógica de Predicados -...
Transcript of Lógica de Predicados -...
![Page 1: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/1.jpg)
Lógica de Predicados
![Page 2: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/2.jpg)
Conteúdo
� Correção Exercícios� Operações Lógicas sobre Predicados
� Condicional
� Quantificador de Unicidade (Rosen – 37)� Quantificadores com Restrição (Rosen – 38)� Tradução Português-Lógica (Rosen – 42)
![Page 3: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/3.jpg)
N2� AED 1:
� Valor 1.0
� AED 2: � Valor 1.0
� AED 3: � Valor 1.0
� Participação� Valor 1.0
� AI: � Valor 1.0
5.0 + Prova 3 = 10.0
![Page 4: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/4.jpg)
Cronograma� 20/11 Lógica de Predicados� 24/11 Lógica de Predicados� 27/11 Lógica de Predicados� 01/12 Regras de Inferência� 04/12 Regras de Inferência� 08/12 Regras de Inferência� 11/12 Revisão� 15/12 Prova 3� 18/12 Correção e Entrega da prova 3
![Page 5: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/5.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 6: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/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”� P(x) = “5x + 6 = 0”� P(x) =“x2-x-2”
![Page 7: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/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”� P(x) =“x2-x-2”
![Page 8: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/8.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 9: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/9.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 10: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/10.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 11: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/11.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 12: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/12.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 13: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/13.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 14: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/14.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 15: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/15.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 16: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/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)
![Page 17: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/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)
![Page 18: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/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)
![Page 19: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/19.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 20: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/20.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 21: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/21.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 22: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/22.jpg)
Exercícios – Rosen(47)
11) Considere P(x) como o predicado “x =x2”. Se o domínio forem os números inteiros, quais serão os valores-verdade?
a) P(0)b) P(1)c) P(2)d)P(-1)e) �x P(x) f) �x P(x)
{...,-2,-1,0,1,2,...}
![Page 23: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/23.jpg)
Exercícios – Rosen(47)
11) Considere P(x) como o predicado “x =x2”. Se o domínio forem os números inteiros, quais serão os valores-verdade?
a) P(0) = “0 =02” é Verdadeb) P(1)c) P(2)d)P(-1)e) �x P(x) f) �x P(x)
![Page 24: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/24.jpg)
Exercícios – Rosen(47)
11) Considere P(x) como o predicado “x =x2”. Se o domínio forem os números inteiros, quais serão os valores-verdade?
a) P(0) = “0 =02” é Verdadeb) P(1) = “1 =12” é Verdadec) P(2)d)P(-1)e) �x P(x) f) �x P(x)
![Page 25: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/25.jpg)
Exercícios – Rosen(47)
11) Considere P(x) como o predicado “x =x2”. Se o domínio forem os números inteiros, quais serão os valores-verdade?
a) P(0) = “0 =02” é Verdadeb) P(1) = “1 =12” é Verdadec) P(2) = “2 =22” é Falsod)P(-1)e) �x P(x) f) �x P(x)
![Page 26: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/26.jpg)
Exercícios – Rosen(47)
11) Considere P(x) como o predicado “x =x2”. Se o domínio forem os números inteiros, quais serão os valores-verdade?
a) P(0) = “0 =02” é Verdadeb) P(1) = “1 =12” é Verdadec) P(2) = “2 =22” é Falsod)P(-1) = “-1 =-12” é Falsoe) �x P(x) f) �x P(x)
![Page 27: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/27.jpg)
Exercícios – Rosen(47)
11) Considere P(x) como o predicado “x =x2”. Se o domínio forem os números inteiros, quais serão os valores-verdade?
a) P(0) = “0 =02” é Verdadeb) P(1) = “1 =12” é Verdadec) P(2) = “2 =22” é Falsod)P(-1) = “-1 =-12” é Falsoe) �x P(x) a,b mostram que é Verdadef) �x P(x)
![Page 28: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/28.jpg)
Exercícios – Rosen(47)
11) Considere P(x) como o predicado “x =x2”. Se o domínio forem os números inteiros, quais serão os valores-verdade?
a) P(0) = “0 =02” é Verdadeb) P(1) = “1 =12” é Verdadec) P(2) = “2 =22” é Falsod)P(-1) = “-1 =-12” é Falsoe) �x P(x) a,b mostram que é Verdadef) �x P(x) c,d são contra exemplos,Falso
![Page 29: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/29.jpg)
Exercícios – Rosen(47)
12) Considere Q(x) como o predicado “x+1>2x”. Se o domínio forem os números inteiros, quais serão os valores-verdade?
a) Q(0)b) Q(-1)c) Q(2)d) �x Q(x)e) �x Q(x) f) �x ~Q(x)g) �x ~Q(x)
![Page 30: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/30.jpg)
Exercícios – Rosen(47)
12) Considere Q(x) como o predicado “x+1>2x”. Se o domínio forem os números inteiros, quais serão os valores-verdade?
a) Q(0) = “0 +1>2x0” é Verdadeb) Q(-1)c) Q(2) d) �x Q(x)e) �x Q(x) f) �x ~Q(x)g) �x ~Q(x)
![Page 31: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/31.jpg)
Exercícios – Rosen(47)
12) Considere Q(x) como o predicado “x+1>2x”. Se o domínio forem os números inteiros, quais serão os valores-verdade?
a) Q(0) = “0 +1>2x0” é Verdadeb) Q(-1) = “-1+1>2x-1” é Verdadec) Q(2) d) �x Q(x)e) �x Q(x) f) �x ~Q(x)g) �x ~Q(x)
![Page 32: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/32.jpg)
Exercícios – Rosen(47)
12) Considere Q(x) como o predicado “x+1>2x”. Se o domínio forem os números inteiros, quais serão os valores-verdade?
a) Q(0) = “0 +1>2x0” é Verdadeb) Q(-1) = “-1+1>2x-1” é Verdadec) Q(2) = “2+1>2x2” é Falsod) �x Q(x)e) �x Q(x) f) �x ~Q(x)g) �x ~Q(x)
![Page 33: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/33.jpg)
Exercícios – Rosen(47)
12) Considere Q(x) como o predicado “x+1>2x”. Se o domínio forem os números inteiros, quais serão os valores-verdade?
a) Q(0) = “0 +1>2x0” é Verdadeb) Q(-1) = “-1+1>2x-1” é Verdadec) Q(2) = “2+1>2x2” é Falsod) �x Q(x) a,b mostram que é Verdadee) �x Q(x) f) �x ~Q(x)g) �x ~Q(x)
![Page 34: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/34.jpg)
Exercícios – Rosen(47)
12) Considere Q(x) como o predicado “x+1>2x”. Se o domínio forem os números inteiros, quais serão os valores-verdade?
a) Q(0) = “0 +1>2x0” é Verdadeb) Q(-1) = “-1+1>2x-1” é Verdadec) Q(2) = “2+1>2x2” é Falsod) �x Q(x) a,b mostram que é Verdadee) �x Q(x) c é contra exemplo, é Falsof) �x ~Q(x)g) �x ~Q(x)
![Page 35: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/35.jpg)
Exercícios – Rosen(47)
12) Considere Q(x) como o predicado “x+1>2x”. Se o domínio forem os números inteiros, quais serão os valores-verdade?
a) Q(0) = “0 +1>2x0” é Verdadeb) Q(-1) = “-1+1>2x-1” é Verdadec) Q(2) = “2+1>2x2” é Falsod) �x Q(x) a,b mostram que é Verdadee) �x Q(x) c é contra exemplo, é Falsof) �x ~Q(x) c mostra que é Verdadeg) �x ~Q(x)
![Page 36: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/36.jpg)
Exercícios – Rosen(47)
12) Considere Q(x) como o predicado “x+1>2x”. Se o domínio forem os números inteiros, quais serão os valores-verdade?
a) Q(0) = “0 +1>2x0” é Verdadeb) Q(-1) = “-1+1>2x-1” é Verdadec) Q(2) = “2+1>2x2” é Falsod) �x Q(x) a,b mostram que é Verdadee) �x Q(x) c é contra exemplo, é Falsof) �x ~Q(x) c mostra que é Verdadeg) �x ~Q(x) a,b são contra exemplos, Falso
![Page 37: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/37.jpg)
Exercícios – Rosen(47)
13) Determine o valor verdade de cada uma destas proposições, se o domínio forem todos os números inteiros.
a) �n (n+1>n)b) �n (2n = 3n)c) �n (n = -n)d) �n (n2 �n)
![Page 38: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/38.jpg)
Exercícios – Rosen(47)
13) Determine o valor verdade de cada uma destas proposições, se o domínio forem todos os números inteiros.
a) �n (n+1>n) é Verdadeb) �n (2n = 3n)c) �n (n = -n)d) �n (n2 �n)
![Page 39: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/39.jpg)
Exercícios – Rosen(47)
13) Determine o valor verdade de cada uma destas proposições, se o domínio forem todos os números inteiros.
a) �n (n+1>n) é Verdadeb) �n (2n = 3n) é Verdade (Qual?)c) �n (n = -n)d) �n (n2 �n)
![Page 40: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/40.jpg)
Exercícios – Rosen(47)
13) Determine o valor verdade de cada uma destas proposições, se o domínio forem todos os números inteiros.
a) �n (n+1>n) é Verdadeb) �n (2n = 3n) é Verdade (Qual?)c) �n (n = -n) ????d) �n (n2 �n)
![Page 41: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/41.jpg)
Exercícios – Rosen(47)
13) Determine o valor verdade de cada uma destas proposições, se o domínio forem todos os números inteiros.
a) �n (n+1>n) é Verdadeb) �n (2n = 3n) é Verdade (Qual?)c) �n (n = -n) ????d) �n (n2 �n) é Verdade
![Page 42: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/42.jpg)
Exercícios – Rosen(47)
14) Determine o valor verdade de cada uma destas proposições, se o domínio forem todos os números reais.
a) �x (x3 = -1)b) �x (x4 < x2)c) �x ((-x)2 = x2)d) �x (2x > x)
![Page 43: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/43.jpg)
Exercícios – Rosen(47)
14) Determine o valor verdade de cada uma destas proposições, se o domínio forem todos os números reais.
a) �x (x3 = -1) é Verdade. Qual?b) �x (x4 < x2) c) �x ((-x)2 = x2)d) �x (2x > x)
![Page 44: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/44.jpg)
Exercícios – Rosen(47)
14) Determine o valor verdade de cada uma destas proposições, se o domínio forem todos os números reais.
a) �x (x3 = -1) é Verdade. Qual?b) �x (x4 < x2) é Verdade.c) �x ((-x)2 = x2)d) �x (2x > x)
![Page 45: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/45.jpg)
Exercícios – Rosen(47)
14) Determine o valor verdade de cada uma destas proposições, se o domínio forem todos os números reais.
a) �x (x3 = -1) é Verdade. Qual?b) �x (x4 < x2) é Verdadec) �x ((-x)2 = x2) é Verdaded) �x (2x > x)
![Page 46: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/46.jpg)
Exercícios – Rosen(47)
14) Determine o valor verdade de cada uma destas proposições, se o domínio forem todos os números reais.
a) �x (x3 = -1) é Verdade. Qual?b) �x (x4 < x2) é Verdadec) �x ((-x)2 = x2) é Verdaded) �x (2x > x) é Falso. Qual o contra exemplo?
![Page 47: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/47.jpg)
Exercícios – Rosen(47)
14) Determine o valor verdade de cada uma destas proposições, se o domínio forem todos os números reais.
a) �x (x3 = -1) é Verdade.b) �x (x4 < x2) é Verdadec) �x ((-x)2 = x2) é Verdaded) �x (2x > x) é Falso.
No Futuro!!!! Para provar c) usaremos a contradição (negação).
![Page 48: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/48.jpg)
Voltando às Operações
� Condicional� Temos:
P(x) = “x2 – 5x + 6 = 0”Q(x) = “x2 – 9 = 0”
P(x) � Q(x) Lê se: Se “x2 – 5x + 6 = 0” então “x2 – 9 = 0”
![Page 49: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/49.jpg)
Condicional
Seja: P(x) = “x|12” “12 é divisível por x”
Quais são os valores verdades de P(x)?
![Page 50: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/50.jpg)
Condicional
Seja: P(x) = “x|12” “12 é divisível por x”
Quais são os valores verdades de P(x)?12/1 = 12 12/2 = 612/3 = 4 12/4 = 312/6 = 2 12/12 = 1
![Page 51: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/51.jpg)
Condicional
Seja: P(x) = “x|12” CV = {1,2,3,4,6,12}Q(x) = “x|45” “45 é divisível por x”
Quais são os valores verdades de Q(x)?
![Page 52: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/52.jpg)
Condicional
Seja: P(x) = “x|12” CV = {1,2,3,4,6,12}Q(x) = “x|45” “45 é divisível por x”
Quais são os valores verdades de Q(x)?45/1 = 45 45/3 = 1545/5 = 9 45/9 = 545/15 = 3 45/45 = 1
![Page 53: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/53.jpg)
Condicional
Seja: P(x) = “x|12” CV = {1,2,3,4,6,12}Q(x) = “x|45” CV = {1,3,5,9,15,45}
Qual valor verdade de P(1) � Q(1)?
![Page 54: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/54.jpg)
Condicional
Seja: P(x) = “x|12” CV = {1,2,3,4,6,12}Q(x) = “x|45” CV = {1,3,5,9,15,45}
Qual valor verdade de P(1) � Q(1)?
P(1) = V P(1)�Q(1) = V �VQ(1) = V P(1)�Q(1) = V
![Page 55: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/55.jpg)
Condicional
Seja: P(x) = “x|12” CV = {1,2,3,4,6,12}Q(x) = “x|45” CV = {1,3,5,9,15,45}
Qual valor verdade de P(5) � Q(5)?
![Page 56: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/56.jpg)
Condicional
Seja: P(x) = “x|12” CV = {1,2,3,4,6,12}Q(x) = “x|45” CV = {1,3,5,9,15,45}
Qual valor verdade de P(5) � Q(5)?
P(5) = F P(5)�Q(5) = F �VQ(5) = V P(5)�Q(5) = V
![Page 57: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/57.jpg)
Condicional
Seja: P(x) = “x|12” CV = {1,2,3,4,6,12}Q(x) = “x|45” CV = {1,3,5,9,15,45}
Qual valor verdade de P(7) � Q(7)?
![Page 58: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/58.jpg)
Condicional
Seja: P(x) = “x|12” CV = {1,2,3,4,6,12}Q(x) = “x|45” CV = {1,3,5,9,15,45}
Qual valor verdade de P(7) � Q(7)?
P(7) = F P(7)�Q(7) = F �FQ(7) = F P(7)�Q(7) = V
![Page 59: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/59.jpg)
Condicional
Seja: P(x) = “x|12” CV = {1,2,3,4,6,12}Q(x) = “x|45” CV = {1,3,5,9,15,45}
Qual valor verdade de P(2) � Q(2)?
![Page 60: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/60.jpg)
Condicional
Seja: P(x) = “x|12” CV = {1,2,3,4,6,12}Q(x) = “x|45” CV = {1,3,5,9,15,45}
Qual valor verdade de P(2) � Q(2)?
P(2) = V P(2)�Q(2) = V �FQ(2) = F P(2)�Q(2) = F
![Page 61: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/61.jpg)
Propriedade da Condicional
� Sabemos que:P(x) = “x|12” CV = {1,2,3,4,6,12}Q(x) = “x|45” CV = {1,3,5,9,15,45}
Qual o conjunto verdade de P(x) � Q(x) em N?
![Page 62: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/62.jpg)
Propriedade da Condicional
� Sabemos que:P(x) = “x|12” CV = {1,2,3,4,6,12}Q(x) = “x|45” CV = {1,3,5,9,15,45}
Qual o conjunto verdade de P(x) � Q(x) em N?Dica: P(x) � Q(x) � ~P(x) v Q(x)
![Page 63: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/63.jpg)
Condicional
P(x) = “x|12” CV = {1,2,3,4,6,12}Q(x) = “x|45” CV = {1,3,5,9,15,45}
Qual o conjunto verdade de P(x) � Q(x) em N?~P(x) Conjunto Verdade é o complemento do
Conjunto Verdade de P(x)
![Page 64: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/64.jpg)
Condicional
P(x) = “x|12” CV = {1,2,3,4,6,12}Q(x) = “x|45” CV = {1,3,5,9,15,45}
Qual o conjunto verdade de P(x) � Q(x) em N?~P(x) Conjunto Verdade é o complemento do
Conjunto Verdade de P(x)
~P(x) CV= N – {1,2,3,4,6,12}
![Page 65: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/65.jpg)
Condicional
P(x) = “x|12” CV = {1,2,3,4,6,12}Q(x) = “x|45” CV = {1,3,5,9,15,45}
Qual o conjunto verdade de P(x) � Q(x) em N?~P(x) CV= N – {1,2,3,4,6,12}Q(x) CV = {1,3,5,9,15,45}P(x) � Q(x) � ~P(x) v Q(x)O que podemos concluir?
![Page 66: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/66.jpg)
Condicional
P(x) = “x|12” CV = {1,2,3,4,6,12}Q(x) = “x|45” CV = {1,3,5,9,15,45}
Qual o conjunto verdade de P(x) � Q(x) em N?~P(x) CV= N – {1,2,3,4,6,12}Q(x) CV = {1,3,5,9,15,45}P(x) � Q(x) � ~P(x) v Q(x)CV = N – {1,2,3,4,6,12} �{1,3,5,9,15,45}Resumindo ...
![Page 67: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/67.jpg)
Condicional
P(x) = “x|12” CV = {1,2,3,4,6,12}Q(x) = “x|45” CV = {1,3,5,9,15,45}
Qual o conjunto verdade de P(x) � Q(x) em N?~P(x) CV= N – {1,2,3,4,6,12}Q(x) CV = {1,3,5,9,15,45}P(x) � Q(x) � ~P(x) v Q(x)CV = N – {1,2,3,4,6,12} �{1,3,5,9,15,45}CV = N – {2,4, 6,12}
![Page 68: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/68.jpg)
Perguntas ????
![Page 69: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/69.jpg)
Continuando...
� Já aprendemos dois quantificadores.
� Quais?
![Page 70: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/70.jpg)
Continuando...
� Já aprendemos dois quantificadores.
� Quais?
![Page 71: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/71.jpg)
Quantificadores
� Porém existe um número não limitado de quantificadores que podemos definir tais como:� “existem exatamente dois” � “existem não mais de três”� “existe um único x tal que P(x) é verdadeiro”
![Page 72: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/72.jpg)
Quantificadores
� Existe um número não limitado de quantificadores que podemos definir tais como� “existem exatamente dois” � “existem não mais de três”� “existe um único x tal que P(x) é verdadeiro”
Quantificador de Unicidade
![Page 73: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/73.jpg)
Quantificadores
� Existe um número não limitado de quantificadores que podemos definir tais como� “existem exatamente dois” � “existem não mais de três”� “existe um único x tal que P(x) é verdadeiro”
Quantificador de Unicidade
��x P(x) ou x �1P(x)
![Page 74: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/74.jpg)
Quantificadores com Restrição
� Uma notação abreviada é freqüentemente usada para restringir o domínio de um quantificador.
� Nessa notação, incluímos depois do quantificador uma condição que a variável deve satisfazer.
![Page 75: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/75.jpg)
Quantificadores com Restrição
� Exemplo:� ����x<0 (x2 > 0) � Propriedade: o quadrado de todo
número negativo é positivo.
![Page 76: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/76.jpg)
Quantificadores com Restrição
� Exemplo:� ����y 0(y3 0) � Propriedade: o cubo de um numero não
nulo é também não nulo
![Page 77: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/77.jpg)
Quantificadores com Restrição
� Exemplo:� �z>0 (z2 = z) � Qual???
![Page 78: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/78.jpg)
Quantificadores com Restrição
� Restrições reescritas de outra forma� �x<0 (x2 > 0)� �x (x<0 � x2 > 0)
� �y 0(y3 0) � �y(y 0 � y3 0)
� �z>0 (z2 = z) � �z(z>0 ^z2 = z)
Quantificador Universal equivale a Universal de Proposição Condicional
Quantificador Existencial equivale a Existencial de um Conjunção
![Page 79: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/79.jpg)
Dúvidas!!!!!
� Perguntas antes de continuarmos?
![Page 80: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/80.jpg)
Tradução Português - Lógica
� Na aula passada:� Todo estudante desta classe estudou lógica.
C(x) = “x estudou lógica”Domínio = {estudantes desta classe}�x C(x)
![Page 81: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/81.jpg)
Tradução Português - Lógica
� Todo estudante desta classe estudou lógica.C(x) = “x estudou lógica”Vamos mudar nosso domínio para:Domínio = {todas as pessoas}
![Page 82: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/82.jpg)
Tradução Português - Lógica
� Todo estudante desta classe estudou lógica.C(x) = “x estudou lógica”Domínio = {todas as pessoas}
Novo predicado:E(x) = “x é estudante desta classe”
Podemos expressar a sentença .......
![Page 83: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/83.jpg)
Tradução Português - Lógica
� Todo estudante desta classe estudou lógica.C(x) = “x estudou lógica”E(x) = “x é estudante desta classe”Domínio = {todas as pessoas}
Podemos expressar a sentença .......
“Para cada pessoa x, se x é um estudante desta classe então x estudou lógica”
![Page 84: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/84.jpg)
Tradução Português - Lógica
� Todo estudante desta classe estudou lógica.C(x) = “x estudou lógica”E(x) = “x é estudante desta classe”Domínio = {todas as pessoas}
Podemos expressar a sentença�x(E(x)�C(x))
“Para cada pessoa x, se x é um estudante desta classe então x estudou lógica”
![Page 85: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/85.jpg)
Tradução Português - Lógica
� Todo estudante desta classe estudou lógica.C(x) = “x estudou lógica”E(x) = “x é estudante desta classe”Domínio = {todas as pessoas}
Não podemos expressar a sentença�x(E(x)^C(x)) ERRADO!!!
“Todas as pessoas são estudantes desta classe e já estudaram lógica”
![Page 86: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/86.jpg)
Prioridade dos Quantificadores
� Os quantificadores �e � têm prioridade maior que todos os operadores lógicos do cálculo proposicional.
�x P(x) v Q(x) � (�x P(x)) v Q(x) �x P(x) v Q(x) � �x (P(x) v Q(x))
![Page 87: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/87.jpg)
Prioridade dos Quantificadores
� Os quantificadores �e � têm prioridade maior que todos os operadores lógicos do cálculo proposicional.
�x P(x) v Q(x) � (�x P(x)) v Q(x) �x P(x) v Q(x) � �x (P(x) v Q(x))
Isso nos mostra o conceito de variável ligada
![Page 88: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/88.jpg)
Prioridade dos Quantificadores
� Os quantificadores �e � têm prioridade maior que todos os operadores lógicos do cálculo proposicional.
�x P(x) v Q(x) � (�x P(x)) v Q(x) �x P(x) v Q(x) � �x (P(x) v Q(x))
E o conceito de escopo de uma variável
![Page 89: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/89.jpg)
Variável Ligada
�x (x+y = 1)
x é ligada
� Quando um quantificador é usado na variável x, dizemos que essa ocorrência da variável é ligada.
![Page 90: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/90.jpg)
Variável Livre
�x (x+y = 1)
x é ligada
� Uma ocorrência de uma variável que não é ligada por um quantificador ou não representa um conjunto de valores particulares é chamada de variável livre (y).
![Page 91: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/91.jpg)
Variável Livre
�x (x+y = 1)
x é ligada
� Todas as variáveis que ocorrem em um função proposicional devem ser ligadas ou devem representar um conjunto de valores particulares para ser uma proposição.
Não é uma proposição, pois y é variável livre
![Page 92: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/92.jpg)
Escopo
�x (P(x) ^ Q(x)) v �x R(x)
� É a parte da expressão lógica à qual um quantificador é aplicado.
Escopo Escopo
Escopo não se sobrepõe.
![Page 93: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/93.jpg)
Escopo
�x (P(x) ^ Q(x)) v �y R(y)
� É a parte da expressão lógica à qual um quantificador é aplicado.
� Uma variável é livre se não está sob o escopo de algum quantificador.
Escopo Escopo
Escopo não se sobrepõe. Pode ser y ao invés de x.
![Page 94: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/94.jpg)
Dúvidas!!!
� Dúvidas sobre Variável Livre, Variável Ligada e Escopo????
![Page 95: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/95.jpg)
Predicados com duas variáveis
Para cada estudante desta classe, x estudou lógica.
C(x) = “x estudou lógica”S(x) = “x é estudante desta classe”
Q(x,y) = “estudante x estudou matéria y”
Agora vamos definir uma novo predicado !!!
![Page 96: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/96.jpg)
Predicados com duas variáveis
Para cada estudante desta classe, x estudou lógica.
Q(x,y) = “estudante x estudou matéria y”
Domínio 1: {estudantes desta classe}�x Q(x,lógica)
![Page 97: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/97.jpg)
Predicados com duas variáveis
Para cada estudante desta classe, x estudou lógica.
Q(x,y) = “estudante x estudou matéria y”
Domínio 1: {estudantes desta classe}�x Q(x,lógica)
Domínio 2: {todas as pessoas}�x (S(x) � Q(x, lógica))
![Page 98: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/98.jpg)
Exercício
� Algum estudante da classe visitou o México� Domínio: {estudantes da classe}
![Page 99: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/99.jpg)
Exercício
� Algum estudante da classe visitou o México� Domínio: {estudantes da classe}� M(x) = “x visitou o México”
![Page 100: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/100.jpg)
Exercício
� Algum estudante da classe visitou o México� Domínio: {estudantes da classe}� M(x) = “x visitou o México”� �x M(x)
![Page 101: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/101.jpg)
Exercício
� Algum estudante da classe visitou o México� Domínio: {todas as pessoas}
![Page 102: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/102.jpg)
Exercício
� Algum estudante da classe visitou o México� Domínio: {todas as pessoas}� M(x) = “x visitou o México”� E(x) = “x é estudante da classe”
![Page 103: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/103.jpg)
Exercício
� Algum estudante da classe visitou o México� Domínio: {todas as pessoas}� M(x) = “x visitou o México”� E(x) = “x é estudante da classe”� Existe uma pessoa x que é estudante da
classe e que visitou o México.
![Page 104: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/104.jpg)
Exercício
� Algum estudante da classe visitou o México� Domínio: {todas as pessoas}� M(x) = “x visitou o México”� E(x) = “x é estudante da classe”� Existe uma pessoa x que é estudante da
classe e que visitou o México.� �x(E(x) ^ M(x))
![Page 105: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/105.jpg)
Exercício
� Algum estudante da classe visitou o México� Domínio: {todas as pessoas}� M(x) = “x visitou o México”� E(x) = “x é estudante da classe”� Existe uma pessoa x que é estudante da
classe e que visitou o México.� �x(E(x) � M(x)) ERRADO!!!
Porque é verdadeira para qualquer pessoa que não esteja na classe.
![Page 106: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/106.jpg)
Exercício
� Todo estudante da classe visitou Canadá ou México.
� Domínio={estudantes da classe}� C(x) = “x visitou o Canadá”� M(x) = “x visitou o México”
?????
![Page 107: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/107.jpg)
Exercício
� Todo estudante da classe visitou Canadá ou México.
� Domínio={estudantes da classe}� C(x) = “x visitou o Canadá”� M(x) = “x visitou o México”
�x(C(x) v M(x))
![Page 108: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/108.jpg)
Exercício
� Todo estudante da classe visitou Canadá ou México.
� Domínio={todas as pessoas}� C(x) = “x visitou o Canadá”� M(x) = “x visitou o México”� E(x) = “x é estudante da classe”
??????
![Page 109: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/109.jpg)
Exercício
� Todo estudante da classe visitou Canadá ou México.
� Domínio={todas as pessoas}� C(x) = “x visitou o Canadá”� M(x) = “x visitou o México”� E(x) = “x é estudante da classe”
�x(E(x) � (C(x)v(M(x))
![Page 110: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/110.jpg)
Predicados com duas variáveis
Algum estudante da classe visitou Canadá ou México.
V(x,y) = “x visitou o país y”
�x (V(x,México) v V(x,Canadá))
![Page 111: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/111.jpg)
Equivalências (S ����T)
� 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 para as variáveis nessas funções proposicionais.
![Page 112: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/112.jpg)
Equivalências
� �x(P(x) ^ Q(x)) ��x P(x) ^ �x Q(x)� �x(P(x) v Q(x)) ��x P(x) v �x Q(x)
![Page 113: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/113.jpg)
Equivalências
� �x(P(x) ^ Q(x)) ��x P(x) ^ �x Q(x)� �x(P(x) v Q(x)) ��x P(x) v �x Q(x)
� �x(P(x) v Q(x)) � �x P(x) v �x Q(x)� �x(P(x) ^ Q(x)) � �x P(x) ^ �x Q(x)
CUIDADO!!!!
![Page 114: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/114.jpg)
Negando Expressões Quantificadas
� Não é o caso de todos os estudantes desta classe terem feito aulas de lógica.
~�x P(x)
![Page 115: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/115.jpg)
Negando Expressões Quantificadas
� Não é o caso de todos os estudantes desta classe terem feito aulas de lógica.
~�x P(x)
� Existe um estudante desta classe que não teve aula de lógica.
�x ~P(x)
Podemos reformular a frase para:
![Page 116: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/116.jpg)
Negando Expressões Quantificadas
� Não é o caso de todos os estudantes desta classe terem feito aulas de lógica.
~�x P(x)� Existe um estudante desta classe que não
teve aula de lógica.�x ~P(x)
~�x P(x) ��x ~P(x)
Ilustramos que:
![Page 117: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/117.jpg)
Negando Expressões Quantificadas
� Existe um estudante na classe que teve aulas de calculo.
�x P(x)� Não é o caso de existir um estudante na
classe que teve aulas de calculo.~�x P(x)
![Page 118: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/118.jpg)
Negando Expressões Quantificadas
� Não é o caso de existir um estudante na classe que teve aulas de calculo.
~�x P(x)
� Todo os estudantes nesta classe não tiveram aulas de calculo.
�x ~P(x)
Podemos reformular a frase para:
![Page 119: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/119.jpg)
Negando Expressões Quantificadas
� Não é o caso de existir um estudante na classe que teve aulas de calculo.
~�x P(x)Todo os estudantes nesta classe não tiveram
aulas de calculo.�x ~P(x)
~�x P(x) � �x ~P(x) Ilustramos que:
![Page 120: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/120.jpg)
Negando Expressões Quantificadas
� As regras para negações de quantificadoressão chamadas de Leis de De Morgan para quantificadores.
~�x P(x) ��x ~P(x)~�x P(x) � �x ~P(x)
![Page 121: Lógica de Predicados - professor.pucgoias.edu.brprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/...Exercícios Rosen – pg 46 2) Considere Q(x,y) como o predicado](https://reader030.fdocument.pub/reader030/viewer/2022020414/5ba9ab9709d3f236608cd56e/html5/thumbnails/121.jpg)
Exercício para a mente.
� Mostre que:~�x (P(x)�Q(x)) ��x (P(x) ^ ~Q(x))
� Rosen pg 47� Exercícios 6c, 6d, 6e, 6f, 8 e 9.
� Rosen pg 48 � Exercício 34