主要公开日志

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

• 2023年6月23日 (五) 12:39 Gsxab 留言 贡献创建了页面全称量词 （创建页面，内容为“分类:谓词逻辑 {{InfoBox |name=全称量词 |eng_name=universal quantifier }} '''全称量词'''('''universal quantifier''')是量词的一种，相当于自然语言中的“对所有的……”、“对任意的……”。 == 定义 == {{Identity |name=全称量词 |type=量词 |symbol=<math>\forall</math> |latex=\forall }} 命题中，表达“对所有的……都”的含义的量词，记作 <math>\forall</math> ，称为'''全称量词'''…”）