deductive reasoning
the process of reasoning logically from given statements to a conclusion.
law of detachment
the mechanic of using a law of deductive reasoning
law of syllogism
allows you to state a conclusion from two true conditional statements when the conclusion of one statement is the hypothesis of the other statement.