NOUN | communication | existential operator, existential quantifier | a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true |
---|
Meaning | A logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true. | |
---|---|---|
Synonym | existential quantifier | |
Broader | quantifier, logical quantifier | (logic) a word (such as 'some' or 'all' or 'no') that binds the variables in a logical proposition |
©2001-24 · HyperDic hyper-dictionary · Contact