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)
“No man is by nature the property of another. The defendant is, therefore, by nature free.”
—Samuel Johnson (1709–1784)
“To insult a friend implies that you respect his masculinity enough to know he can take it without acting like a crybaby. The swapping of insults, like the fighting between brothers, becomes the seal of the male bonding.”
—Frank Pittman (20th century)