主要公开日志

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

• 2023年6月23日 (五) 11:54 Gsxab 留言 贡献创建了页面量词 （创建页面，内容为“{{InfoBox |name=量词 |eng_name=quantifier }} '''量词'''('''quantifier''')指命题中约束个体的数量的词汇，包括全称量词<math>\forall</math>和存在量词<math>\exists</math>。 量词总是紧接着一个个体变项，这部分被称为'''量化表达式'''。 量化表达式和所限制的命题共同构成一个命题，这里被限制的命题称为这个量词的'''辖域'''。”）