Looks like no one added any tags here yet for you.
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