study notes already passed 2026
Modus Ponens - correct answer ✔p→q
p
∴q
Modus Tollens - correct answer ✔p→q
~q
∴~p
Generalization - correct answer ✔p
∴p∨q
or
q
∴p∨q
Specialization - correct answer ✔p∧q
∴p
or
p∧q
, ∴q
Conjunction - correct answer ✔p
q
∴p∧q
Elimination - correct answer ✔p∨q
~q
∴p
or
p∨q
~p
∴q
Transitivity - correct answer ✔p→q
q→r
∴p→r
Proof by Division into Cases - correct answer ✔p∨q
p→r
q→r
∴r