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:
“It is because everything is relative
That we shall never see in that sphere of pure wisdom and
Entertainment much more than groping shadows of an incomplete
Former existence so close it burns like the mouth that
Closes down over all your effort like the moment
Of death”
—John Ashbery (b. 1927)
“The power of perpetuating our property in our families is one of the most valuable and interesting circumstances belonging to it, and that which tends the most to the perpetuation of society itself.”
—Edmund Burke (1729–1797)
“Lovers have a way of using this word “nothing” which implies exactly the opposite.”
—Honoré De Balzac (1799–1850)