离散数学谓词复习和习题例题解释.pptVIP

温 故 而 知 新 ! 谓词 在句子中，可以独立存在的客体称为个体词，而用以刻划客体的性质或客体之间的关系即是谓词。 表示方法：个体词用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)、将量词中出现的变元以及该量词辖