Teaching natural deduction in the right order with Natural Deduction Planner

Jeremy Seligman, Declan Thompson

We describe a strategy-based approach to teaching natural deduction using a notation that emphasises the order in which deductions are constructed, together with a {\LaTeX} package…