Book:E.J. Lemmon/Beginning Logic

E.J. Lemmon: Beginning Logic

Published $\text {1965}$, Van Nostrand Reinhold UK

ISBN 0 442 30676 8

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

Next

Cited by

• 1980: D.J. O'Connor and Betty Powell: Elementary Logic

Source work progress

• 1965: E.J. Lemmon: Beginning Logic ... (previous) ... (next): Chapter $2$: The Propositional Calculus $2$: $3$ Truth-Tables: Exercise $6 \ \text{(ii)}$

Also from Next:

• 1965: E.J. Lemmon: Beginning Logic ... (previous) ... (next): Appendix $\text{A}$: Normal Forms