(p ^ (p → q)) → q
p
p→q
--------
∴ q - Answers Modus Ponens
(¬q ^ (p → q)) → ¬p
¬q
p→q
--------
∴ ¬p - Answers Modus Tollens
((p → q) ^ (q → r)) → (p → r)
p→q
q→r
--------
∴ p → r - Answers Hypothetical Syllogism
((p v q) ^ ¬p) → q
pvq
¬p
---------
∴ q - Answers Disjunctive Syllogism
, p → (p v q)
p
---------
∴ p v q - Answers Addition
(p ^ q) → p
p^q
---------
∴ p - Answers Simplification
((p) ^ (q)) → (p ^ q)
p
q
---------
∴ p ^ q - Answers Conjunction
((p v q) ^ (¬p v r)) → (q v r)
pvq
¬p v r
---------
∴ q v r - Answers Resolution
p→q
if p, then q