Loading…
Loading…
Spec: PRF3 · No calculator · ~200s
Letters only — the answer key is hidden. Work it out, then check the solution below.
No written hint yet — check the trope: contradiction-not-negated, quantifier-negation-flip. Name the trap first, work the stem by hand, then open the solution below.
Same topic · same level
TMUA-P2-PRF3-004
Euclid's proof that there are infinitely many primes assumes finitely many primes p_1,, p_k, forms N = p_1·s p_k + 1, an…
Proof by contradiction
Same trap: quantifier-negation-flip
TMUA-P2-ARG3-001
What does the statement “For all integers n, n^2 0 ” assert?
Quantifiers
Step up a level
TMUA-P2-PRF3-006
A journal-style proof that √3 is irrational is circulated for peer review: it assumes √3 = a/b in lowest terms, deduces…
Proof by contradiction