Section 3.5: Problem Solving Using Logic

3.5 Outline

  1. Undefined terms, defined terms, axioms, and theorems
  2. The letter game
  3. Two-pan problem
  4. Liar problem
  5. Prisoner problem
  6. Reporter’s error problem
  7. Turkey problem

3.5 Essential Ideas

This section is devoted to applying and practicing the material of Sections 3.1-3.4.