Questão Q3567247 - Raciocínio Lógico

Question

Considere que os símbolos ¬, ∧, →, ∀ e ∃ representam negação, conjunção, implicação, quantificador universal e quantificador existencial, respectivamente. Considere, ainda, os seguintes predicados: E(x): x está matriculado em Engenharia, M(x): x é monitor de uma disciplina e T(x,y): x e y trabalham juntos em projeto. Qual das alternativas formaliza corretamente a informação “Existe alguém matriculado em Engenharia que trabalha em um projeto com alguém que não é monitor”? Considere que os símbolos ¬, ∧, →, ∀ e ∃ representam negação, conjunção, implicação, quantificador universal e quantificador existencial, respectivamente. Considere, ainda, os seguintes predicados: E(x): x está matriculado em Engenharia, M(x): x é monitor de uma disciplina e T(x,y): x e y trabalham juntos em projeto.  Qual das alternativas formaliza corretamente a informação “Existe alguém matriculado em Engenharia que trabalha em um projeto com alguém que não é monitor”?

Gran Questões · Accepted Answer

∃x∃y(¬M(y)∧T(x,y)∧E(x))

Gran Questões · Answer

∃x(E(x)∧M(x))

Gran Questões · Answer

∀x(E(x)→¬M(x))

Gran Questões · Answer

∃x∀y(E(x)∧T(x,y)∧¬M(y))

Gran Questões · Answer

∀x∀y(E(x)∧T(x,y)→¬M(y))

Considere que os símbolos ¬, ∧, →, ∀ e ∃ representam negação, conjunção, implicação, qu...