if p>q and q>r are true statements then p>r is a true statement ( property )
law of syllogism
if a conditional is true and its hypothesis is true, then its conclusion is true( property )
law of detachment
process of reasoning logically
deductive reasoning