negar la afirmación cuantificada ∃y(Q(y) ∧ ∀x¬R(x, y))

Question

No recuerdo si lo estoy haciendo correctamente. Tengo problemas para encontrar la negación.

Answer 1

Pista:

$$\neg\forall x\; P(x) =\exists x\;\neg P(x)$$ $$\neg\exists x\; P(x) =\forall x\;\neg P(x)$$

Y también:

$$\neg (P \wedge Q)=\neg P\vee \neg Q$$

Answer 2

La negación es simplemente

$$\forall y \;\;(\lnot Q (y) \lor \exists x : R (x,y)) $$

Una vez más sé que downvoted, así que buenas noches .