This chapter begins the presentation of natural deduction with the first few rules of sentential deduction. The discussion of the infinite begins in earnest, and we show how to move from a logical diagram of an English language argument to the outline of a short paper.

Formal topics:

• The concept of deduction
• The first few deduction rules
• A few countable infinities

Informal topics:

• How to outline a multi-paragraph argument

Supplementary topics:

• Lewis Carroll's Game of Logic
• Russell's paradox
• Puzzles