EssayproSolutions

Construct Proof X Ax Bx X Ax X Bx X ~ Mx Nx Px ~ma ~na Pa Q43791089

Construct a proof for each

1. (∃x)(Ax&Bx) ∴ (∃x)Ax&(∃x)Bx
2. (x)(~(Mx∨Nx)→Px)
   1. ~Ma
   2. ~Na ∴ Pa

Expert Answer

Answer to Construct a proof for each (∃x)(Ax&Bx) ∴ (∃x)Ax&(∃x)Bx (x)(~(Mx∨Nx)→Px) ~Ma ~Na ∴ Pa …