Plural quantification

来自维基百科，自由的百科全书

Found in articles

的是谓词逻辑的一种应用，又指的是形式本体论的一个分支。本体论 Gunk 分體本質論分體虛無主義 Mereotopology Plural quantification Simples Whitehead's point-free geometry （英文） Bunt, Harry, 1985.

空集

Logic and Logic中再次发表）中，小George Boolos认为許多集合論中的結論，也可以透過對个体进行复数量化（英语：Plural quantification）來得到，所以無需把集合具体化為包含其他实体作为元素的实体。 André Weil: Souvenirs d'apprentissage

Found in articles

分体论 (逻辑学)

的是谓词逻辑的一种应用，又指的是形式本体论的一个分支。本体论 Gunk 分體本質論分體虛無主義 Mereotopology Plural quantification Simples Whitehead's point-free geometry （英文） Bunt, Harry, 1985.

空集

Logic and Logic中再次发表）中，小George Boolos认为許多集合論中的結論，也可以透過對个体进行复数量化（英语：Plural quantification）來得到，所以無需把集合具体化為包含其他实体作为元素的实体。 André Weil: Souvenirs d'apprentissage