$(p \vee q) \wedge (p \rightarrow m) \wedge (q \rightarrow m) \rightarrow m$
Do I have to do a proof by case if I want to prove this directly?
If m is true, then the right hand side and the left hand side is true? That's it? How do you pick the right variable when there are like 10 variables though?