Search for question
Question

9. Rewrite each of these statements so that negations appear only within predicates (that is, so that no negation is outside a quantifier or an expressioninvolving logical connectives). \text { A. } \neg \exists y(Q(y) \wedge \forall x \neg R(x, y)) \text { B. } \neg \exists y(\forall x \exists z T(x, y, z) \vee \exists x \forall z U(x, y, z))

Fig: 1

Fig: 2

Fig: 3