Existence quantifier
Jump to navigation
Jump to search
![]() | The English used in this article may not be easy for everybody to understand. |
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.