Questão de Raciocínio Lógico — Fundamentos de Lógica — FUNDEPES 2024
Raciocínio LógicoFundamentos de Lógica
- Código
- qg189745
- Banca
- FUNDEPES
- Órgão
- UFAL
- Ano
- 2024
- Nível
- Médio
Considerando-se que os símbolos ¬, ∧, ∨, →, ↔, ∀ e ∃ representam negação, conjunção, disjunção, implicação, bi-implicação, quantificador universal e quantificador existencial, respectivamente, e considerando-se, ainda, a fórmula ∀x(P(x)→(Q(x)∧¬R(x)))∧∃xR(x)∧∃xQ(x)∧∀xS(x) como verdadeira, pode-se concluir que, necessariamente, tem-se:
- A∃x(P(x)∧R(x))
- B∃x(¬P(x)∧R(x))
- C∀x(Q(x)→P(x))
- D¬∃x(Q(x)∧R(x))
- E∃x(¬S(x)∧¬P(x))