Definitions for "Modus ponens"
Affirming the antecedent”; a valid deductive form commonly used in logical thinking.
A Latin name for any valid argument of the form : If α then β. α. Therefore β.
An inference rule that states that if A is true, and A implies B, then B is also true.
means "a way of constructing;" symbolically: "If , then ; ; therefore, ." ( Study 2; Study 5)