existential operator
noun see existential quantifier

New Collegiate Dictionary. 2001.

Look at other dictionaries:

  • existential operator — noun a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true • Syn: ↑existential quantifier • Hypernyms: ↑quantifier, ↑logical quantifier * * * noun or existentia …   Useful english dictionary

  • Existential — Ex is*ten tial, a. 1. Having existence. [Archaic] Bp. Barlow. [1913 Webster] 2. of or pertaining to, or having the character of, existentialism. [PJC] 3. (Logic) specifying actual existence, rather than only possibility; as, the existential… …   The Collaborative International Dictionary of English

  • existential quantifier — noun Date: 1936 a quantifier (as for some in “for some x, 2x + 5 = 8”) that asserts that there exists at least one value of a variable called also existential operator …   New Collegiate Dictionary

  • existential quantifier — noun a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true • Syn: ↑existential operator • Hypernyms: ↑quantifier, ↑logical quantifier …   Useful english dictionary

  • Existential quantification — In predicate logic, an existential quantification is the predication [The term predication in grammar means the predicate of a sentence which refers to subject and is an adverb or adjective, or equivalent, that describes an attribute of the… …   Wikipedia

  • Existential graph — An existential graph is a type of diagrammatic or visual notation for logical expressions, proposed by Charles Sanders Peirce, who wrote his first paper on graphical logic in 1882 and continued to develop the method until his death in 1914.The… …   Wikipedia

  • existential quantifier — noun The operator, represented by the symbol ∃, used in predicate calculus to indicate that a predicate is true for at least one member of a specified set. Some verbal equivalents are there exists or there is . See Also: universal quantifier …   Wiktionary

  • Window operator — In modal logic, the window operator riangle is a modal operator with the following semantic definition:M,wmodels rianglephi iff forall u, M,umodelsphiRightarrow Rwufor M=(W,R,f) a model and w,uin W. Informally, it says that w sees every phi;… …   Wikipedia

  • Existentially — Existential Ex is*ten tial, a. 1. Having existence. [Archaic] Bp. Barlow. [1913 Webster] 2. of or pertaining to, or having the character of, existentialism. [PJC] 3. (Logic) specifying actual existence, rather than only possibility; as, the… …   The Collaborative International Dictionary of English

  • Existence — For other uses, see Existence (disambiguation). Philosophy …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”