Existential proposition
From Wikipedia, the free encyclopedia
An existential proposition is one that affirms the existence of a member of a collection that possesses a specified property. For instance, the proposition that some dog is mortal and the proposition that there is a pig that can fly are existential propositions, the former true and the latter false. An existential proposition is logically equivalent to the negation of a universal proposition. Thus, claiming that there is a pig that can fly is equivalent to denying that every pig cannot fly.
 |
This mathematical logic-related article is a stub. You can help Wikipedia by expanding it. |
