Non-Constructive Proof

Home > Philosophy > Logic > Formal Proof > Non-Constructive Proof

This type of proof is used when the conclusion is a statement that asserts the existence of a particular object but does not require constructing it. The proof typically involves showing that such an object exists by means of contradiction.