Final answer:
An existence proof is a type of proof used to demonstrate the truth of a proposition of the form ∃xP(x). It involves showing that at least one object exists that satisfies the predicate P(x).
Step-by-step explanation:
A proof of a proposition of the form ∃xP(x) is called an existence proof. This type of proof is used to demonstrate that there exists at least one object that satisfies the predicate P(x). The existence of a single instance is sufficient to establish the truth of the proposition. The proof typically involves providing a specific example or constructing a counterexample to show the existence of such an object