主要公开日志

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

• 2023年7月23日 (日) 10:44 Gsxab 留言 贡献创建了页面Skolem范式 （创建页面，内容为“分类:谓词逻辑 {{InfoBox |name=Skolem范式 |eng_name=Skolem normal form }} '''<ins>Skolem</ins>范式'''('''Skolem normal form''')指在前束范式基础上，将存在量词消除为个体常项或全称约束变元的函项，只留下全称量词的形式。与原公式有相同可满足性，但未必等值。 == 定义 == 对前束范式 <math>\mathsf{Q}_1 x_1 \dots \mathsf{Q}_n x_n \phi</math> ，对…”）