modus ponens (Latin for affirmative mode.) An inference rule that states that if A is true, and A implies B, then B is also true.