quantifier

(redirected from Quantifiers)
Also found in: Thesaurus, Legal, Encyclopedia.

quan·ti·fi·er

 (kwŏn′tə-fī′ər)
n.
1. Logic An operator that limits the variables of a proposition, as some or all.
2. Linguistics A word or other constituent that expresses a quantity or contrast in quantity, as some, all, or many.

quantifier

(ˈkwɒntɪˌfaɪə)
n
1. (Logic) logic
a. a symbol including a variable that indicates the degree of generality of the expression in which that variable occurs, as (∃x) in (∃x)Fx, rendered "something is an F", (x) in (x)(FxGx), rendered "all Fs are Gs"
b. any other symbol with an analogous interpretation: the existential quantifier, (∃x), corresponds to the words "there is something, x, such that …".
2. (Grammar) grammar a word or phrase in a natural language having this role, such as some, all, or many in English

quan•ti•fi•er

(ˈkwɒn təˌfaɪ ər)

n.
1. Logic. an expression, as “all” or “some,” that indicates the quantity of a proposition. Compare existential quantifier, universal quantifier.
2. a word or phrase, usu. modifying a noun, that indicates quantity, as much or few.
[1875–80]
ThesaurusAntonymsRelated WordsSynonymsLegend:
Noun1.quantifier - (logic) a word (such as `some' or `all' or `no') that binds the variables in a logical proposition
logic - the branch of philosophy that analyzes inference
word - a unit of language that native speakers can identify; "words are the blocks from which sentences are made"; "he hardly said ten words all morning"
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
2.quantifier - (grammar) a word that expresses a quantity (as `fifteen' or `many')
grammar - the branch of linguistics that deals with syntax and morphology (and sometimes also deals with semantics)
word - a unit of language that native speakers can identify; "words are the blocks from which sentences are made"; "he hardly said ten words all morning"
universal quantifier - a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things
Translations

quantifier

[ˈkwɒntɪfaɪəʳ] Ncuantificador m

quantifier

n (Logic) → Quantor m
References in periodicals archive ?
We will carry out novel research in computer theorem proving and symbolic computation, and integrate program analysis techniques with new approaches to program assertion synthesis and reasoning with both theories and quantifiers.
Pure Metaphysical Deflationism allows quantifiers to "range over" nothing at all.
In these languages the concept of plural is expressed by connecting comitative/associative postpositions and various verbal quantifiers (see Corbett 2000 : 50-51).
Fuzzy linguistic quantifiers are then introduced to aggregate and prioritize solution scenarios.
The 4ft quantifiers are described with properties and lemmas.
The disputants in a metaphysical argument only differ over which of the available truth-conditionally equivalent ontological languages they are speaking--"the doctrine says that there is no uniquely best ontological language with which to describe the world" (xii); the quantifiers, and related expressions, are variable.
t]--defined with quantifiers ([for all], [there exists]), boolean operations (and, or, not), and statements of the form a(t) x x [less than or equal to] b(t) (where a(t) [member of] Q[[t].
Participants read through short vignettes and determined whether sentences containing certain key phrases like gradable adjectives, cardinals, quantifiers, were literally still true even in contexts that favoured a more natural, pragmatic interpretation.
With some guided questioning and assistance with labelling the columns, the students settled on the following analysis: Text 2 used more describers and qualifiers than quantifiers and classifiers.
Existing XML content gets updated if a set of balanced quantifiers reaches a threshold value.
Remove universal quantifiers in life, they will keep you stressed out and stuck in a set belief system that does not flow with the growth of life around you: Nothing ever works out for me; nobody cares; everyone is against me; I never get noticed or appreciated; everyone gets acknowledged over me.
inside the scope of a quantifier such as: [there exists] (exist), [for all] (forall), modal logic quantifiers, and other various modern logics' quantifiers}.