COPY AND PASTE ALONG WITH YOUR ANSWERS  INTO AN EMAIL TO ME AT DMCF34@YAHOO.COM


est: ~(PvQ)->R,~R |- P
 

2. Test: ~(P&Q)->R,~R |- P


3. Test: ~(P & Q)->R,Q |- PvR


4. Test: (Ex)Ax->(Ex)(Sx&Px),Ab |- (Ex)Px


5. Test: (x)Ax->(Ex)(Sx&Px),Ab |- Pb


6. Derive:  A->B, ~(BvC)|- ~A


7. Derive:  (AvB)->(CvD),~A->C,~C |- D


8. Derive: (Ex)Fx->Gb,~Gb |- ~Fa


9. Derive: (x)(Hx&Kx)->(Ex)Jx,(x)Hx & (x)Kx) |- (Ex)Jx


10. (x)(Fx -> Hx) |- (Ex)Fx -> (Ey)Hy