🕹️ Practice arcade
Extra games, not extra homework — timed sprints, survival runs that end when your lives run out, and mastery drills built from the same skills Introduction to Logic teaches.
⚡ Sprints
Beat the clock.
🧠 Tautology, Equivalence & Inference Sprint
Classify a formula as tautology/contradiction/contingency, check two formulas for logical equivalence, or judge an argument's validity.
⚡ Truth-Value Sprint
Evaluate compounds row by row from the inside out, and count how many rows a full table needs.
📜 Name That Rule
A proof line and the lines it cites. Which rule licenses the step?
💀 Survival
Each miss costs a life — lose them all and the run ends.
🎯 Mastery
No clock — just get N in a row.
🎯 Tautology, Contradiction, or Contingency
Classify five sentences in a row by checking every row, not just the first one that looks right.
🎯 Equivalence Mastery
Pick the sentence that really is equivalent: conditionals, biconditionals, distribution, De Morgan.
🕵️ Countermodel Hunt
Valid, or invalid with a real countermodel? A row with a false premise doesn't count.
⭕ Syllogism Mastery
Valid or invalid? Watch the middle term, the distributed terms, and the existential trap.