Derive the following. Do not use quantifier exchange rules (in
case you happen to know
what they are.)
1). ∃x(Fx v Gx) ├ ∃xFx v ∃xGx
2) ∃xFx → ∀yGy, ∀xFx ├ ∀zGz
3) ∀x(Fx → ∀y(Gy → Hxy)), ∃x(Fx & ∃y~Hxy) ├ ∃x~Gx
Get Answers For Free
Most questions answered within 1 hours.