Loading…
Loading…
Spec: PRF5 · No calculator · ~190s
Letters only — the answer key is hidden. Work it out, then check the solution below.
No written hint yet — check the trope: chain-transitivity, single-counterexample. Name the trap first, work the stem by hand, then open the solution below.
Same topic · same level
TMUA-P2-PRF5-002
A proof that the square of an odd integer is odd reads: (1) Write n = 2k + 1. (2) Then n^2 = 4k^2 + 4k + 1. (3)??? (4) H…
Following proofs
Same trap: single-counterexample
TMUA-P2-ARG1-009
A textbook exercise states the following facts about positive integers, where P is “ n is divisible by 6 ” and Q is “ n…
Statements and connectives
Step up a level
TMUA-P2-PRF5-005
A revision guide prints a short proof without a theorem statement: suppose x and y are rational, write x = a/b and y = c…
Following proofs