Section 3.5: Problem Solving Using Logic

3.5 Outline

A.  Undefined terms, defined terms, axioms, and theorems
B. Two-pan problem
C. The letter game
D.  Liar problem
E.  Prisoner problem
F.  Reporter's error problem
G. Turkey problem

3.5 Essential Ideas

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