Question 1135774
Hint : assuming you are using Natural Deduction

From Premise-2 : Kc∧Lc

you have to derive Kc (by ∧-elimination), followed by ∃xKx (by ∃-introduction).

In this way, you can use → -elimination (i.e. modus ponens) with Premise-1 and derive : (∀x)(Lx→Mx).


Now you have to use ∀-elimination (i.e. universal instantiation) with c to get : Lc→Mc.