Last updated Unknown

Status: Tags: Links: Proofs

Proving Existential Statements

• Constructive proofs
  • Find/construct a value such that P(a) is true
    • Prove there is a red car
• Pure proofs of existence
  1. Assume that Ax ~P(x)
  2. Using axioms
  3. Proof by contradiction

Backlinks

1

list from Proving Existential Statements AND !outgoing(Proving Existential Statements)

References:

Created:: 2021-10-07 10:03