The statement is false. Find the value that disproves it. Fast-paced, four options, one kills the claim.
The lines of a proof are jumbled. Tap to reorder them into a valid logical argument. Tests structure, not memory.
Step through a proof by induction. Base case → assumption → inductive step → conclusion. Each stage tested.