Construct Proof 1 X ~fx Hx 2 Y ~gy ~hy Z Fz Gz B X Px ~qx Y Qy ~py Q43791095
Construct a proof for each
A) 1. (x)(~Fx∨Hx)
2. (y)(~Gy→~Hy) ∴ (z)(Fz→Gz)
B) ∴ (x)(Px→~Qx)↔(y)(Qy→~Py)
.
Expert Answer
Answer to Construct a proof for each A) 1. (x)(~Fx∨Hx) 2. (y)(~Gy→~Hy) ∴ (z)(Fz→Gz) B) ∴ (x)(Px→~Qx)↔(y)(Qy→~Py) ….
OR