第二章谓词逻辑.pptVIP

* 证明：由定理2.2知，公式G必有与之等价的前束范式，设G的前束范式为：G=(Q1x1)(Q2x2)…(Qnxn)M(x1,x2, …xn) (1).如果Qi是存在量词，且Qi的左边没有全称量词，则直接用一个常量符号a来取代xi在M中的一切出现，且该a不同于M中的任何其他常量符号； (2).如果Qi是存在量词，且Qi的左边有全称量词(任意xj)，(任意xl)，…(任意xk)，则直接用一个函数f(xj, xl, …xk)来取代xi在M中的一切出现，该函数符号f不同于M中的任何其他函数符号； (3).如果Qi是全称量词，则直接用一个变量符号x来取代xi在M中的一切出现，且该变量x不同于M中的任何其他变量符号： (4).反复使用上述(1), (2), (3)，可消去前束范式中的所有存在量词的全称量词，此时得到的公式为该公式的Skolem标准形，且该标准形显然不于原公式等价。 * 2.4 一阶逻辑的推理 (4).在推理过程中，如既要使用UI规则，又要使用EI规则消去量词，而且选用的个体是同一个符号，则必须先使用规则EI，再使用规则UI； (5).如果一个变量是用规则EI消去量词，对该变量在添加量词时，则只能使用规则EG，而不能使用规则UG，如使用规则UI消去量词，对该变量在添加量词时，则可使用规则EG和UG。 2.4 一