Questão de Raciocínio Lógico — Proposições Categóricas — COPEVE-UFAL 2023
Raciocínio LógicoProposições Categóricas
- Código
- qq852740
- Banca
- COPEVE-UFAL
- Órgão
- UFAL
- Ano
- 2023
- Nível
- Superior
Considerando-se que os símbolos ¬, ∧, ∨, →, ∃ e ∀ representam negação, conjunção, disjunção, implicação, quantificador existencial e quantificador universal, respectivamente, qual das alternativas apresenta uma consequência lógica do conjunto de premissas:{ ∃ x ¬P(x) → ∀ x H(x); ¬∀ x H(x) ∨ ∀ x T(x); ∃ x P(x) → ∃ x R(x); ∀ x (¬Q(x) ∧ ¬R(x)) }?
- A∃ x T(x)
- B∃ x R(x)
- C∃ x P(x)
- D∃ x Q(x)
- E∃ x ¬H(x)