MATH 170 · Logic · Negation Game & Logical Negation one-sheet
The Negation Machine self-check
Play the paper rounds first. Then check yourself here —
pick your answer's shape before the machine shows a single step.
Round
Before the machine moves: which shape is your answer?
∀ for all · ∃ there exists · ¬ not · ∧ and · ∨ or · → implies