Skip to content.
  • forall x: Calgary
  • Preface
  • I Key notions of logic
  • II Truth-functional logic
  • III Truth tables
  • IV Natural deduction for TFL
  • V First-order logic
    1. 23 Building blocks of FOL
    2. 24 Sentences with one quantifier
    3. 25 Multiple generality
    4. 26 Identity
    5. 27 Sentences of FOL
    6. 28 Definite descriptions
    7. 29 Ambiguity
  • VI Interpretations
  • VII Natural deduction for FOL
  • VIII Modal logic
  • IX Metatheory
  • Appendices

First-order logic

Part V First-order logic

  1. 23 Building blocks of FOL
  1. 24 Sentences with one quantifier
  1. 25 Multiple generality
  1. 26 Identity
  1. 27 Sentences of FOL
  1. 28 Definite descriptions
  1. 29 Ambiguity