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”?