An Introduction to the Logic of the Computing Sciences

chapter 1 Preface chapter 2 Introduction to Logic chapter 3 Logic, Problem Solving, and Algorithmic Thinking chapter 4 Structure of Arguments chapter 5 Ordinary English and ^D< "If-Then" Statements chapter 6 Truth Tables and "If-Then Statements" chapter 7 Flow Charts chapter 8 Algorithms chapter 9 Modus Ponens chapter 10 Modus Tollens chapter 11 Conjunction and Simplification chapter 12 Hypothetical Syllogism chapter 13 Absorption chapter 14 The Inclusive Or chapter 15 Disjunctive Syllogism chapter 16 Constructive Dilemma chapter 17 Addition chapter 18 Material Implication, Deductive Arguments, Abbreviated Truth Tables and the Test for Consistent Premises chapter 19 Material Implication and Scientific Theories chapter 20 The Nature of Material Equivalence chapter 21 Double Negation chapter 22 Commutation chapter 23 Tautology chapter 24 Association chapter 25 Transposition chapter 26 Material Implication chapter 27 Exportation chapter 28 Material Equivalence chapter 29 Distribution chapter 30 De Morgan's Theorems chapter 31 Quantification Theory chapter 32 Four New Bi-Conditionals chapter 33 Study Guide