Exercise 1864Logic, sets and proofs › Quantifiers and negationL1Added 3 Nov 2026
A statement with a specific structure
#epsilon#forall#exists
Statement
Prove: .
Hint
Take .
Show solutionHide solution
Solution
Choice. For , choose .
Verification. For , . ✓
Conclusion. The statement holds; this proves .