Loading…
Loading…
Spec: PRF2 · No calculator · ~150s
Letters only — the answer key is hidden. Work it out, then check the solution below.
No written hint yet — check the trope: exhaustion-parity, case-split-complete. Name the trap first, work the stem by hand, then open the solution below.
Same topic · same level
TMUA-P2-PRF2-001
To prove a claim about |x| for all real x by cases, which splitting of the cases is complete and non-overlapping?
Proof by cases
Same trap: exhaustion-parity
TMUA-P2-PRF2-012
To prove every integer square is 0 or 1 modulo 4, which argument is correct?
Proof by cases
Step up a level
TMUA-P2-PRF2-003
Prove: for every integer n, the remainder of n^2 on division by 4 is 0 or 1. Which case argument is valid?
Proof by cases