This first chapter is a quick immersion in logic. Its goal is to acquaint students with the symbols and ideas they will master later in the book and to provide a context for the detail that follows in subsequent chapters. Like all chapters in the book, it discusses both formal and informal logic, and offers as well as a selection of supplementary applications, curiosities, and entertainments.

Formal topics:

• Truth-functional connectives
• Predicates and quantifiers

Informal topics:

• What an argument in English looks like.
• How to identify the conclusion of an argument.

Supplementary topics:

• The liar paradox
• Puzzles