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)