• 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
  • VI Interpretations
    1. 30 Extensionality
    2. 31 Truth in FOL
    3. 32 Semantic concepts
    4. 33 Using interpretations
    5. 34 Reasoning about interpretations
    6. 35 Properties of relations
  • VII Natural deduction for FOL
  • VIII Modal logic
  • IX Metatheory
  • Appendices

Interpretations

Part VI Interpretations

  1. 30 Extensionality
  1. 31 Truth in FOL
  1. 32 Semantic concepts
  1. 33 Using interpretations
  1. 34 Reasoning about interpretations
  1. 35 Properties of relations