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:
“We are compelled by the theory of God’s already achieved perfection to make Him a devil as well as a god, because of the existence of evil. The god of love, if omnipotent and omniscient, must be the god of cancer and epilepsy as well.... Whoever admits that anything living is evil must either believe that God is malignantly capable of creating evil, or else believe that God has made many mistakes in His attempts to make a perfect being.”
—George Bernard Shaw (1856–1950)
“The rights and interests of the laboring man will be protected and cared for, not by the labor agitators, but by the Christian men to whom God in His infinite wisdom has given control of the property interests of the country.”
—George Baer (1842–1914)
“We have two kinds of “conference.” One is that to which the office boy refers when he tells the applicant for a job that Mr. Blevitch is “in conference.” This means that Mr. Blevitch is in good health and reading the paper, but otherwise unoccupied. The other type of “conference” is bona fide in so far as it implies that three or four men are talking together in one room, and don’t want to be disturbed.”
—Robert Benchley (1889–1945)