Practice tools for introductory logic
Exercises from Hurley's A Concise Introduction to Logic.
HPrac — Rule Drill Trainer
Identify the inference rule applied at each step of a proof. Covers all 18 rules from §7.1–§7.4 with spaced repetition.
Step-by-Step Proofs Coming soon
Build proofs line by line, choosing the rule and writing the derived formula at each step.
Problem Reference
Browse all Hurley problems by section — premises, conclusion, and proof outline in one place.