Logic Math

Contrapositive

~q→~p (if not q, then not p)

conditional statement

p→q (if p, then q)

Converse

q→p (if q, then p)

Inverse

~p→~q (if not p, then not q)

biconditional

p↔q (p, if and only if, q)

Conjunction

p∧q (p and q)

Disjunction

p ∨ q (p or q)

Law of Detachment

p → q

p

∴q

Law of Syllogism

p→q

q→r

∴p→r

Law of Contrapositive

p→q

~q

∴~p