请输入您要查询的字词:

 

单词 GeneralizedQuantifier
释义

generalized quantifier


Generalized quantifiers are an abstract way of defining quantifiersMathworldPlanetmath.

The underlying principle is that formulasMathworldPlanetmathPlanetmath quantified by a generalized quantifier are true if the set of elements satisfying those formulas belong in some relationMathworldPlanetmathPlanetmath associated with the quantifier.

Every generalized quantifier has an arity, which is the number of formulas it takes as arguments, and a type, which for an n-ary quantifier is a tuple of length n. The tuple represents the number of quantified variables for each argument.

The most common quantifiers are those of type 1, including and . If Q is a quantifier of type 1, M is the universePlanetmathPlanetmath of a model, and QM is the relation associated with Q in that model, then Qxϕ(x){xMϕ(x)}QM.

So M={M}, since the quantified formula is only true when all elements satisfy it. On the other hand M=P(M)-{}.

In general, the monadic quantifiers are those of type 1,,1 and if Q is an n-ary monadic quantifier then QMP(M)n. Härtig’s quantifier, for instance, is 1,1, and IM={X,YX,YM|X|=|Y|}.

A quantifier Q is polyadic if it is of type n1,,nn where each ni. Then:

QMiP(Mni)

These can get quite elaborate; Wxyϕ(x,y) is a 2 quantifier where XWMX is a well-ordering. That is, it is true if the set of pairs making ϕ true is a well-ordering.

Titlegeneralized quantifier
Canonical nameGeneralizedQuantifier
Date of creation2013-03-22 12:59:57
Last modified on2013-03-22 12:59:57
OwnerHenry (455)
Last modified byHenry (455)
Numerical id5
AuthorHenry (455)
Entry typeDefinition
Classificationmsc 03C80
Classificationmsc 03B15
Classificationmsc 03B10
Related topicquantifier
Related topicQuantifier
Definesmonadic
Definespolyadic
随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 9:04:19