Questão de Raciocínio Lógico — Proposições Categóricas — COPEVE-UFAL 2015
Raciocínio LógicoProposições Categóricas
- Código
- qq110884
- Banca
- COPEVE-UFAL
- Órgão
- Prefeitura de Craíbas - AL
- Ano
- 2015
- Nível
- Superior
- Cargo
- Assistente Social
Considerando que os símbolos ∀, ∃, ~, → e ∨ representam a quantificação universal, quantificação existencial, negação, implicação e disjunção, respectivamente, do conjunto de premissas {∀x(~P(x)∨Q(x)∨R(x)), ∀xP(x)}, infere-se que
- A∃x(R(x)→Q(x)).
- B∃x(Q(x)→R(x)).
- C∃x(~Q(x)→R(x)).
- D∃x(~Q(x)→~R(x)).
- E∃x(~R(x)→~Q(x)).