主要公开日志

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

• 2023年7月22日 (六) 23:27 Gsxab 留言 贡献创建了页面前束范式 （创建页面，内容为“分类:谓词逻辑 {{InfoBox |name=前束范式 |eng_name=prenex normal form |aliases=PNF }} '''前束范式'''('''prenex normal form''', '''PNF''')指谓词公式的一种形式，将全部量化表达式都放在最前面，且这些量词均非否定无取值范围、辖域都覆盖到公式尾部。 == 定义 == 对谓词公式，若其具有形式 <math>\mathsf{Q}x_1 \dots \mathsf{Q}x_n \phi</math> ，其中 <math>\phi</math> 不含…”）