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.

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

All of problems in this book are for practice. They aren't worth points, and if you get them wrong, you get to try again. (Problem sets for your homework are not done in the textbook; your instructor will tell you where to complete those.)

Look for key concepts in the call-out boxes.

The point of letting you retry problems that you get wrong 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 are logged in, there is a green "Mark Progress" button at the bottom of each section. They allow you to track your progress on the adventure.

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. Logic Gates with BOOL

10

10. Proofs: Informal

11

11. Proofs: Formal

12

12. Proof by Cases

13

13. Reductio

14

16. Review for Ch. 1-15

15

17. PROP and Conditionals

16

18. Proofs with Conditionals

17

20. Metalogic

18

21. Welcome to FOL

19

22. Meet the Quantifiers

20

23. Semantics of FOL

21

24. Aristotelian Forms

22

25. FO Equivalences

23

26. FO Validities

24

27. FO Counterexamples

25

28. Multiple Quantifiers

26

29. Numerical Quantification

27

30. Proofs in FOL: 2 Easy Rules

28

31. Proofs in FOL: 2 Hard Rules

29

33. Logic and Set Theory