Workbook for Natural Deduction with MP, MT, HS, DS, Simp, Conj, Add, CD, and Abs in Propositional Logic (Logic Self-Taught Workbooks)

Like personal trainers, the Workbooks offer a practical and empathic approach to introductory logic. They are designed for beginners and for anyone who wants to build confidence by doing more exercises. Workbook for Natural Deduction helps you learn how to do propositional logic proofs with nine popular inference rules (Modus Ponens, Modus Tollens, Hypothetical Syllogism, Disjunctive Syllogism, Simplification, Conjunction, Addition, Constructive Dilemma, and Absorption). Each inference rule is introduced through numerous exercises. There are a variety of rule-application exercises, baby-proof exercises, and proof exercises. Their difficulty increases gradually. The point is to train your “logic muscles” until they become strong enough to carry “heavy-weight” content. Visual metaphors help in learning to see the relevant patterns. The study is aided by many examples worked out step by step, warnings of common errors, and complete solutions to all exercises. The workbook is accompanied by a youtube series (Logic Self-Taught G-series; G-series Natural Deduction in Propositional Logic) https://www.youtube.com/watch?v=ZbmFY9oGbF8&list=PL5JNYKs493Cz7ZgW8bTCTH3LaOzbQBV9F The Workbook can be used to supplement learning natural deduction proofs in propositional logic introduced in popular textbooks by, among others, S. Baronett, I.M. Copi et al., P. Hurley, and V. Klenk. This Workbook does not cover conditional proof, indirect proof, or replacement rules. Logic Self-Taught Workbooksare based on the insight that understanding logic is not sufficient for learning logic, just as understanding how to swim is not sufficient for learning to swim and understanding the grammar of a foreign language is not sufficient for learning the language. You need to practice and takean active part in self-teaching. Through systematic work with the Workbooks, you will build self-confidence.You canlearn logic, even its hardest parts. Contents: Introduction to Natural Deduction: How to Learn Proofs? Unit 1 Conjunction, Simplification, and Modus Ponens A. Conjunction (Conj) Applying the Rule Common Errors Applying Conjunction to Complex Propositions Common Errors Proofs B. Simplification (Simp) Applying the Rule Common Errors Proofs C. Modus Ponens (MP) Applying the Rule Common Errors Proofs Unit 2 Inference Rules do Not Apply to Components Inference Rules do Not Apply to Components Why do Inference Rules Not Apply to Components? How to Determine whether a Rule can be Applied? Unit 3 Disjunctive Syllogism and Modus Tollens A. Disjunctive Syllogism (DS) Applying the Rule Common Errors Proofs B. Modus Tollens (MT) Applying the Rule Common Errors Proofs C. More Exercises on Disjunctive Syllogism and Modus Tollens Unit 4 Addition, Constructive Dilemma, Hypothetical Syllogism, and Absorption A. Addition (Add) Why Is Addition Useful? Why is Addition Counterintuitive? Applying the Rule Common Errors Proofs B. Constructive Dilemma (CD) Applying the Rule Common Errors Proofs C. Hypothetical Syllogism (HS) Applying the Rule Common Errors Proofs D. Absorption (ABS) Applying the Rule Common Errors Proofs Unit 5 Proof Strategies and More Proofs Inference Rules at a Glance Proof Strategies Solutions to Exercises