说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 量词性语素
1)  quantifier morpheme
量词性语素
2)  quantifier words
量词语素
3)  verbal gender
动词性语素
4)  noun gender
名词性语素
5)  adjective morpheme
形容词性语素
6)  morpheme [英]['mɔ:fi:m]  [美]['mɔrfim]
词素,语素
补充资料:量词


量词
quantifier

  盘词[印.以币er:拙aoTop] 一种逻辑运算的一般名称,该逻辑运算利用谓词尸(x)构造刻划尸(x)的有效域的语句.在数理逻辑中,最广泛使用的量词是全称量词(~玲al qUanti-fier)丫和存在量词(existential qUalltifier)日.语句丫x尸(劝意思是尸(x)的有效域与变元x的值域相同.语句日x尸(x)意思是尸(x)的有效域非空.如果只对尸(x)在由谓词R(x)挑选出的x的部分值域(而不是x的整个值域)上的行为感兴趣,通常使用琴制鼻娜(res‘ric‘ed quantifier)(日x);(,)和(丫x):(二).在这种情况下,语句(日x)只(芜)p(x)与日x(R(义)%26p(x))表示相同的意思,而(丫x)。(二)p(x)与丫x(R(x)D尸(x))表示相同的意思,其中%26是合取(conJ~tion)符号,。是蕴涵(implicat10n)符号.B.E.n几‘eKo撰【补注】当今量词的主题远比上述提及的多,因为有比上述讨沦的两(或四)种量词更多的量词(例如,对策量词,概率量词). 更一般地,任意量词Q(与丫和日有相同的语法行为)的模型论解释可以(据A, Mostowski)由一个映射给出,该映射把每个模型(A,二)映到A的一个子集类Q.然后规定Q的真假值定义,例如,语句Qx小(劝在(A,…)中为真,当且仅当集合{aoA:中(a)在(A,…)中为真}在Q中.因此,存在量词日对应于A的非空子集类,全称量词丫对应于类{A}然而,有很多可能的量词,例如分别由{B CA:B有限},{B CA:B与A有同样的基数}(张(辰中)量词(Changq珑ult血r)),{B C=A:B不可数}等给出的量词.这种结构可以推广到约束出现在多个公式中的多个变元的量词(例如,等基数量词(eq山一cardin田jty ql笼l们t诵er)Q约束出现在两个公式。(x)和甲(x)中的两个变元x和y,产生公式Qx夕(。(x),甲(夕)),由遭(B,C):刀和C有相同基数}解释).更一般的是Lindstr6m量词(L力ld-st~ql迢而玩r).每个量词都有自己的逻辑.
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条