Search results

In [[logic]] existence is a quantifier, the "existential quantifier", symbolized by ∃, a backwards capital E. To symbolize "Four leaf clover ...f the form "Some A are B.", a form logicians call [[existential quantifier|existential]]. If neither A nor B includes the idea of existence, then "some A are B"