Item 0.2.14.d.

What would you need to do to prove \(\exists x P(x)\) is false?

in-context