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

Próximas questões
Com base no mesmo assunto
Q3120596 Raciocínio Lógico
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”?
Alternativas