Answer: Rewrite each of these statements so that negations
Chapter 1, Problem 1.4.30(choose chapter or problem)
Rewrite each of these statements so that negations appear only within predicates (that is, so that no negation is outside a quantifier or an expression involving logical connectives). a) -.3y3xP(x, y) b) -.Vx3yP(x, y) e) -.3y(Q(y) /\ Vx-.R(x, y d) -.3y(3xR(x,y) v VxS(x, y e) -.3y(Vx3zT(x, y, z) v 3xVzU(x, y, z
Unfortunately, we don't have that question answered yet. But you can get it answered in just 5 hours by Logging in or Becoming a subscriber.
Becoming a subscriber
Or look for another answer