Transparencies Part I

  • Part 01 (Syntax and Semantic System): PDF
  • Part 02 (Propositional Calculus): PDF
  • Part 03 (Predicate Calculus): PDF
  • Part 04 (Resolution Principle): PDF
  • All parts (for convenience): PDF

    • Transparencies Part II

  • Download in PDF format

    • Midterm I Solutions

  • Download in PDF format

    • Midterm 2 Solutions

  • Download in PDF format