Laws of Deductive Reasoning

Law of Detachment - If p

q is a true conditional statement and p is true, then q is true.

Law of Syllogism - If p

q and q

r are true conditional statements, then p

r is true.