前束范式27推理理论

1、2-6以前的捆绑范式，2-6.1以前的捆绑范式定义：如果一个正式的韩鼎祥符号全部包含在整个风格的开头，并且其范围延伸到整个公式的结尾，则该公式称为以前的捆绑范式。将a设置为谓词公式。a为(Q1x1)(Q2x2) (Qnxn)B。其中，如果Qi (1in)是或，Xi是对象参数，b是不包含量的谓词公式，则a称为以前的绑定范例。2-6前梁范式，定理2-6.1:任意谓词公式与前梁范式相同。转换方法：转换条件或双条件连接体单词。利用韩鼎祥符号否定等价公式，将否定栽在命题收购和谓词公式之前。改名。使用韩鼎祥符号作用区域的扩展和收缩等值，在前面提到韩鼎祥符号。先前的捆绑组合范式，2-6.2之前的捆绑组合范式

2、定义：wff A被称为先前的捆绑组合范式，前提是存在以下形式：(q 1x 1)(q2x 2)(qnxn)(a 11 a 12a 1k 1)(a 21a 22a 2k 2)(am 1am 2am km)，其中Qi (1in)是或，Xi是对象参数，Aij是原子参数，或者，以前的联合范式，定理2-6.2:每个wff A可以转换为等效的以前的联合范式。转换方法：取消多馀的韩鼎祥符号。更名以消除条件联接词。利用韩鼎祥符号变换公式，将否定植在命题收购和谓词填词式之前。使用韩鼎祥符号作用区域的扩展和收缩等值，在前面提到韩鼎祥符号。以前的捆绑提取范式，2-6.3以前的捆绑提取范式定义：wff A被称为以前的捆

3、绑提取范式，前提是存在以下形式：(q 1x 1)(q2x 2)(qnxn)(a 11 a 12a 1k 1)(a 21a 22a 2k 2)(am 1am 2am km)，其中Qi (1in)是或，Xi是物件变数，Aij是原子引数或，先前的波束提取范式，定理2-6.3:每个wff A可以转换为等效的先前波束提取范式。转换方法如前。示例分析引用了P74示例4，2-7谓词演算的推理理论，在谓词逻辑中，a1 a2，a2，an的有效结论称为a1 a2，a2，An，只有AB是永久性的，(x)F(x) (x)F(x)但是在谓词推理中，前提和结论可能会受到限定词的限制。因此，为了使谓词演算的推理过程像命题演

4、算的推理一样进行，必须在适当的时候使用删除和添加量词的规则。(1)完整命名惯例、完整名称韩鼎祥符号移除惯例，简单地说是US惯例。(x)P(x)P(c)，P是谓词，c是单个域中的任意对象。范例：P76范例、(2)全名一般化规则、全名韩鼎祥符号引入规则，以及简单的UG规则。如果可以证明P(x) (x)P(x)域中每个对象c的命题P(c)成立，则全称推广规则由结论(x)P(x)成立。应用此规则时，必须能够证明前提条件P(x)对于域中每个可能的x都是真的。(3)具有指定的规则，具有韩鼎祥符号删除规则，是ES规则。(x)P(x) P(c)，其中c是域中的部分对象。请注意，指定的物件c套用了非随机指定规则。例如，如果：(x)P(x)和(x)Q(x)均为真，则可以断定某些c和d的P(c)Q(d)必须为真，但不能断定P(c)Q(c)为真，(4)existential general initial ization，还有韩鼎祥符号引入规则。这称为EG规则。P(c) (x)P(x)，其中c是域中的对象，此规则要求特定对象c的P(c)为真时域的P(x)为真。例如，前提条件： (x)(F(x)G(x) F(a)结论： G(a)为： (1) f (a) p (2)第一个ES，下一个US，(1)(x)(f(x)g(x)p(2)f(c)g(c)US(2)(3)(3)(4) c必须位于