## Section 3.5: Problem Solving Using Logic

## 3.5 Outline

- Undefined terms, defined terms, axioms, and theorems
- The letter game
- Two-pan problem
- Liar problem
- Prisoner problem
- Reporter’s error problem
- Turkey problem

## 3.5 Essential Ideas

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