Q8.4b
QN Derivations

Each of the following problems is best done using QN.

QN (Quantifier Negation)
~(^x)P (%x)~P or ~(%x)P (^x)~P