英语词汇“existential quantifier”的英英意思、用法、释义、翻译、读音、例句、短语、词组-英语词典

existential quantifier

noun Logic

A formal expression used in asserting that something exists of which a stated general proposition can be said to be true.By contraposition and the definition of the existential quantifier, the latter axiom is equivalent to x = x y (y = x)....

The epsilon calculus is, in its most basic form, an extension of first-order predicate logic with an ‘epsilon operation’ that picks out, for any true existential formula, a witness to the existential quantifier.
In each case, the proposition expressed is argued to be that which would be expressed if the indefinite determiner were replaced by the existential quantifier.

单词	existential quantifier
释义	existential quantifier noun Logic A formal expression used in asserting that something exists of which a stated general proposition can be said to be true.By contraposition and the definition of the existential quantifier, the latter axiom is equivalent to x = x y (y = x).... The epsilon calculus is, in its most basic form, an extension of first-order predicate logic with an ‘epsilon operation’ that picks out, for any true existential formula, a witness to the existential quantifier. In each case, the proposition expressed is argued to be that which would be expressed if the indefinite determiner were replaced by the existential quantifier.
随便看	bushiness bushing Bushism Bushist bush jacket bush kangaroo bushland bush lawyer bush league bush-leaguer bushline Bushman Bushman's Bible bushmaster bushmeat bush medicine bush mile bush mouse bush name bush pig bush pilot bushrange bushranger bush rat bush sickness