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


Justification:       Sentence: