第11讲谓词逻辑推理.pptVIP

*第1页，共35页，星期日，2025年，2月5日一阶逻辑等值式(来源)命题逻辑等值式的代换实例与变项命名有关的换名规则代替规则与量词有关的有限个体域量词消去量词否定量词辖域收缩与扩张量词分配相同量词的交换*第2页，共35页，星期日，2025年，2月5日前束范式设φ为一谓词公式，如果φ具有如下形式：

Q1x1Q2x2...QnxnB

其中Qi(1≤i≤n)为?或?，B为不含量词的公式，则称φ为前束范式

*第3页，共35页，星期日，2025年，2月5日前束范式存在定理定理：任意一个谓词公式，都存在着一个等值的前束范式。(注：利用换名规则或代替规则以及上述所提及的等值式可知，任意公式都有其前束范式(存在性)，但并不唯一.)*第4页，共35页，星期日，2025年，2月5日例1?xA(x,y)??yB(y)??xA(x,y)??zB(z)??x?z(A(x,y)?B(z))???xA(x,y)∨?zB(z)??x?A(x,y)∨?zB(z)??x?z(?A(x,y)∨B(z))??x?z(A(x,y)?B(z))*第5页，共35页，星期日，2025年，2月5日一阶逻辑推理规则(定义)推出：A?B读作：A推出B含义：A为真时,B也为真A?B当且仅当A?B是永真式例如：?xF(x)??xF(x)F*第6页，共35页，星期日，2025年，2月5日一阶逻辑推理规则(来源)命题逻辑推理规则的代换实例基本等值式生成的推理规则其他的一阶逻辑推理规则?xA(x)∨?xB(x)??x(A(x)∨B(x))?x(A(x)∧B(x))??xA(x)∧?xB(x)?x(A(x)→B(x))??xA(x)→?xB(x)?x(A(x)→B(x))??xA(x)→?xB(x)?*第7页，共35页，星期日，2025年，2月5日一阶逻辑推理规则(举例)命题逻辑推理规则的代换实例例如:假言推理规则:(A→B)∧A?B代入A=F(a),B=G(a),得到(F(a)→G(a))∧F(a)?G(a)*第8页，共35页，星期日，2025年，2月5日一阶逻辑推理规则(举例、续)基本等值式生成的推理规则即由A?B可得A?B和B?A例如:量词分配等值式:?x(A(x)∧B(x))??xA(x)∧?xB(x)可得?x(A(x)∧B(x))??xA(x)∧?xB(x)?xA(x)∧?xB(x)??x(A(x)∧B(x))*第9页，共35页，星期日，2025年，2月5日一阶逻辑的常用推理规则前提引入、结论引入、置换规则假言推理、附加、化简、拒取式、假言三段论、析取三段论、构造性两难、合取引入US、UG、ES、EG*第10页，共35页，星期日，2025年，2月5日4条新的推理规则全称量词指定规则(US)全称量词引入规则(UG)存在量词指定规则(ES)存在量词引入规则(EG)*第11页，共35页，星期日，2025年，2月5日US规则(universalinstantiation)表示为?xA(x)?xA(x)————或————?A(y)?A(c)注意1:x,y是自由变项；c是个体常项注意2:在A中x不在?y和?y的辖域内自由出现注意3:被消去量词的辖域是整个公式例如(1)?x(F(x)→G(x))前提引入(2)F(a)→G(a)(1)US*第12页，共35页，星期日，2025年，2月5日示例1设解释I为：个体域为全体整数集合，F(x,y)表示xy(1)?x?yF(x,y)前提引入(2)?yF(y,y)(1)US此例错误的原因是违反注意2*第13页，共35页，星期日，2025年，2月5日示例2(1)?xF(x)→G(y)前提引入(2)F(y)→G(y)(1)US设解释I为：个体域为全体自然数集合，F(x)表示x是偶数，G(x)x是奇数此例错误的原因是违反注意3*第14页，共35页，星期日，2025年，