Exit
Lesson 026 · Step 1 of 4Streak 00

Two kinds of claims, two kinds of proof

To prove “there exists xx with PP”, show one example where PP holds.

To prove “for all xx, PP”, let xx be arbitrary, meaning you assume nothing about it except what is given, and show PP holds.

To disprove a “for all” claim, give one counterexample.