A negação da sentença lógica (p ∧ q) → (∀ x)(r(x)) é dada por: a) (p ∨ q) → (∃ x)(~r(x)) b) (p ∨ q) → (∀ x)(~r(x)) c) (p ∧ q) ∧ (∃ x)(~r(x)) d) (p ...

A negação da sentença lógica (p ∧ q) → (∀ x)(r(x)) é dada por:
a) (p ∨ q) → (∃ x)(~r(x))
b) (p ∨ q) → (∀ x)(~r(x))
c) (p ∧ q) ∧ (∃ x)(~r(x))
d) (p ∨ q) ∧ (∃ x)(~r(x))
e) (p ∨ q) ∨ (∀ x)(~r(x))