Maths›03. Logic and Foundations3.1 Natural DeductionIntroduction to natural deduction, inference rules, and structured proofs for propositional logic.