Show that $(p \land q) \to (p \to q)$ is a tautology without using truth table

logicpropositional-calculus

My working is as follows.

$$ \begin{aligned} (p \land q) \to (p \to q) &\equiv (p \land q) \to (\neg p \lor q)\\ & \equiv \neg(p \land q) \lor (\neg p \lor q) \\
&\equiv (\neg p \lor \neg q) \lor (\neg p \lor q) \end{aligned} $$

I stop until here because I think my working is wrong somewhere. Can someone please help me?

Best Answer

What you have done is correct so far. The next step is $\lnot p \lor (\lnot q \lor q)$.