Revisão para a Prova Responda... 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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 concluíram o ensino superior são esforçados 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 concluíram o ensino superior são esforçados 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. Avaliação Interdisciplinar (A B C) ⊆ (A B) Avaliação Interdisciplinar (A B C) ⊆ (A B) Avaliação Interdisciplinar A ⊆ (A B) Avaliação Interdisciplinar A ⊆ (A B) Avaliação Interdisciplinar (A – C) (C – B ) = Avaliação Interdisciplinar (A – C) (C – B ) = 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. Avaliação Interdisciplinar Utilizando a lógica de predicados podemos expressar a sentença “Para cada aluno da disciplina CMP1049 este 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”. Avaliação Interdisciplinar Utilizando a lógica de predicados podemos expressar a sentença “Para cada aluno da disciplina CMP1049 este 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”. Avaliação Interdisciplinar Utilizando a lógica de predicados podemos expressar a sentença “Para cada aluno da disciplina CMP1049 este 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”. Avaliação Interdisciplinar Utilizando a lógica de predicados podemos expressar a sentença “Para cada aluno da disciplina CMP1049 este 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”. Avaliação Interdisciplinar Utilizando a lógica de predicados podemos expressar a sentença “Para cada aluno da disciplina CMP1049 este 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”. Avaliação Interdisciplinar Utilizando a lógica de predicados podemos expressar a sentença “Para cada aluno da disciplina CMP1049 este 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”. 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. 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. Avaliação Interdisciplinar Todos os marinheiros são republicanos. Com base na proposição podemos afirmar que: Todos os republicanos são marinheiros. Avaliação Interdisciplinar Todos os marinheiros são republicanos. Com base na proposição podemos afirmar que: Todos os republicanos são marinheiros. 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. 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. 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. 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. 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. 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. 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=10 um contra-exemplo. 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.