Welcome to our community

Be a part of something great, join today!

Help with a simple deduction

agapito

Member
Apr 18, 2018
42
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.