补充资料：量词

量词
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).每个量词都有自己的逻辑.
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。