Logic 8: Soundness of Natural Deduction

We show that the natural deduction proof calculus is sound for propositional logic, meaning that it only proves true formulas given true assumptions.