Law of Syllogism
If p -> q and q -> r are true statements, then p -> r is true.
Law of Detachment
If a conditional is true and its hypothesis is true, then its conclusion is true.
Deductive Reasoning
Reasoning logically from given statements to a conclusion.