Geo/trig laws

p —>q

Therfore q

law of detachment

p—→q

Therefore not p —→ not q

law of contrapositive

p —>q

Therfore q

law of detachment

p—→q

Therefore not p —→ not q

law of contrapositive

p—→q

not q

therefore not p

law of modus tollens

p—→q

q—→r

therefore p —→r

Chain rule

p V q

not q

therefore p

Law of disjunctive inference

not (p V q) ←—> not p ^ not q

Demorgan’s Law

P ^ q

therefore p therefore q

Law of Simplification