Lembre-se dos fundamentos de Raciocínio Lógico para resolver as questões

Question

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,

Accepted Answer

∀x ¬P(x) ∧ ∃yQ(y) e ∀x(Q(x) → P(x)).

Answer

∃x ¬P(x) ∧ ∃yQ(y) e ∀x(Q(x) → P(x)).

Answer

∃x ¬P(x) ∧ ∃yQ(y) e ¬∀x(P(x) → Q(x)).

Answer

∃x ¬P(x) ∧ ∃yQ(y) e ¬∃x(P(x) → Q(x)).

Answer

∀x ¬P(x) ∧ ∃yQ(y) e ¬∃x(P(x) → Q(x)).

Q33361 - COPEVE-UFAL Enfermeiro 2018