Chapter 10 completes the discussion of natural deduction in sentential logic, continues the discussion of infinite sets and shows how to use an outline to construct a tightly argued paper in English.

Formal topics:

• The complete set of sentential deduction rules
• Proof strategy
• Counting rational numbers

Informal topics:

• Going from the outline to the written argument

Supplementary topics:

• The Expert Systems Test Module
• The LSAT
• Finite State Acceptors
• Inductive Logic
• Puzzles