law of detachment
states if a hypothesis is true then the conclusion is true or if it is false then the conclusion is false
deductive reasoning
logic based reasoning
law of syllogism
allows you to make a conclusion from two conditionals when the conclusion is the hypothesis of the other