Conditional statements
p –> q (if p then q)
Inverse
~p –> ~q (if not p then not q)
Converse
q –> p (switch the conclusion and the hypothesis)
Contrapositive
~q –> ~p (if not q then not p)
Biconditional statement
p <–> q, (p if and only if q)
Biconditional statements are only true when-
Both conditional and converse statements are true.
Law of detachment
When given a conditional statement, if the hypothesis is true then the conclusion if true. p –> q, p therefore q
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
V
Or/union
A
And/intersection