Loading AI tools
来自维基百科,自由的百科全书
在谓词演算中,如果一个公示可以被写为量词在前,随后是被称为母体的无量词部分,则称其为前束范式的,所有经典逻辑公式都逻辑等价于某个前束范式公式。
可以用公式在如下重写规则下的逻辑等价来证实:
进一步推论可得:(可透过改写 为 推论得出)
它们的存在对偶:
这里的 在 中是非自由的,并注意通过这些规则的持续应用所有量词都可以移动到公式的前面。
某些证明演算只处理公式写为前束范式的理论。本概念为研究算数阶层和分析阶层所必需。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.