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