Natural Deduction in Propositional Logic: Workbook 3 (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 3 (Full Edition) helps you learn how to:do proofs in a Fitch-style natural-deduction system with 11 inference rules (introduction and elimination rules for each connective, reiteration rule)do proofs by means of additional inference rules (e.g., Disjunctive Syllogism and Modus Tollens) and by means of replacement rulesdo proofs of tautologies.Each inference rule is introduced through numerous exercises: 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 to navigate even multiple subderivations. The study is aided by many examples worked out step by step, warnings of common errors, as well as complete solutions to all exercises. There are five supplementary units (on substitution instances, on complex instances of inference rules, on proofs of tautologies, on additional inference rules, on replacement rules).There are two other editions of Workbook 3. The Thin Edition does not have the supplementary units. The Extra Full Edition contains the supplementary units as well as additional exercises. Individual units of Workbook 3 (Extra Full Edition) are available as Logic Self-Taught Workbooklets (3.1, 3.2, etc.).Logic Self-Taught Workbooks are 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 take an active part in self-teaching. Through systematic work with the Workbooks, you will build self-confidence. You can learn logic, even its hardest parts.(Previously published as Natural Deduction in Propositional Logic: Workbook 3 Full Edition by Dr. Phi.)Contents:Introduction to Natural Deduction: How to Learn Proofs?Unit 3.1 Conjunction Introduction, Conjunction Elimination, and Conditional Elimination Unit 3.2 Biconditional Elimination and Disjunction Introduction Unit 3.3 Subderivation Rules: Conditional Introduction Unit 3.4. Nested Subderivations: Reiteration (R)Unit 3.5. Biconditional Introduction and Disjunction Elimination Unit 3.6. Negation Introduction and Negation Elimination Unit 3.A Substitution Instances of Propositional and Argument FormsA. Propositions and Propositional FormsB. Proper Substitution Instances of Propositional FormsC. Substitution Instances of Propositional FormsD. Substitution Instances of Argument FormsUnit 3.B Proofs with Complex Substitution Instances (rules in Unit 3.1)A. Inference Rules do Not Apply to Components of PropositionsB. Exercises on Rule ApplicationC. Examples of ProofsUnit 3.C Proofs of Tautologies and Logical EquivalenceA. Proofs of Logical EquivalenceB. Proofs of TautologiesUnit 3.D Disjunctive Syllogism, Modus Tollens, and Three Additional Inference RulesA. Disjunctive Syllogism (DS)B. Modus Tollens (MT)C. More Exercises on DS and MTD. Hypothetical Syllogism (HS), Absorption (ABS), Constructive Dilemma (CD)Unit 3.E Replacement RulesA. Ten Rules of ReplacementB. Proofs with Replacement RulesSolutions to Exercises