Rewrite each of these statements such that all negation symb

Rewrite each of these statements such that all negation symbols immediately precede predicates P and Q.

Solution

given

1).

~[ there exist x : ( P(x) --> Q(x)) ] = x [ ~P(x) v Q(x) ]

2).

~[ x y z : P(x,y) v Q(z,y) ] = [ x y z : P(x,y) ^ Q(y,z) ]