A practice companion to The Logic Book, 6th ed.

Logic Workbook

∼(P ∨ Q) ≡ (∼P & ∼Q)

Short explanations and hands-on drills for Chapter 2: reading the language SL and translating English into it. Every exercise checks your work as you go.

Chapter 2 · Syntax and Symbolization

2.1

The syntax of SL

Use and mention, metavariables, the recursive definition, main connectives, components.

 2.2

Introduction to symbolization

Paraphrase first, then symbolize. Negation, conjunction, disjunction, the conditional and the biconditional.
2.3

More complex symbolizations

Coming next: the paraphrase builder, grouping, “neither…nor”, “exactly two”, and whole arguments.

Not built yet
2.4

Non-truth-functional connectives

Coming later: “because”, “before”, belief, and subjunctive conditionals.

Not built yet

Tools

T/F

Truth table refresher

The five characteristic tables, a generator for any sentence, and fill-in practice.

 ⊃

Quick reference

Connectives, English phrases, conventions, and typing shortcuts on one page.

Keep it open in a tab

How it works

  • Work through each section in order. Every exercise set shows one problem at a time; the dots below it track what you’ve solved.
  • Type formulas with the symbol buttons or the keyboard: ~ for ∼, &, v for ∨, > for ⊃, = for ≡.
  • Symbolizations are checked by meaning, so any equivalent answer counts. When you’re wrong, you’ll see a case where your sentence and the English come apart.
  • Progress is saved in this browser only.