5.3 一阶逻辑推理理论.pptVIP

5.3一阶逻辑推理理论基本推理定律关于量词分配的推理定律(p75)1)?xA(x)??xB(x)??x(A(x)?B(x))2)?x(A(x)?B(x))??xA(x)??xB(x)3)?x(A(x)?B(x))??xA(x)??xB(x))4)?x(A(x)?B(x))??xA(x)??xB(x))？5)?x(A(x)?B(x))??xA(x)??xB(x)) 这些都是可证明的。关于量词的推理规则全称量词消去规则(?-)?xA(x)?A(y)或?xA(x)?A(c)全称量词引入规则(?+)A(y)??xA(x)存在量词引入规则(?+)A(c)??xA(x)存在量词消去规则(?-)?xA(x)?A(c)一阶逻辑自然推理系统F定义：自然推理系统F字母表：同一阶语言的字母表；合式公式：同一阶语言的合式公式；推理规则：1)前提引入规则(P规则)：在证明的任何步骤上，都可引入前提。2)结论引入规则(T规则)：在证明的任何步骤上，所证明的结论都可以作为后续证明的前提，在后续证明中引用。自然推理系统F3)置换规则：在证明的任何步骤上，谓词公式的子公式都可以用与它等值的其它公式置换。4)假言推理规则：A?B,A?B5)附加规则：A?A?B6)化简规则：A?B?A7)拒取式规则：A?B,?B??A8)假言三段论：A?B,B?C?A?C自然推理系统F9)析取三段论规则：A?B,?B?A10)构造性二难规则：A?B,C?D,A?C?B?D11)合取引入规则：A,B?A?B12)?-规则；13)?+规则；14)?+规则；15)?-规则。其中1)~11)同命题逻辑的推理规则A,B,C,D为任意谓词公式。例，证明苏格拉底三段论“凡人都是要死的，苏格拉底是人，所以苏格拉底是要死的”证明：令P(x):x是人；D(x):x是要死的； a:苏格拉底前提：?x(P(x)?D(x))，P(a)结论：D(a)①?x(P(x)?D(x)) 前提引入②P(a)?D(a) ①?-③P(a) 前提引入④D(a) ②③假言推理证明:①?x(F(x)?R(x)) 前提引入②F(c)?R(c) ①?-③?x(F(x)?G(x)?H(x)) 前提引入④F(c)?G(c)?H(c) ③?-⑤F(c) ②化简规则⑥G(c)?H(c) ④⑤假言推理⑦G(c) ⑥化简规则⑧F(c)?R(c)?G(c) ②⑦合取引入⑨?x(F(x)?R(x)?G(x)) ⑨?+说明推导中既用?-，又用?-，则必须先用?-，后用?-，才可使用相同常量名，反之不行。 ?xP(x)?P(a) ?xQ(x)?Q(a) 如上例②④，反过来不一定成立。例：构造下面推理的证明(p81,21)

前提：??x(W(x)?C(x)),?x(B(x)?W(x))

结论：?x(B(x)??C(x))①??x(W(x)?C(x)) 前提引入②?x(?W(x)??C(x)) ①置换③?x(W(x)??C(x)) ②置换④W(y)??C(y) ③?-⑤?x(B(x)?W(x)) 前提引入⑥B(y)?W(y) ⑤?-⑦B(y)??C(y) ⑥④假言三段论⑧?x(B(x)??C(x)) ⑦?+说明推导中连续使用?-规则可用相同变量名。 ?xP(x)?P(y),?xQ(x)?Q(y) 如前④⑥只能对前束范式使用4条规则 如??x(W(x)?C(x)),不能使用?-规则; 转换后使用?-规则。总结量词辖域的收缩扩张等值式对?与?：名字不冲突可自由伸缩对?：前件含量词时，需转换总结2.关于量词的推理规则?-,?+,?+规则：引入变量时，名字不要与作用域内的变量重名;?-规则：不含其它个体变量;只能对前束范式使用4条规则;推导中连续使用?-规则时，使用一次更改一个常量名。习题关于量词分配的推理定律习题五(p81)19第二部分集合论集合论是现代数学的理论基础。由于集合论的语言适合于描述和研究离散对象及其关系，所以是计算机科学与工程的理论基础。在程序设计、关系数据库、形式语言和自动机理论等学科领域中都有重要的应用。第六章集合代数

集合的基本概念集合、元素、子集、真子集、包含、集合相等、空集、幂集、全集集合(set)的概念定义：由确定的相互区别的一些对象组成的整体称为集合。例：教室内的桌椅、图书馆的藏书、全国的高等学校、自然数的全体、直线上的点、26个英文字母等。元