| 释义 |
universal quantifier
universal quantifier n (Logic) logic a formal device indicating that the open sentence that follows is true of every member of the relevant universe of interpretation, as (∀x)(Fx→Gx) or (x)(Fx→Gx): literally, for everything, if it is an F it is a G; that is, all Fs are Gs. Usual symbol: ∀ u′niver′sal quan′tifier
n. Logic. a quantifier indicating that the sentential function within its scope is true for all values of any variable included in the quantifier. [1935–40] Thesaurus| Noun | 1. | universal quantifier - a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of thingsquantifier - (grammar) a word that expresses a quantity (as `fifteen' or `many') |
Translationsuniversal quantifier
universal quantifier[¦yü·nə¦vər·səl ′kwän·tə‚fī·ər] (mathematics) A logical relation, often symbolized ∀, that may be expressed by the phrase “for all” or “for every”; if P is a predicate, the statement (∀ x) P (x) is true if P (x) is true for all values of x in the domain of P, and is false otherwise. universal quantifierquantifieruniversal quantifier
Words related to universal quantifiernoun a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of thingsRelated Words |