主要公开日志

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

• 2023年9月2日 (六) 13:30 Gsxab 留言 贡献创建了页面谓词公式分类 （创建页面，内容为“分类:谓词逻辑 {{InfoBox |name=有效式 |eng_name=effective formula }} {{InfoBox |name=不可满足式 |eng_name=unsatisfiable formula }} {{InfoBox |name=可满足式 |eng_name=satisfiable formula }} 根据谓词公式在全部解释和赋值下的真值，可以将谓词公式分为以下几类。 * '''有效式'''('''effective formula''')：任何赋值下，谓词公式的真值都…”）