Disciplinas:
Contador
+
Controlador Interno
|
Enfermeiro Plantonista
|
Fonoaudiólogo
|
Professor Formador (Libras)
|
Fiscal de Tributos
|
Nutricionista
|
Professor de Ciências Biológicas
|
Professor de Educação Especial Sala de Recursos
|
Professor de Educação Física
|
Professor de Música
|
Psicólogo
|
Professor de Matemática
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”?
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”?
