Existence quantifier

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

In Logic, the existence quantifier is a quantifier that says that there is at least one element in the universe of discourse where the following proposition is true. The existence quantifier is commonly written as a mirrored E.