To prove a universal statement, we must show that $p(x)$ is true for all the elements in the set. To disprove a universal statement, on the other hand, it is enough to find a single counterexample where $p(x)$ is false.
To prove an existential statement, we only need to find one example where $p(x)$ is true. To disprove an existential statement, on the other hand, we must show that $p(x)$ is false for all the elements the set.
Quantifier | How to Prove | How to Disprove |
---|---|---|
Universal ($\forall$) | Show $p(x)$ is true for all $x$. | Find a single counterexample where $p(x)$ is false. |
Existential ($\exists$) | Find at least one $x$ where $p(x)$ is true. | Show $p(x)$ is false for all $x$ in the set. |
Bottom line: Generally, universal statements are harder to prove but easier to disprove. Existential statements are easier to prove but harder to disprove.