1
Q3567247
Teclas de Atalhos
Compartilhar
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”?
A
∃x(E(x)∧M(x))
B
∀x(E(x)→¬M(x))
C
∃x∃y(¬M(y)∧T(x,y)∧E(x))
D
∃x∀y(E(x)∧T(x,y)∧¬M(y))
E
∀x∀y(E(x)∧T(x,y)→¬M(y))