Book:E.J. Lemmon/Beginning Logic

From ProofWiki
Jump to: navigation, search

E.J. Lemmon: Beginning Logic

Published $1965$, Van Nostrand Reinhold UK

ISBN 0 442 30676 8.


Subject Matter


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


Cited by