I have written the truth table for all of the forms of $P$ and $Q$.  
Then maintained the table to find $P \rightarrow Q $ and $[(P \rightarrow Q) \wedge P]$.As we know, we can write arguments in forms of $[Expression\_{one} \wedge Expression\_{two}]\rightarrow Result $   

Right now, I have the table with all possible forms of $P$ and $Q$ which leads to their conclusions.How can I prove that *Modus Ponens* is a valid argument according to the table I have written?  

Thanks in advance