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:
“God is the efficient cause not only of the existence of things, but also of their essence.
Corr. Individual things are nothing but modifications of the attributes of God, or modes by which the attributes of God are expressed in a fixed and definite manner.”
—Baruch (Benedict)
“Oh, had I received the education I desired, had I been bred to the profession of the law, I might have been a useful member of society, and instead of myself and my property being taken care of, I might have been a protector of the helpless, a pleader for the poor and unfortunate.”
—Sarah M. Grimke (1792–1873)
“Lovers have a way of using this word “nothing” which implies exactly the opposite.”
—Honoré De Balzac (1799–1850)