EssayproSolutions

Construct Proof ~ X Fx Gx X Fx ~gx X Px Qx Rx Pc ~ X Px ~qx X Rx Q43791093

Construct a proof for each

1. 1. ~(∃x)(Fx&Gx) ∴ (x)(Fx→~Gx)
2. 1. (x)((Px&Qx)→Rx)
   2. Pc
   3. ~(∃x)(Px&~Qx) ∴ (∃x)Rx

Expert Answer

Answer to Construct a proof for each ~(∃x)(Fx&Gx) ∴ (x)(Fx→~Gx) (x)((Px&Qx)→Rx) Pc ~(∃x)(Px&~Qx) ∴ (∃x)Rx …