Questão de Raciocínio Lógico — Proposições Categóricas — COPEVE-UFAL 2024
Raciocínio LógicoProposições Categóricas
- Código
- qg109245
- Banca
- COPEVE-UFAL
- Órgão
- Prefeitura de Viçosa - AL
- 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”?
- A∃x(E(x)∧M(x))
- B∀x(E(x)→¬M(x))
- C∃x∃y(¬M(y)∧T(x,y)∧E(x))
- D∃x∀y(E(x)∧T(x,y)∧¬M(y))
- E∀x∀y(E(x)∧T(x,y)→¬M(y))