Applications - Chapter 1 Question and
answers rated A+ 2026
Modus Ponens - correct answer ✔(p ^ (p → q)) → q
p
p→q
--------
∴q
Modus Tollens - correct answer ✔(¬q ^ (p → q)) → ¬p
¬q
p→q
--------
∴ ¬p
Hypothetical Syllogism - correct answer ✔((p → q) ^ (q → r)) → (p → r)
p→q
q→r
--------
∴p→r
, Disjunctive Syllogism - correct answer ✔((p v q) ^ ¬p) → q
pvq
¬p
---------
∴q
Addition - correct answer ✔p → (p v q)
p
---------
∴pvq
Simplification - correct answer ✔(p ^ q) → p
p^q
---------
∴p
Conjunction - correct answer ✔((p) ^ (q)) → (p ^ q)
p
q
---------
∴p^q