Exercise 1860Logic, sets and proofs › Quantifiers and negationOlympiadAdded 3 Nov 2026
Proving a quantified statement with $\exists\forall$
#exists forall#nested#olympiad
Statement
Show that ? Determine for which this holds.
Hint
The quadratic is positive everywhere iff its discriminant is negative.
Show solutionHide solution
Solution
Condition. for all iff , i.e. , i.e. .
Existential. The set of such is nonempty (e.g. ), so is true.
Conclusion. The statement holds; the qualifying are .