主要公开日志

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

• 2023年6月23日 (五) 09:17 Gsxab 留言 贡献创建了页面谓词 （创建页面，内容为“分类:谓词逻辑 {{InfoBox |name=谓词 |eng_name=predicate |aliases=命题函数 }} '''谓词'''('''predicate''')是指命题中描述某个东西（被称为'''个体对象'''）的性质或某几个东西的关系的部分。 可以被形式化为关系。 <math>n</math> 元关系对应地称为 '''<math>n</math> 元谓词'''。 {{命题逻辑}}”）