Book:E.J. Lemmon/Beginning Logic

Subject Matter

 * Logic

Contents

 * Preface


 * CHAPTER 1: THE PROPOSITIONAL CALCULUS 1
 * 1 The nature of logic
 * 2 Conditionals and negation
 * 3 Conjunction and disjunction
 * 4 The biconditional
 * 5 Further proofs: résumé of rules


 * CHAPTER 2: THE PROPOSITIONAL CALCULUS 2
 * Introduction
 * 1 Formation rules
 * 2 Theorems and derived rules
 * 3 Truth-tables
 * 4 The consistency of the propositional calculus
 * 5 The completeness of the propositional calculus


 * CHAPTER 3: THE PREDICATE CALCULUS 1
 * 1 Logical form : 'all' and 'some'
 * 2 The universal quantifier
 * 3 The existential quantifier
 * 4 Elementary valid sequents with quantifiers
 * 5 General quantifier arguments


 * CHAPTER 4: THE PREDICATE CALCULUS 2
 * 1 Formation rules and rules of derivation
 * 2 Substitution, derived rules, consistency, and completeness
 * 3 Identity
 * 4 The syllogism
 * 5 Properties of relations


 * Appendix A: Normal forms


 * Appendix B: The elementary theory of classes


 * Bibliography
 * List of Logical Symbols and Abbreviations with Main Text References
 * Index