modus ponens

modus ponens is a deductive argument form and rule of inference. it can be summarized as " $\text{[math]}$ implies $\text{[math]}$ . $\text{[math]}$ is true. therefore $\text{[math]}$ must also be true." the form of a modus ponens argument consists of two premises and a conclusion:

if $P$, then $Q$
$P$
therefore, $Q$