Proving Propositional Logic with Quantifiers: Copi's Symbolic Logic Problem

  • MHB
  • Thread starter agapito
  • Start date
  • #1
agapito
49
0
Formally prove the following using only propositional logic + quantifiers (problem from Copi "Symbolic Logic")

∀x ∃y (Kx /\ Ly) Premise

∃y ∀x (Kx /\ Ly) Conclusion

I'm having a hard time with the strictures of Universal Quantification and Existential Instantiation. Thanks for all help.
 
Back
Top