§7.1–§7.4 Proof Problems

150+ proof problems from Hurley's A Concise Introduction to Logic, covering Parts III and IV of §7.1 through §7.4. Each entry shows the premises, the conclusion, and a step-by-step proof citing the 18 inference rules: MP, MT, HS, DS, CD, Simp, Conj, Add, DM, Com, Assoc, Dist, DN, Trans, Imp, Equiv, Exp, and Taut.