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

Book Synopsis: 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 (MP, MT, HS, DS, Simp, Conj, Add, CD, and Abs). 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. Workbook for Natural Deduction 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 Conjunction
    • Common Errors
    • Proofs with Conjunction
  • B. Simplification (Simp)
    • Applying Simplification
    • Common Errors
    • Proofs with Simplification
  • C. Modus Ponens (MP)
    • Applying Modus Ponens
    • Common Errors
    • Proofs with Modus Ponens
• Unit 2 Inference Rules do Not Apply to Components
• Unit 3 Disjunctive Syllogism and Modus Tollens
  • A. Disjunctive Syllogism (DS)
    • Applying Disjunctive Syllogism
    • Common Errors
    • Examples of Proofs with Disjunctive Syllogism
  • B. Modus Tollens (MT)
    • Applying Modus Tollens
    • Common Errors
    • Examples of Proofs with Modus Tollens
  • 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 Addition
    • Common Errors
    • Proofs with Addition
  • B. Constructive Dilemma (CD)
    • Applying Constructive Dilemma
    • Common Errors
    • Proofs with Constructive Dilemma
  • C. Hypothetical Syllogism (HS)
    • Applying Hypothetical Syllogism
    • Common Errors
  • D. Absorption (ABS)
    • Applying Absorption
    • Common Errors
• Unit 5 Proof Strategies and More Proofs
  • Inference Rules at a Glance
  • Proof Strategies
  • Summary
  • Exercises
  • Solutions to Exercises