Questão de Raciocínio Lógico — Equivalência Lógica e Negação de Proposições — COPEVE-UFAL 2019
Raciocínio LógicoEquivalência Lógica e Negação de Proposições
- Código
- qq437571
- Banca
- COPEVE-UFAL
- Órgão
- Prefeitura de Porto Calvo - AL
- Ano
- 2019
- Nível
- Superior
Considerando que os símbolos ¬, ∧, ∨, ∀ e ∃ representam negação, conjunção, disjunção, quantificador universal e quantificador existencial, respectivamente, a partir de qual dos conjuntos de premissas abaixo pode-se chegar à conclusão de que ∃ x P(x) ∧ ∃ x Q(x)?
- A{∀ x (P(x) ∨ Q(x))}
- B{∀ x (P(x) ∧ Q(x))}
- C{∃ x ¬(P(x) ∧ Q(x))}
- D{∀ x (¬P(x) ∧ Q(x))}
- E{∃ x (P(x) ∨ ¬Q(x))}