主要公开日志

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

• 2023年6月24日 (六) 05:10 Gsxab 留言 贡献创建了页面谓词公式 （创建页面，内容为“分类:谓词公式 {{InfoBox |name=谓词公式 |eng_name=predicate formula |aliases=谓词合式公式,predicate well-formed formula,合式公式,well-formed formula,WFF,公式,formula }} '''谓词公式'''指由个体变项、个体常项、函项、谓词、量词及逻辑联结词构成的形式合理的表达式。 == 定义 == '''谓词合式公式'''('''predicate well-formed formula''')，简称'''合式公式'''('''well-formed formula'''，缩写…”）