13谓词逻辑解读.ppt

例2-18证明 证明： （1） （2） （3） （4） （5） （6） （7） （8） （9） （10） P ES(1) T(2)I1 P US(4) T(3)(5)I11 假言推论 T(6)I1 化简公式 T(2)I2 化简公式 T(7)(8)I9 EG (9) 例2-18证明 注意：使用同一个个体进行全称指定和存在指定时，必须先做存在指定，后做全称指定。因为使存在量词辖域中的谓词公式为真个体，在全称指定中肯定为真，反之则不然。 上述述问题若推理如下： 证明： （1） P （2） US(2) （3） P （4） US(3) （5） …… 这个推证是错误的，因为使 为真的 个体， 不见得为真。 例2-19证明 证明： （1） （2） （3） （4） （5） （6） （7） P US (1) T (2)E11 联结词归化 P US (4) T (3)(6)I11 假言推论 EG (6) 例2-20计算机学会的所有成员中，若不是硬件专家便是软件专家. 所有硬件专家擅长电路设计，擅长电路设计的人一定精通电子学，计算机学会中有人不懂电子学。因此，计算机学会中有软件专家。论域计算机学会成员。 解 论域D：计算机学会全体会员 为硬件专家。 为软件专家。 擅长电路设计。 精通电子学。 命题形式化为： 证明： （1） （2） （3） （4） （5） （6） （7） （8） （9） （10） （11） （12） P ES (1) P US (3) T (2)(4)I12 拒取式 P US (6) T (5)(7)I12 拒取式 P US (9) T (8)(10)I11 假言推论 EG (11)  第二章 谓词逻辑 第四讲 　　　两个谓词公式的个体变元必须有相同的个体域才能讨论其是否等价。 回 顾 定义2-13 两个有相同个体域E的谓词公式A和B， 若对两个谓词公式所有变元的任一组赋值，所得 命题真值相同，则称这两个谓词公式在指定个体 域E上等价。记为 。 （一）命题公式的推广 （二）量词转换律 我们将否定符移到量词后面时，全称量词变为存 在量词，存在量词变为全称量词。反之，量词后 面的否定符移到量词的前面时，也要作相应的改 变，这种量词与否定的关系是普遍成立的，人们 习惯称之为量词转换律 （三）量词辖域的扩张和收缩 （1）