Inverse
~P then ~Q
Converse
Q then P
Contrapositive
~Q then ~P
Symbolic
p then q
Law of detachment
given a conditional statement, if the hypothesis is true then the conclusion is true.
Law of Syllogism
Allows you to draw a conclusion from 2 conditional statements in which the conclusion of the first statement is the hypothesis of the second statement.