Existence Property Implies Disjunction Property
To prove the numerical existence property implies the disjunction property is trivial since a disjunction can be written as an existential formula,
- .
Therefore, assuming the numerical existence property, if is a theorem of, so is, by the numerical existence property there exists some such that is a theorem. Since is a numerial, we can check the value of, if then is a theorem and if then is a theorem, and the disjunction property is satisfied.
Read more about this topic: Disjunction And Existence Properties
Famous quotes containing the words existence, property and/or implies:
“... my whole existence is governed by abstract ideas.... the ideal must be preserved regardless of fact.”
—Mary Corinna Putnam (1842–1906)
“By rendering the labor of one, the property of the other, they cherish pride, luxury, and vanity on one side; on the other, vice and servility, or hatred and revolt.”
—James Madison (1751–1836)
“Begin with loss and see
how the world contradicts you,
how the horizon implies that beyond it
the water is not empty
but full of ships
all docking at another island.”
—Lynn Emanuel (b. 1949)