Modus ponens (lat. "the way that affirms by affirming") is a valid logical argument consisting of two premises and a conclusion, which altogether are constructed from two propositions $p$ and $q$ as follows:
Formally, modus ponens is the following logical argument: $$\begin{array}{rll} p\Rightarrow q&\text{major premise}&\text{e.g. If it is raining, then the roads are wet.} \\p&\text{minor premise}&\text{e.g. It is raining.}\\ \hline q&\text{conclusion}&\text{e.g. The roads are wet.}\\ \end{array} $$
Proofs: 1