Modus Ponens

“affirming the antecedent”

A fundamental, valid rule of inference in logic.

If $P$ implies $Q$ ($P\to Q$) is true, and $P$ is true, then $Q$ must be true. A common example is “If it rains, the ground is wet; it is raining; therefore, the ground is wet”

• Premise 1 (Conditional): If $P$, then $Q$ ($P\to Q$)
• Premise 2 (Assertion): $P$
• Conclusion: Therefore, $Q$

Used to derive truths in deductive reasoning.