Loading…
Loading…
Spec: ARG3 · 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: quantifier-negation-flip, single-counterexample. Name the trap first, work the stem by hand, then open the solution below.
Same topic · same level
TMUA-P2-ARG3-001
What does the statement “For all integers n, n^2 0 ” assert?
Quantifiers
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-ARG3-003
Consider (S1) “For every integer x there is an integer y with y > x ” and (S2) “There is an integer y such that for ever…
Quantifiers