前束范式
在谓词演算中，如果一个公示可以被写为量词在前，随后是被称为母体的无量词部分，则称其为前束范式的，所有经典逻辑公式都逻辑等价于某个前束范式公式。
可以用公式在如下重写规则下的逻辑等价来证实：
formula_1
formula_2
formula_3
formula_4
进一步推论可得：(可透过改写 formula_5 为 formula_6 推论得出)
formula_7
formula_8
它们的存在对偶：
formula_9
formula_10
这里的 formula_11 在 formula_12 中是非自由的，并注意通过这些规则的持续应用所有量词都可以移动到公式的前面。
某些证明演算只处理公式写为前束范式的理论。本概念为研究算数阶层和所必需。
前束范式是哥德尔证明他的哥德尔完备性定理的主要工具。
生成维基百科快照图片，大概需要3-30秒！
如果网站内容有侵犯您的版权
请联系：pinbor@iissy.com
请联系：pinbor@iissy.com
Copyright ©2014 iissy.com, All Rights Reserved.