Deductive Reasoning
is the logical process of reasoning logically from given statements to a conclusion. If the given statements are true, deductive reasoning produce a true conclusion.
Law of Detachment
If a conditional is true and its hypothesis is true, then its conclusion is true.
Law of Syllogism
it allows you to state a conclusion from 2 true conditional statements when the conclusion of one statement is the hypothesis of the other statement.