主要公开日志

所有GSXAB的知识库公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2023年6月23日 (五) 13:32 Gsxab 留言 贡献创建了页面计数量词 （创建页面，内容为“分类:谓词逻辑 {{InfoBox |name=数量词 |eng_name=numerical quantifier |aliases=numeric quantifier,counting quantifier }} {{非标准称呼}} '''数量词'''('''numerical quantifier''')是量词的一种，包括相当于自然语言中的“有（恰好、至多、至少） <math>N</math> 个不同的……满足……”。 == 定义 == 命题中，表达“存在恰好 <math>N</math> 个不同的……使得……”的含义的量词，记作…”）