Loading…
Loading…
Spec: ARG4 · No calculator · ~240s
Letters only — the answer key is hidden. Work it out, then check the solution below.
No written hint yet — check the trope: de-morgan-and-or, bracket-scope-trap. Name the trap first, work the stem by hand, then open the solution below.
Same topic · same level
TMUA-P2-ARG4-009
A stretch-and-challenge sheet makes the ambitious claim that for every integer n there exists an integer m such that m >…
Negation
Same trap: de-morgan-and-or
TMUA-P2-ARG3-013
Which formula correctly expresses “There is no integer that is both even and odd”?
Quantifiers
More in this topic
TMUA-P2-ARG4-010
An analysis primer states the familiar property of non-negative reals in fully quantified form: for every real number x,…
Negation