The Logic Course Adventure

Welcome to the interactive logic textbook!

Logic is a tool that helps us solve problems. Scientists use logic to figure out what theory their data supports. Mathematicians use logic to prove things like the Pythagorean theorem. Children use logic to solve Sudoku puzzles and win chess games.

That's one reason why this textbook is interactive. You will learn about logic by using it.

There are two types of problems in the book. Practice problems are mixed into each section. They are there to help you learn: they aren't worth points, and if you get them wrong, you get to try again.

[Note for UW students in Winter 2019: ignore this next part about exercise problems and homework grade. All your homework is done in Canvas. Don't forget to do it!]

Exercise problems occur at the end of the chapter. They help you extend your understanding and combine ideas learned in different sections. The exercise problems count toward your homework grade, but you can retry those problems as well, up until the due time set by your instructor.

Look for key concepts in the call-out boxes.

The point of letting you retry is so the harder you work, the more you will learn and the better you will do.

Let's give it a try.

Some chapters are built around a theme. In Chapters 1 and 2 you are a police detective trying to solve cases. The theme gives context to the material you are learning. Plus it makes learning more fun.

If you ever get lost, you can use the table of contents on the left (or below, if you are using a smaller device). Now it's time to learn some logic!

The world is full of problems. Let's go solve some.

The Logic Course Adventure

Textbook Content

Chapters Status
1

1. Let the Adventure Begin

2

2. Weird Cases of Validity

3

3. Argument Heroics

4

4. Meet the Boolean Connectives

5

5. Features of Connectives

6

6. Semantics for BOOL: Truth Tables

7

7. Using BOOL to Study Reasoning

8

8. BOOLean Algebra

9

9. Proofs: Informal

10

10. Proofs: Formal

11

11. Proof by Cases

12

12. Reductio

13

16. PROP and Conditionals

14

17. Proofs with Conditionals

15

19. Metalogic

16

20. Welcome to FOL

17

21. Meet the Quantifiers