x离散数学-ch2.pptVIP

解：(1).设：f(x)：x的父亲，P(x)：x是教授，c：周红； 则：P(f(c)) (2).设：I(x)：x是整数，E(x, y)：x=y，f(x)=x2-1，g(x)=(x+1)(x-1)； 则：(任意x)(I(x) →E(f(x),g(x))). * * * 证明：在一阶逻辑中，任何一个公式均可通过等值演算化为前束范式，化解过程如下： (1).消去除￢，∧，∨之外的联结词； (2).反复运用得摩根定律，直接将否定符￢移动到原子公式的前端(量词符后)； (3).换名使各变元不同名； (4).使用谓词的等价公式，将所有量词提到公式的最前端。 * 证明：由定理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是全称量词，则直接用一个变量