prenexe是啥意思

阿九

前束范式
在谓词演算中，一个公式是前束范式的，如果它可以被写为量词在前，随后是被称为矩阵的非量化部分的字符串。所有一阶公式都逻辑等价于某个前束范式公式。

可以用公式在如下重写规则下的逻辑等价来证实：



它们的存在对偶：



这里的 x 在 Q 中是自由的，并注意通过这些规则的持续应用所有量词都可以移动到公式的前面。

某些证明演算只处理公式写为前束范式的理论。对于开发算术层次和分析层次这个观念是基本的。

前束范式是哥德尔证明他的哥德尔完备定理的主要工具。

apang

真够吓人， 我是一个字都不懂， 厉害 ！！

tina0456

:11600:  这个你也会，阿九你也真神，偶像阿 :10600:

阿九

:10900: :10900: 我要是懂这个就叫神九了。。。。

miam

原帖由 阿九 于 2007-12-22 22:57 发表
前束范式
在谓词演算中，一个公式是前束范式的，如果它可以被写为量词在前，随后是被称为矩阵的非量化部分的字符串。所有一阶公式都逻辑等价于某个前束范式公式。

可以用公式在如下重写规则下的逻辑等价来证实：
http://upl ...

bravo!!! je n'y pige que dalle.

Sacha_0219

啊⋯⋯ 阿九，原来你就是传说中的神九！！！:11600:

郁ai娇

复杂啊~~~~~~~~~~~~~

coolbank

想起我刚刚挂掉的数学考试了。。。

jimmy7788

原帖由 coolbank 于 2007-12-23 14:14 发表
想起我刚刚挂掉的数学考试了。。。

ring

喜欢九姐姐

coolbank

原帖由 jimmy7788 于 2007-12-23 20:42 发表

不许取笑我。。

noischi

wiki, google, answers

阿九

原帖由 noischi 于 2007-12-24 15:41 发表

wiki, google, answers

fallait pas révéler mon secret...

86MoonLight

holàlà chapeau 阿九, tu es vraiment trop fort!!