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:
“There surely is a being who presides over the universe; and who, with infinite wisdom and power, has reduced the jarring elements into just order and proportion. Let speculative reasoners dispute, how far this beneficent being extends his care, and whether he prolongs our existence beyond the grave, in order to bestow on virtue its just reward, and render it fully triumphant.”
—David Hume (1711–1776)
“It is better to write of laughter than of tears, for laughter is the property of man.”
—François Rabelais (1494–1553)
“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)