Correção Exercícios Revisão para Prova - SOL -...
Transcript of Correção Exercícios Revisão para Prova - SOL -...
![Page 1: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/1.jpg)
Conteúdo
� Correção Exercícios� Revisão para Prova
![Page 2: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/2.jpg)
Rosen 58
� 1) Transcreva as proposições abaixo para o português, em que o domínio para cada variável consista nos números reais.
� a) ∀x∃y (x<y)� b) ∀x∀y (((x�������������������� ��∀x∀y∃z (xy = z)
![Page 3: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/3.jpg)
Exercícios – Rosen (59)
9) Considere L(x,y) como a proposição “x ama y”, em que o domínio para x e y são todas as pessoas do mundo. Use quantificadores para expressar cada proposição abaixo.
a) Todos amam Jerry
![Page 4: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/4.jpg)
Exercícios – Rosen (59)
9) Considere L(x,y) como a proposição “x ama y”, em que o domínio para x e y são todas as pessoas do mundo. Use quantificadores para expressar cada proposição abaixo.
a) Todos amam Jerryy
![Page 5: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/5.jpg)
Exercícios – Rosen (59)
9) Considere L(x,y) como a proposição “x ama y”, em que o domínio para x e y são todas as pessoas do mundo. Use quantificadores para expressar cada proposição abaixo.
a) Todos amam Jerry
∀∀∀∀x L(x,Jerry)y
![Page 6: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/6.jpg)
Exercícios – Rosen (59)
9) Considere L(x,y) como a proposição “x ama y”, em que o domínio para x e y são todas as pessoas do mundo. Use quantificadores para expressar cada proposição abaixo.
b) Todas as pessoas amam alguém
?????
![Page 7: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/7.jpg)
Exercícios – Rosen (59)
9) Considere L(x,y) como a proposição “x ama y”, em que o domínio para x e y são todas as pessoas do mundo. Use quantificadores para expressar cada proposição abaixo.
b) Todas as pessoas amam alguém
∀x∃y L(x,y)
![Page 8: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/8.jpg)
Exercícios – Rosen (59)
9) Considere L(x,y) como a proposição “x ama y”, em que o domínio para x e y são todas as pessoas do mundo. Use quantificadores para expressar cada proposição abaixo.
c) Há alguém que é amado por todos
??????
![Page 9: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/9.jpg)
Exercícios – Rosen (59)
9) Considere L(x,y) como a proposição “x ama y”, em que o domínio para x e y são todas as pessoas do mundo. Use quantificadores para expressar cada proposição abaixo.
c) Há alguém que é amado por todos
∃y∀x L(x,y)
![Page 10: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/10.jpg)
Rosen (59)
9. Considere L(x,y) como a proposição “x ama y”, em que o domínio para x e y são todas as pessoas do mundo. Use quantificadores para expressar cada proposição abaixo.
d) Ninguém ama todos
![Page 11: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/11.jpg)
Rosen (59)
9. Considere L(x,y) como a proposição “x ama y”, em que o domínio para x e y são todas as pessoas do mundo. Use quantificadores para expressar cada proposição abaixo.
d) Ninguém ama todos
Existe alguém que ama todo mundo � ∃x∀y L(x,y)Se isso não for verdade então Ninguém ama todos
![Page 12: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/12.jpg)
Rosen (59)
9. Considere L(x,y) como a proposição “x ama y”, em que o domínio para x e y são todas as pessoas do mundo. Use quantificadores para expressar cada proposição abaixo.
d) Ninguém ama todos ~∃x∀y L(x,y)
Existe alguém que ama todo mundo � ∃x∀y L(x,y)Se isso não for verdade então Ninguém ama todos
![Page 13: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/13.jpg)
Rosen (59)
9. Considere L(x,y) como a proposição “x ama y”, em que o domínio para x e y são todas as pessoas do mundo. Use quantificadores para expressar cada proposição abaixo.
d) Ninguém ama todos ~∃x∀y L(x,y)e) Há alguém a quem Lídia não amaReescrevendo: Lidia não ama alguém:∃y ~L(Lidia,y)
![Page 14: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/14.jpg)
Rosen (59)
9. Considere L(x,y) como a proposição “x ama y”, em que o domínio para x e y são todas as pessoas do mundo. Use quantificadores para expressar cada proposição abaixo.
d) Ninguém ama todos ~∃x∀y L(x,y)e) Há alguém a quem Lídia não ama ∃y ~L(Lidia,y)f) Há alguém a quem ninguém amaReescrevendo: Há alguém a quem todos não amam
∃y∀x ~L(x,y)
![Page 15: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/15.jpg)
Exercícios – Rosen (59)
9) Considere L(x,y) como a proposição “x ama y”, em que o domínio para x e y são todas as pessoas do mundo. Use quantificadores para expressar cada proposição abaixo.
i) Todos amam a si próprio
????
![Page 16: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/16.jpg)
Exercícios – Rosen (59)
9) Considere L(x,y) como a proposição “x ama y”, em que o domínio para x e y são todas as pessoas do mundo. Use quantificadores para expressar cada proposição abaixo.
i) Todos amam a si próprio
∀x L(x,x)
![Page 17: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/17.jpg)
Exercícios – Rosen (59)
11) Considere S(x) como o predicado “x é um estudante”, F(x) o predicado “x é um membro da faculdade” e A(x,y) o predicado “x fez uma pergunta a y”, em que o domínio são todas pessoas associadas a sua escola. Use quantificadores para expressar cada proposição a seguir.
a) Lois fez uma pergunta ao professor Michaels
![Page 18: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/18.jpg)
Exercícios – Rosen (59)
11) S(x) = “x é um estudante”F(x) = “x é um membro da faculdade” A(x,y) = “x fez uma pergunta a y”
Domínio {todas pessoas da sua escola}
a) Lois fez uma pergunta ao professor MichaelsA(x,y)
Quem é?
![Page 19: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/19.jpg)
Exercícios – Rosen (59)
11) S(x) = “x é um estudante”F(x) = “x é um membro da faculdade” A(x,y) = “x fez uma pergunta a y”
Domínio {todas pessoas da sua escola}
a) Lois fez uma pergunta ao professor MichaelsA(Lois,professor Michaels)
![Page 20: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/20.jpg)
Exercícios – Rosen (59)
11) S(x) = “x é um estudante”F(x) = “x é um membro da faculdade” A(x,y) = “x fez uma pergunta a y”
Domínio {todas pessoas da sua escola}
b) Todo estudante fez uma pergunta ao professor Gross
A(x,y) Quem é?
![Page 21: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/21.jpg)
Exercícios – Rosen (59)
11) S(x) = “x é um estudante”F(x) = “x é um membro da faculdade” A(x,y) = “x fez uma pergunta a y”
Domínio {todas pessoas da sua escola}
b) Todo estudante fez uma pergunta ao professor Gross
A(x,professor Gross) Quem é?
![Page 22: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/22.jpg)
Exercícios – Rosen (59)
11) S(x) = “x é um estudante”F(x) = “x é um membro da faculdade” A(x,y) = “x fez uma pergunta a y”
Domínio {todas pessoas da sua escola}
b) Todo estudante fez uma pergunta ao professor Gross
A(x,professor Gross) Teremos que restringir o domínio...
![Page 23: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/23.jpg)
Exercícios – Rosen (59)
11) S(x) = “x é um estudante”F(x) = “x é um membro da faculdade” A(x,y) = “x fez uma pergunta a y”
Domínio {todas pessoas da sua escola}
b) Todo estudante fez uma pergunta ao professor Gross
∀x(S(x) � A(x,professor Gross)) Universal = Condicional!!!!
![Page 24: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/24.jpg)
Exercícios – Rosen (61)
26) Considere Q(x,y) como a proposição “x+y = x-y”. Se o domínio das duas variáveis forem todos os números inteiros, quais são os valores verdade?
a) Q(1,1) = ???
![Page 25: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/25.jpg)
Exercícios – Rosen (61)
26) Q(x,y) = “x+y = x-y”Domínio = Z
a) Q(1,1) = Falsob) Q(2,0) = ????
![Page 26: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/26.jpg)
Exercícios – Rosen (61)
26) Q(x,y) = “x+y = x-y”Domínio = Z
a) Q(1,1) = Falsob) Q(2,0) = Verdade c) ∀yQ(1,y) = ?????
![Page 27: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/27.jpg)
Exercícios – Rosen (61)
26) Q(x,y) = “x+y = x-y”Domínio = Z
a) Q(1,1) = Falsob) Q(2,0) = Verdade c) ∀yQ(1,y) = Falsod) ∃xQ(x,2) = ????
![Page 28: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/28.jpg)
Exercícios – Rosen (61)
26) Q(x,y) = “x+y = x-y”Domínio = Z
a) Q(1,1) = Falsob) Q(2,0) = Verdade c) ∀yQ(1,y) = Falsod) ∃xQ(x,2) = Falsoe) ∃x ∃yQ(x,y) = ????
![Page 29: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/29.jpg)
Exercícios – Rosen (61)
26) Q(x,y) = “x+y = x-y”Domínio = Z
a) Q(1,1) = Falsob) Q(2,0) = Verdade c) ∀yQ(1,y) = Falsod) ∃xQ(x,2) = Falsoe) ∃x ∃yQ(x,y) = Verdade, letra b)f ) ∀x ∃yQ(x,y) = ????
![Page 30: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/30.jpg)
Exercícios – Rosen (61)
26) Q(x,y) = “x+y = x-y”Domínio = Z
a) Q(1,1) = Falsob) Q(2,0) = Verdade c) ∀yQ(1,y) = Falsod) ∃xQ(x,2) = Falsoe) ∃x ∃yQ(x,y) = Verdade, letra b)f ) ∀x ∃yQ(x,y) = Verdade. Qual? g) ∃y ∀xQ(x,y) = ????
![Page 31: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/31.jpg)
Exercícios – Rosen (61)
26) Q(x,y) = “x+y = x-y”Domínio = Z
a) Q(1,1) = Falsob) Q(2,0) = Verdade c) ∀yQ(1,y) = Falsod) ∃xQ(x,2) = Falsoe) ∃x ∃yQ(x,y) = Verdade, letra b)f ) ∀x ∃yQ(x,y) = Verdade. Qual? g) ∃y ∀xQ(x,y) = Verdade. Qual?
![Page 32: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/32.jpg)
Exercícios – Rosen (61)
26) Q(x,y) = “x+y = x-y”Domínio = Z
a) Q(1,1) = Falso h) ∀y ∃xQ(x,y) = Fb) Q(2,0) = Verdade i) ∀x ∀yQ(x,y) = ???c) ∀yQ(1,y) = Falsod) ∃xQ(x,2) = Falsoe) ∃x ∃yQ(x,y) = Verdade, letra b)f ) ∀x ∃yQ(x,y) = Verdade. Qual? g) ∃y ∀xQ(x,y) = Verdade. Qual?
![Page 33: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/33.jpg)
Exercícios – Rosen (61)
26) Q(x,y) = “x+y = x-y”Domínio = Z
a) Q(1,1) = Falso h) ∀y ∃xQ(x,y) = Fb) Q(2,0) = Verdade i) ∀x ∀yQ(x,y) = Fc) ∀yQ(1,y) = Falsod) ∃xQ(x,2) = Falsoe) ∃x ∃yQ(x,y) = Verdade, letra b)f ) ∀x ∃yQ(x,y) = Verdade. Qual? g) ∃y ∀xQ(x,y) = Verdade. Qual?
![Page 34: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/34.jpg)
Rosen (61)
30) Reescrever cada uma das proposições para que as negações apareçam apenas inseridas nos predicados (ou seja, nenhuma negação esteja do lado de fora de um quantificador ou de uma expressão que envolva conectivos lógicos).
Aplicação direta das leis de De Morgan
![Page 35: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/35.jpg)
O que foi visto até agora...
� Predicado � Proposição� Quantificadores� Conjuntos� Quantificadores com restrição� Operações Lógicas com predicados� Quantificadores Agrupados� Negando Quantificadores� Equivalências Lógicas� Tradução
![Page 36: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/36.jpg)
Revisão para a Prova
Responda...
![Page 37: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/37.jpg)
Prova: FUNCAB - 2013
Partindo das premissas: I. Todo delegado é justo.II. Todo delegado é formado em direito.III. Leonardo é justo.IV. Amanda é perita.
Pode - se concluir que Toda pessoa justa é formada em direito.
![Page 38: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/38.jpg)
Prova: FUNCAB - 2013
Partindo das premissas: I. Todo delegado é justo.II. Todo delegado é formado em direito.III. Leonardo é justo.IV. Amanda é perita.
Pode - se concluir que Toda pessoa justa é formada em direito.
![Page 39: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/39.jpg)
Prova: FUNCAB - 2013
Partindo das premissas: I. Todo delegado é justo.II. Todo delegado é formado em direito.III. Leonardo é justo.IV. Amanda é perita.
Pode - se concluir que Leonardo é delegado.
![Page 40: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/40.jpg)
Prova: FUNCAB - 2013
Partindo das premissas: I. Todo delegado é justo.II. Todo delegado é formado em direito.III. Leonardo é justo.IV. Amanda é perita.
Pode - se concluir que Leonardo é delegado.
![Page 41: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/41.jpg)
Prova: FUNCAB - 2013
Partindo das premissas: I. Todo delegado é justo.II. Todo delegado é formado em direito.III. Leonardo é justo.IV. Amanda é perita.
Pode - se concluir que Amanda é justa.
![Page 42: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/42.jpg)
Prova: FUNCAB - 2013
Partindo das premissas: I. Todo delegado é justo.II. Todo delegado é formado em direito.III. Leonardo é justo.IV. Amanda é perita.
Pode - se concluir que Amanda é justa.
![Page 43: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/43.jpg)
Prova: FUNCAB - 2013
Partindo das premissas: I. Todo delegado é justo.II. Todo delegado é formado em direito.III. Leonardo é justo.IV. Amanda é perita.
Pode - se concluir que Há pessoas formadas em direito que são justas.
![Page 44: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/44.jpg)
Prova: FUNCAB - 2013
Partindo das premissas: I. Todo delegado é justo.II. Todo delegado é formado em direito.III. Leonardo é justo.IV. Amanda é perita.
Pode - se concluir que Há pessoas formadas em direito que são justas.
![Page 45: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/45.jpg)
Prova: VUNESP - 2013 - PC-SP
Considere verdadeiras as seguintes afirmações:
I. Existem policiais civis que concluíram o ensino superior.II. Todos os policiais civis são esforçados.
Com base nas informações, conclui-se que: os policiais civis esforçados concluíram o ensino superior.
![Page 46: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/46.jpg)
Prova: VUNESP - 2013 - PC-SP
Considere verdadeiras as seguintes afirmações:
I. Existem policiais civis que concluíram o ensino superior.II. Todos os policiais civis são esforçados.
Com base nas informações, conclui-se que: os policiais civis esforçados concluíram o ensino superior.
![Page 47: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/47.jpg)
Prova: VUNESP - 2013 - PC-SP
Considere verdadeiras as seguintes afirmações:
I. Existem policiais civis que concluíram o ensino superior.II. Todos os policiais civis são esforçados.
Com base nas informações, conclui-se que: Não é verdade que nenhum policial civil esforçado concluiu o ensino superior.
![Page 48: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/48.jpg)
Prova: VUNESP - 2013 - PC-SP
Considere verdadeiras as seguintes afirmações:
I. Existem policiais civis que concluíram o ensino superior.II. Todos os policiais civis são esforçados.
Com base nas informações, conclui-se que: Não é verdade que nenhum policial civil esforçado concluiu o ensino superior.
![Page 49: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/49.jpg)
Prova: VUNESP - 2013 - PC-SP
Considere verdadeiras as seguintes afirmações:
I. Existem policiais civis que concluíram o ensino superior.II. Todos os policiais civis são esforçados.
Com base nas informações, conclui-se que: os policiais civis que não concluíram o ensino superior não são esforçados.
![Page 50: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/50.jpg)
Prova: VUNESP - 2013 - PC-SP
Considere verdadeiras as seguintes afirmações:
I. Existem policiais civis que concluíram o ensino superior.II. Todos os policiais civis são esforçados.
Com base nas informações, conclui-se que: os policiais civis que não concluíram o ensino superior não são esforçados.
![Page 51: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/51.jpg)
Prova: VUNESP - 2013 - PC-SP
Considere verdadeiras as seguintes afirmações:
I. Existem policiais civis que concluíram o ensino superior.II. Todos os policiais civis são esforçados.
Com base nas informações, conclui-se que: ospoliciais civis que concluíram o ensino superior são esforçados
![Page 52: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/52.jpg)
Prova: VUNESP - 2013 - PC-SP
Considere verdadeiras as seguintes afirmações:
I. Existem policiais civis que concluíram o ensino superior.II. Todos os policiais civis são esforçados.
Com base nas informações, conclui-se que: ospoliciais civis que concluíram o ensino superior são esforçados
![Page 53: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/53.jpg)
Avaliação Interdisciplinar
Em um grupo de amigos, conversando sobre profissões e carreiras, perceberam que entre eles, todos os médicos são, também, professores, mas nenhum professor é cantor. Todos os engenheiros são também programadores, e alguns programadores são também cantores. Como nenhum programador é professor, e nenhum engenheiro é cantor.
![Page 54: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/54.jpg)
Avaliação Interdisciplinar
Todos os médicos são, também, professores, mas nenhum professor é cantor. Todos os engenheiros são também programadores, e alguns programadores são também cantores. Como nenhum programador é professor, e como nenhum engenheiro é cantor, então, pode-se afirmar que:
� Nenhum engenheiro é médico.
![Page 55: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/55.jpg)
Avaliação Interdisciplinar
Todos os médicos são, também, professores, mas nenhum professor é cantor. Todos os engenheiros são também programadores, e alguns programadores são também cantores. Como nenhum programador é professor, e como nenhum engenheiro é cantor, então, pode-se afirmar que:
� Nenhum engenheiro é médico.
![Page 56: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/56.jpg)
Avaliação Interdisciplinar
Todos os médicos são, também, professores, mas nenhum professor é cantor. Todos os engenheiros são também programadores, e alguns programadores são também cantores. Como nenhum programador é professor, e como nenhum engenheiro é cantor, então, pode-se afirmar que:
� Pelo menos um engenheiro é professor.
![Page 57: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/57.jpg)
Avaliação Interdisciplinar
Todos os médicos são, também, professores, mas nenhum professor é cantor. Todos os engenheiros são também programadores, e alguns programadores são também cantores. Como nenhum programador é professor, e como nenhum engenheiro é cantor, então, pode-se afirmar que:
� Pelo menos um engenheiro é professor.
![Page 58: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/58.jpg)
Avaliação Interdisciplinar
Todos os médicos são, também, professores, mas nenhum professor é cantor. Todos os engenheiros são também programadores, e alguns programadores são também cantores. Como nenhum programador é professor, e como nenhum engenheiro é cantor, então, pode-se afirmar que:
� Nenhum médico é cantor.
![Page 59: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/59.jpg)
Avaliação Interdisciplinar
Todos os médicos são, também, professores, mas nenhum professor é cantor. Todos os engenheiros são também programadores, e alguns programadores são também cantores. Como nenhum programador é professor, e como nenhum engenheiro é cantor, então, pode-se afirmar que:
� Nenhum médico é cantor.
![Page 60: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/60.jpg)
Avaliação Interdisciplinar
Todos os médicos são, também, professores, mas nenhum professor é cantor. Todos os engenheiros são também programadores, e alguns programadores são também cantores. Como nenhum programador é professor, e como nenhum engenheiro é cantor, então, pode-se afirmar que:
� Todos os programadores são médicos.
![Page 61: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/61.jpg)
Avaliação Interdisciplinar
Todos os médicos são, também, professores, mas nenhum professor é cantor. Todos os engenheiros são também programadores, e alguns programadores são também cantores. Como nenhum programador é professor, e como nenhum engenheiro é cantor, então, pode-se afirmar que:
� Todos os programadores são médicos.
![Page 62: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/62.jpg)
Avaliação Interdisciplinar
Conjuntos é uma estrutura discreta fundamental no estudo da computação. Algumas operações podem ser feitas com dois ou mais conjuntos, dentre elas temos a intersecção (�) e a diferença (–). Considerando três conjuntos quaisquer A, B, C e o conjunto vazio �, analise as afirmações a seguir.
![Page 63: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/63.jpg)
Avaliação Interdisciplinar
� (A � B � C) ⊆ (A � B)
![Page 64: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/64.jpg)
Avaliação Interdisciplinar
� (A � B � C) ⊆ (A � B)
![Page 65: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/65.jpg)
Avaliação Interdisciplinar
� A ⊆ (A � B)
![Page 66: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/66.jpg)
Avaliação Interdisciplinar
� A ⊆ (A � B)
![Page 67: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/67.jpg)
Avaliação Interdisciplinar
� (A – C) � (C – B ) = �
![Page 68: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/68.jpg)
Avaliação Interdisciplinar
� (A – C) � (C – B ) = �
![Page 69: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/69.jpg)
Avaliação Interdisciplinar
A lógica de predicados expressa adequadamente o significado das proposições em linguagem natural. Para isto ela define predicados e quantificadores, sendo ∀ o quantificador universal e ∃ o quantificador existencial.
![Page 70: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/70.jpg)
Avaliação Interdisciplinar
Utilizando a lógica de predicados podemos expressar a sentença “Para cada aluno da disciplina CMP1049este foi aprovado na disciplina CMP1045” da seguinte forma:
∀x(C(x) ^ P(x)), onde domínio = { alunos da PUC}
P(x) = “x foi aprovado na disciplina CMP1045”, C(x) = “x é aluno da disciplina CMP1049”.
![Page 71: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/71.jpg)
Avaliação Interdisciplinar
Utilizando a lógica de predicados podemos expressar a sentença “Para cada aluno da disciplina CMP1049este foi aprovado na disciplina CMP1045” da seguinte forma:
∀x(C(x) ^ P(x)), onde domínio = { alunos da PUC}
P(x) = “x foi aprovado na disciplina CMP1045”, C(x) = “x é aluno da disciplina CMP1049”.
![Page 72: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/72.jpg)
Avaliação Interdisciplinar
Utilizando a lógica de predicados podemos expressar a sentença “Para cada aluno da disciplina CMP1049este foi aprovado na disciplina CMP1045” da seguinte forma:
∀P(x) ,onde domínio ={alunos da disciplina CMP1049}
P(x) = “x foi aprovado na disciplina CMP1045”, C(x) = “x é aluno da disciplina CMP1049”.
![Page 73: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/73.jpg)
Avaliação Interdisciplinar
Utilizando a lógica de predicados podemos expressar a sentença “Para cada aluno da disciplina CMP1049este foi aprovado na disciplina CMP1045” da seguinte forma:
∀xP(x) ,onde domínio ={alunos da disciplina CMP1049}
P(x) = “x foi aprovado na disciplina CMP1045”, C(x) = “x é aluno da disciplina CMP1049”.
![Page 74: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/74.jpg)
Avaliação Interdisciplinar
Utilizando a lógica de predicados podemos expressar a sentença “Para cada aluno da disciplina CMP1049este foi aprovado na disciplina CMP1045” da seguinte forma:
∀x(C(x) �P(x)), onde domínio = { alunos da PUC}
P(x) = “x foi aprovado na disciplina CMP1045”, C(x) = “x é aluno da disciplina CMP1049”.
![Page 75: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/75.jpg)
Avaliação Interdisciplinar
Utilizando a lógica de predicados podemos expressar a sentença “Para cada aluno da disciplina CMP1049este foi aprovado na disciplina CMP1045” da seguinte forma:
∀x(C(x) �P(x)), onde domínio = { alunos da PUC}
P(x) = “x foi aprovado na disciplina CMP1045”, C(x) = “x é aluno da disciplina CMP1049”.
![Page 76: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/76.jpg)
Avaliação Interdisciplinar
� Todos os marinheiros são republicanos.
Com base na proposição podemos afirmar que:
� O conjunto dos marinheiros contém o conjunto dos republicanos.
![Page 77: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/77.jpg)
Avaliação Interdisciplinar
� Todos os marinheiros são republicanos.
Com base na proposição podemos afirmar que:
� O conjunto dos marinheiros contém o conjunto dos republicanos.
![Page 78: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/78.jpg)
Avaliação Interdisciplinar
� Todos os marinheiros são republicanos.
Com base na proposição podemos afirmar que:
� Todos os republicanos são marinheiros.
![Page 79: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/79.jpg)
Avaliação Interdisciplinar
� Todos os marinheiros são republicanos.
Com base na proposição podemos afirmar que:
� Todos os republicanos são marinheiros.
![Page 80: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/80.jpg)
Avaliação Interdisciplinar
� Todos os marinheiros são republicanos.
Com base na proposição podemos afirmar que:
� O conjunto dos republicanos contém o conjunto dos marinheiros.
![Page 81: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/81.jpg)
Avaliação Interdisciplinar
� Todos os marinheiros são republicanos.
Com base na proposição podemos afirmar que:
� O conjunto dos republicanos contém o conjunto dos marinheiros.
![Page 82: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/82.jpg)
ENADE 2014
Seja o universo U={10, 20, 30, 40} e o conjunto dos números naturais N. Com base no conhecimento sobre lógica de predicados, avalie as afirmações a seguir.
(∀x ∈ N)(∀y ∈ U) (x < y) é válida.
![Page 83: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/83.jpg)
ENADE 2014
Seja o universo U={10, 20, 30, 40} e o conjunto dos números naturais N. Com base no conhecimento sobre lógica de predicados, avalie as afirmações a seguir.
(∀x ∈ N)(∀y ∈ U) (x < y) é válida.
![Page 84: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/84.jpg)
ENADE 2014
Seja o universo U={10, 20, 30, 40} e o conjunto dos números naturais N. Com base no conhecimento sobre lógica de predicados, avalie as afirmações a seguir.
(∃x ∈ N)(∀y ∈ N) (y < x) é válida.
![Page 85: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/85.jpg)
ENADE 2014
Seja o universo U={10, 20, 30, 40} e o conjunto dos números naturais N. Com base no conhecimento sobre lógica de predicados, avalie as afirmações a seguir.
(∃x ∈ N)(∀y ∈ N)(y < x) é válida.
![Page 86: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/86.jpg)
ENADE 2014
Seja o universo U={10, 20, 30, 40} e o conjunto dos números naturais N. Com base no conhecimento sobre lógica de predicados, avalie as afirmações a seguir.
(∀x ∈ N)(∀y ∈ U) (x > y) é inválida, sendo x=10um contra-exemplo.
![Page 87: Correção Exercícios Revisão para Prova - SOL - Professorprofessor.pucgoias.edu.br/SiteDocente/admin/arquivosUpload/17389/... · Rosen 58 1) Transcreva as proposições abaixo](https://reader034.fdocument.pub/reader034/viewer/2022051107/5bf03ca909d3f274038c5f53/html5/thumbnails/87.jpg)
ENADE 2014
Seja o universo U={10, 20, 30, 40} e o conjunto dos números naturais N. Com base no conhecimento sobre lógica de predicados, avalie as afirmações a seguir.
(∀x ∈ N)(∀y ∈ U) (x > y)(x > y) é inválida, sendo x=10 um contra-exemplo.