Disjunction And Existence Properties
In mathematical logic, the disjunction property is satisfied by a logic if whenever a sentence
is a theorem, then either is a theorem, or is a theorem.
The existence property or witness property is satisfied by a logic if whenever a sentence
is a theorem, then there is some term for which is a theorem.
Read more about Disjunction And Existence Properties: Background, Existence Property Implies Disjunction Property, Disjunction Property Implies Existence Property
Famous quotes containing the words existence and/or properties:
“During a walk or in a book or in the middle of an embrace, suddenly I awake to a stark amazement at everything. The bare fact of existence paralyzes me... To be alive is so incredible that all I can do is to lie still and merely breathe—like an infant on its back in a cot. It is impossible to be interested in anything in particular while overhead the sun shines or underneath my feet grows a single blade of grass.”
—W.N.P. Barbellion (1889–1919)
“A drop of water has the properties of the sea, but cannot exhibit a storm. There is beauty of a concert, as well as of a flute; strength of a host, as well as of a hero.”
—Ralph Waldo Emerson (1803–1882)