离散数学谓词复习和习题例题讲解解析.ppt

温 故 而 知 新 ! 谓词 在句子中，可以独立存在的客体称为个体词，而用以刻划客体的性质或客体之间的关系即是谓词。 表示方法：个体词用a,b,c,...x,y,z,a1,a2,a3等表示，谓词用A,B,C,...P，Q，R,…,A1,A2,A3,…,等表示。 量词的定义 定义6.3(?x)称为全称量词。(?x)为存在量词,其中的x称为作用变量。一般将其量词加在其谓词之前，记为(?x)F(x),(?x)F(x)，此时，F(x)称为全称量词和存在量词的辖域。 全总个体域 对于全称量词，刻划其对应个体域的特性谓词作为蕴涵的前件加入。 对于存在量词，刻划其对应个体域的特性谓词作为合取式之合取项加入。 原子公式和谓词演算的合式公式 定义6.8满足下列条件的表达式，称为合式公式,简称公式。 自由变元和约束变元 辖域：紧接于量词之后最小的子公式 公式G称为有效公式或永真，如果G在它所有的解释I下都取值为“真”。 公式G称为矛盾公式或永假或不可满足，如果G在它所有的解释I下都取值为“假”。 公式G称为可满足公式，如果至少有一种解释I使得G取值为“真”。 等价关系与蕴涵关系 定义 公式G，H称为等价的，记为G＝H，如果公式G?H是恒真的。 公式G永真蕴涵公式H，记为G?H，如果公式G→H是恒真的。 几个规则 规则1(约束变元的改名规则)：1.6 1)、将量词中出现的变元以及该量词辖域中此变量之所有约束出现都用新的个体变元替换。 2)、新的变元一定要有别于改名辖域中的所有其它变量。 规则2(自由变元的代入规则)：1.7.3 1)、将公式中出现该自由变元的每一处都用新的个体变元替换。 2)、新变元不允许在原公式中以任何约束形式出现。 改名规则和代入规则之间的共同点都是不能改变原有的约束关系，而不同点是： （1）施行的对象不同：改名规则是对约束变元施行，代入规则是对自由变元施行； （2）施行的范围不同：改名规只可以只对公式中的一个量词及其辖域内施行，即只对公式的一个子公式施行；而代入规则必须对整个公式同一个自由变元的所有自由出现同时施行，即必须对整个公式施行； （3）施行后的结果不同：改名后，公式含义不变，因为约束变元只改名为另一个个体变元，约束关系不改变，约束变元不能改名为个体常量；代入后，不仅可用另一个个体变元进行代入，并且也可用个体常量去代入，从而使公式由具有普遍意义变为仅对该个体常量有意义，即公式的含义改变了。 1.8谓词演算的推理规则 量词这四条重要推理规则只能对前束范式使用 一、有关全称指定规则US的正确使用 有关规则US，实际可有两种书写形式：  (?x)G(x)?G(y) ①  (?x)G(x)?G(c) ② 二、有关存在指定规则ES的正确使用 x是G(x)中自由出现的个体变量。在G(x)中，变元x的每一次自由出现都用相同的个体常量c代入。 c是使G(x)为真的特定的个体常量。 G(x)中除x以外，若还有其它自由出现的个体变量时，则不能使用此规则。 三、有关全称推广规则UG的正确使用 G(y)?(?x)G(x) ④ ④成立的条件和限制是： 四、有关存在推广规则EG的正确使用 该规则有两种形式： G(c)?(?x)G(x) ⑤ ⑤成立的条件和限制是： 例： 证明下述论断的正确性： 所有的哺乳动物都是脊椎动物； 并非所有的哺乳动物都是胎生动物； 故有些脊椎动物不是胎生的。 解：设谓词如下： P(x)：x是哺乳动物； Q(x)：x是脊椎动物； R(x)：x是胎生动物。 则有： 请看下面推导： ?(?x)(P(x)?R(x)) P ?(P(x)?R(x)) US,1) ?(?P(x)∨R(x)) T,2)，E (P(x)∧?R(x)) T,3),E P(x) T,4),I ?R(x) T,4),I (?x)(P(x)?Q(x)) P P(x)?Q(x) US,7) Q(x) T,(5),(8),I Q(x)∧?R(x) T,6),9),I (?x)(Q(x)∧?R(x)) EG,10) (?x)(Q(x)∧?R(x)) UG,10) 证明： ?(?x)(P(x)?R(x)) P (?x)?(?P(x)∨R(x)) T,1),E ?(?P(c)∨R(c)) ES,2) (P(c)∧?R(c)) T,3),E P(c) T,4),I ?R(c) T,4),I (?x)(P(x)?Q(x)) P P(c)?Q(c) US,7) Q(c) T,5),8),I Q(c)∧?R(c) T,6),9),I (?x)(Q(x)∧?R(x)) EG,10) 例：证明下述论断的正确性 所有爱学习、有毅力的人都有知识；