cavetown4105 cavetown4105 02-05-2024 Mathematics Answered Construct derivations to demonstrate the following claims. You may use any rules of PD of PD+1. ⊢ (Fa ∨ ∼Fb) ∨ ∼(∀x)Fx2. {(∀z)Mz & (∀z)(Lz ∨ ~Nz)} ⊢ (∀x)[(Mx & Nx) ⊃ Lx]3. ⊢ (∀x)Px ∨ (∃x)~Px4. {(∀x)(Fxa ⊃ Fax), (∃x)(Hx & ~Fax)} ⊢ ~(∀y)(Hy ⊃ Fya)