Also affirming the antecedent. A valid deductive argument form, as follows: 1. If P, then Q. 2. P\ C. Q.
A rule of logical inference that if proposition A is true, and A implies B, then B is true.
The type of valid reasoning of this form: If you accept IF THEN as true and you accept as true, then you must logically accept as true (Lesson 14.3).
(Latin for affirmative mode.) An inference rule that states that if is true, and implies , then is also true.
In logic, modus ponens (Latin: mode that affirms; often abbreviated MP) is a valid, simple argument form.