Questão em destaque · Q3567247

Considere que os símbolos ¬, ∧, →, ∀ e ∃ representam negação, conjunção, implicação, quantificador universal e quantificador existencial, respectivamente. Considere, ainda, os segu

COPEVE/UFAL - FUNDEPES · Prefeitura de Vicosa · 2024 · Enfermeiro Plantonista

Resolva a questão abaixo e continue estudando com o banco de questões.

P3567247

ID: 3567247

Raciocínio LógicoAssunto: Simbologia dos quantificadores lógicos( Linguagem)

Banca: COPEVE/UFAL - FUNDEPES

Ano: 2024

Nível: Superior

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