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