2: Deductions Last updated Sep 5, 2021 Save as PDF 1.10: Logical Implication 2.1: Naïvely Page ID9692 Christopher Leary and Lars KristiansenSUNY Geneseo and University of Oslo via OpenSUNY ( \newcommand{\kernel}{\mathrm{null}\,}\) 2.1: Naïvely2.2: Deductions2.3: The Logical Axioms2.4: Rules of Inference2.5: Soundness2.6: Two Technical Lemmas2.7: Properties of Our Deductive System2.8: Nonlogical Axioms2.9: Summing Up, Looking Ahead