第5章 谓词演算45.pptVIP

5.4 等词规则 5.4 等词规则 5.4.0 概述 食盐的主要成份是咸的 食盐的主要成份是氯化钠 自然语言中的“是”有两个含意，如前一种表示某事物具有某种性质，后一种表示前后两事物完全一致，即同一 表示同一的“是”即为等词，在逻辑上用“x=y”表示 5.4.1 等词的性质(一) (1)自反性(同一律)：即 x=x，任何事物都和自己等同 (2)对称性：即 x=y→y= x，如果一个对象等同于另一对象，则另一对象也等同于这一对象 (3)传递性：即 x= y∧y= z→x= z，如果两个对象和同一个对象等同，则这两个对象也等同 5.4.2 同一性替换规则(一) 考虑长庚星、太白星和金星是同一颗星的不同名称 “某人以为金星和长庚星是同一颗星”中的“长庚星”是否可替换为“太白星”？ “金星是一太阳系中的一颗行星”中的“金星”是否可替换为“太白星”？ 与前一个语句相似的情况在逻辑上称之为“非外延的语言环境” ，同一性替换不能随便在非外延的语言环境中使用 5.4.2 同一性替换规则(二) 只有同一关系满足外延性原则，即外延性原则是辨别一关系是否逻辑相等关系的标准 外延性原则，对凡是 x 可以出现其中的真语句中都代之以 y，如果代换后的结果仍是真语句，则 x和 y是同一的 外延性原则表示了这样一个极其重要的原理：两个相等的事物可以互换 5.4.2 同一性替换规则(三) 外延性原则进行代换只能在开公式(即没有量词的公式)中进行 同一性替换规则I：如果有开公式S 和 t1= t2，若用 t2对 S 中t1的一处或者多处出现进行替换而得T，并且恒等式 t= t可从空前提的集合中推出来，则T可由以上前提推出 5.4.2 同一性替换规则(四) 规则I的书写： ｛…｝(a) t1=t2 p ｛…｝(b) S(t1…t1…t1) p ｛…｝(b +1) T(t2…t1…t1) (b)(a) I 恒等式的引进： ｛ ｝(n) t1=t1 I ｛ ｝表示空集合，表示这一步不依赖于任何前提，只根据Ⅰ规则 5.4.3 同一性替换范例(一) 例：纵火的那人(a)当时在大楼里(Ex)。如果谁在大楼里，那么他当然在城里(Gx)，如果谁在乡下(Hx)，那么他不在城里。事实上，当时小陈(b)在乡下。所以，小陈不是纵火的那个人 5.4.3 同一性替换范例(二) ｛1｝ (1) Ea P ｛2｝ (2) ?x(Ex→Gx) P ｛3｝ (3) ?x(Hx→?Gx) P ｛4｝ (4) Hb P ｛3｝ (5) Hb→?Gb 3US ｛3, 4｝ (6) ?Gb 4, 5T ｛2｝ (7) Eb→Gb 2US ｛2, 3, 4｝ (8) ?Eb 6, 7T ｛9｝ (9) b=a P ｛2, 3, 4, 9｝ (10)?Ea 8, 9Ⅰ ｛1, 2, 3, 4, 9｝ (11)Ea∧?Ea 1, 10T ｛1, 2, 3, 4｝ (12)b≠a 9, 11T 5.4 等词规则 5.5.0 概述 恒等式 t=t，重言式 A∨?A 等都是永真公式 不依赖于任何前提的永真公式称为逻辑定理 以前学过的推理，都是基于一定的前提来推出所要的结论，而逻辑定理没有前提，怎么来推导呢？ 运用学过的推理规则和方法，可推出没有前提的逻辑定理 5.5.1 逻辑定理证明(一) 逻辑定理总的可分为蕴涵式和非蕴涵式两类 如果是蕴涵式，可将其前件作为假设前提首先引进推理，再运用 CP 规则把假设前提条件销去，从而得证；如果前件作为前提还不够，可引进后件的否定作为第二个前提，然后用间接证明的方法进行证明 如果不是蕴涵式，如：(?y)(?x)(x=y)，可用反证法，即把该公式的否定作为假设前提引进来，然后用间接方法证明 5.5.1 逻辑定理证明(二) 求证(?x)Fx→?(?x)?Fx ｛1｝ (1) (?x)Fx P ｛2｝ (2) (?x)?Fx P ｛3｝ (3) Fa aEP(1) ｛2｝ (4) ?Fa 2US ｛2, 3｝ (5) Fa∧?Fa 3, 4T ｛3｝ (6)?(?x)?Fx 2, 5T ｛1｝ (7)?(?x) ?Fx 6ECP ｛ ｝ (8) (?x)Fx→?(?x) ?Fx 1, 7CP 5.5.1 逻辑定理证明(三) 求证?(?x)?Fx→(?x)Fx ｛1｝ (1) Fx xP ｛1｝ (2) (?x)Fx 1EG ｛ ｝ (3) Fx→(?x)Fx 1, 2CP