The only way to get fast at symbol-reading is practice. Both directions.
How to Use This Page
This whole chapter is drill. Three rounds: English → symbols, symbols → English, then identify the argument shape. Each question takes a few seconds. Click any option to check.
Set yourself a five-minute timer if you want. Focused drill builds fluency faster than reading.
Variable assignments for these drills:
R = "it is raining"
W = "the street is wet"
C = "it is cold"
Round 1: English → Symbols
"It is raining and it is cold."
Pick the symbolic translation.
Pick an option to check.
"If it is raining, the street is wet."
Pick the symbolic translation.
Pick an option to check.
"It is not the case that it is raining and cold."
Pick the symbolic translation.
Pick an option to check.
"It is raining if and only if the street is wet."
Pick the symbolic translation.
Pick an option to check.
Round 2: Symbols → English
¬W
Pick the English translation.
Pick an option to check.
R → ¬C
Pick the English translation.
Pick an option to check.
¬R ∨ ¬W
Pick the English translation.
Pick an option to check.
Round 3: Identify the Argument Shape
Pick the name of the argument shape and whether it's valid.
P → Q, P ∴ Q
What shape is this?
Pick an option to check.
P → Q, ¬Q ∴ ¬P
What shape is this?
Pick an option to check.
P → Q, Q ∴ P
What shape is this?
Pick an option to check.
P → Q, ¬P ∴ ¬Q
What shape is this?
Pick an option to check.
The Goal
Fluency = you don't have to translate consciously anymore. The symbols read like English; the English maps to symbols automatically.
You get there with reps. There's no shortcut. Come back to this page when you want a quick refresh.
Recap
Translation drills build symbol fluency.
English → symbols, symbols → English, both directions.
Always preserve structure (parens, order of operations).
Practice until the symbols feel as natural as English.
Disclosure: This page was generated by Claude (Anthropic) under Bill's direction. Bill provided the curriculum design and the pedagogical thread; Claude wrote the prose and built the interactive drills.