- existential operator
- noun see existential quantifier
New Collegiate Dictionary. 2001.
existential operator
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
