existential operator

1. A logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true (synset 106313745)
   is a type of: logical quantifier, quantifier - (logic) a word (such as `some' or `all' or `no') that binds the variables in a logical proposition
   same as: existential quantifier

Other Searches

• Rhyme: Dillfrog, RhymeZone
• Definition: Wiktionary, Dictionary.com, Wikipedia, Merriam-Webster, WordNet, Power Thesaurus
• Imagery: Google, Flickr, Bing