Skip to content.
  • forall x: Calgary
  • Preface
  • I Key notions of logic
  • II Truth-functional logic
    1. 4 First steps to symbolization
    2. 5 Connectives
    3. 6 Sentences of TFL
    4. 7 Ambiguity
    5. 8 Use and mention
  • III Truth tables
  • IV Natural deduction for TFL
  • V First-order logic
  • VI Interpretations
  • VII Natural deduction for FOL
  • VIII Modal logic
  • IX Metatheory
  • Appendices

Truth-functional logic

Part II Truth-functional logic

  1. 4 First steps to symbolization
  1. 5 Connectives
  1. 6 Sentences of TFL
  1. 7 Ambiguity
  1. 8 Use and mention