I have the following: $$⊢p \land q \to (p\to q)$$
I'm having a difficult time trying to figure out where to begin. I believe that I am supposed to assume
q and then somehow use the copy rule to construct the equation, however I am not quite sure.
Can someone help me out?
Attempt taken from a comment: "...this is my attempt... first assume p, assume q, copy p, copy q, introduce →, introduce ∧, then introduce → between both... in that order"