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.