Valid Moves ⊢
Symbolic logic tutoring

Read it. Symbolize it. Prove it.

Our study site for The Logic Book (Bergmann, Moor & Nelson, 6th edition). Each chapter we cover gets its own page with notes, tools and practice, written in the book's notation.

Start with Chapter 1 All chapters
How each chapter works
  1. 1Watch the video overview at the top of the page.
  2. 2Read the chapter in the book, with the section notes alongside.
  3. 3Try the chapter's tool and practice questions.
  4. 4Practise more on the Homework pages.
The book

Chapters

Every chapter has its own page with notes, a video overview, tools and practice. Tick a chapter off when you've finished it; the ticks are saved in this browser.

Supplements

Other texts

We'll mostly work from The Logic Book. When we bring in another text, it's listed here and on the chapter page it supports, with a note on any differences in notation.

No supplementary texts yet. The first one we use will appear here.

Notation in other books

The Logic BookAlso written
~ P¬P   −P
P & QP ∧ Q   P · Q
P ∨ QP ∨ Q
P ⊃ QP → Q
P ≡ QP ↔ Q

You can type any of these into the tools on this site; they're converted to the book's symbols.

Sessions

How each session works

Read the assigned sections before we meet, try the practice on the chapter page, and write down where you got stuck. We spend the session on those spots and on the discussion questions.

Bring to each session

  • The sections you read and the exercises you tried (starred ones have answers in the back of the book).
  • One exercise you got wrong or weren't sure about, with your attempt.
  • Your notes from the "Questions for our session" box on the chapter page.