逻辑量词(logic quantifier),文学-语言文字-计算语言学及语料库语言学-计算语言学-一阶谓词演算,在一阶谓词演算中引用变量的运算符号。一阶谓词演算的变量有两种用法:一是指代特定的匿名客体;二是一般性地指代在一个集合中的全部客体。这两种用法都可以通过使用逻辑量词来实现。作为一阶谓词演算基础的这两个逻辑量词运算符,一个是存在量词(existential quantifier),记作,读作“there exists”(存在),一个是全称量词(universal quantifier),记作,读作“for all”(对于一切的)。需要使用存在量词的变量在英语中通常表现为一个不确定的名词短语。例1:a restaurant that serves Japanese food near KAIST(KAIST附近的一家供应日式的餐厅)这个名词短语的参照是具有特定性质的某个匿名客体。