Questão de Raciocínio Lógico — Equivalências - Proposições Logicamente Equivalentes — COPEVE-UFAL 2018
Raciocínio LógicoEquivalências - Proposições Logicamente Equivalentes
- Código
- qq327731
- Banca
- COPEVE-UFAL
- Órgão
- UFAL
- Ano
- 2018
- Nível
- Superior
Considerando que os símbolos ¬, ∧, ∨, ∀ e ∃ representam negação, conjunção, disjunção, quantificador universal e quantificador existencial, respectivamente, as equivalências lógicas das fórmulas ¬∃xP(x) ∧ ∃yQ(y) e ∀x(¬P(x) → ¬Q(x)) são, respectivamente,
- A∀x ¬P(x) ∧ ∃yQ(y) e ∀x(Q(x) → P(x)).
- B∃x ¬P(x) ∧ ∃yQ(y) e ∀x(Q(x) → P(x)).
- C∃x ¬P(x) ∧ ∃yQ(y) e ¬∀x(P(x) → Q(x)).
- D∃x ¬P(x) ∧ ∃yQ(y) e ¬∃x(P(x) → Q(x)).
- E∀x ¬P(x) ∧ ∃yQ(y) e ¬∃x(P(x) → Q(x)).