离散数学-第二章-谓词逻辑-4-6节.pptVIP

2-4 变元的约束 一、指导变元、辖域、约束出现、自由出现 辖域：紧接在量词后面的谓词公式，即量词的作用范 围称之为量词的作用域或辖域。 约束变元/指导变元/作用变元：在量词的辖域内，且在量词后面出现的变元。 约束出现：在(?x)和(?x)的辖域中，x的所有出现。 自由变元：不受量词约束的变元。 自由出现：A中不是约束出现的其他变元。 例 确定以下公式各量词的辖域以及各客体变量为自由变元还是约束变元。 （1）(?x)(?y)(P(x, y)∨Q(y, z))∧(?x)R(x,y) P(x, y)、Q(y, z)中的x, y为约束变元，z为自由变元，R(x,y)中的x为约束变元，但y为自由变元。 对约束变元和自由变元的说明 (1)对约束变元用什么符号表示无关紧要。 就是说(?x)A(x)与?yA(y)是一样的。这类似于计算积分与积分变元无关，即积分∫f(x)dx 与∫f(y)dy 相同。 (2)一个谓词公式如果无自由变元，它就表示一个命题。 例如：A(x)表示x是个大学生。(?x)A(x)或者(?y)A(x)就是命题，因为它们分别表示命题“有些人是大学生”和“所有人都是大学生”。 谓词公式中有自由变元，则为命题函数。 对约束变元和自由变元的说明（续） 3、P(x1,x2,…,xn)是 n 元谓词,有 n 个独立的自由变元。若对其中 k 个变元进行约束，则成为 n-k 元谓词。 若对n个变元进行约束即没有自由变量出现则成为0元谓词，即成为命题。 变元混淆 二、约束变元换名和自由变元代入 1、约束变元的换名规则： 含义：对约束变元更改名称。 改名的范围是：该变元在量词及该量词的辖域中的所有出现必须一起更改。 改名的规则：改名时用的客体变元名称不能与该量词辖域内的其它变元名称相同。 例如 (?x)(P(x)→Q(x,y))∨(R(x)∧A(x)) x以两种形式出现。可以对约束变元x改名。 (?z)(P(z)→Q(z,y))∨(R(x)∧A(x)) 2、对自由变元的代入规则： 含义：对自由变元更换名称。 改名的范围是：对整个公式中出现该自由变元的每一处进行更改。 改名的规则：对该自由变元可用客体常量或用与原公式中所有客体变元不同的客体变元去更改。 上例 (?x)(P(x)→Q(x,y))∨(R(x)∧A(x))对自由变元x作代入，改成 (?x)(P(x)→Q(x,y))∨(R(z)∧A(z)) 改名规则和代入规则的关系 相同点：不改变约束关系。 不同点： (1)实施对象不同 换名规则是对约束变元实施的， 代入规则是对自由变元实施的。 (2)实施范围不同 换名规则可对公式中一个量词及其作用域内实施，即只对公式的一个子公式实施； 代入规则是整个公式的同一自由变元都实施。 (3)实施后结果不同 换名后，公式含义不变，因为约束变元只改名为另一个客体变元，约束关系不改变，约束变元不能改名为客体常量； 代入后，不仅可用另一个客体变元进行代入，并且也可用客体常量去代入，从而使公式由具有普遍意义变为仅对该客体常量有意义，即公式的含义改变了。 例 对以下公式分别利用换名和代入规则改写 例(?x)(A(x)∨B(x,y))∨C(x)∨ D(x,w) 换名： 小结 作业 65页 (4) b) (5) a) 2-5 谓词演算的等价式和蕴含式 要求：理解谓词公式赋值、等价、有效（永真）、不可满足、可满足等概念，掌握一些谓词演算的等价式和蕴含式。 重点：谓词公式的等价和永真。 难点：多个量词的使用。 一、对谓词公式赋值 定义：对公式中的变量制定具体的常量去替代。 将命题变元，用确定的命题代替， 对公式中的客体变元用个体域中的客体代替， 这个过程就称之为对谓词公式作指派，或者 称之为对谓词公式赋值或解释。 例如公式 P→N(x) N(x)：x是自然数，个体域为实数集合R， 赋值：令P：21， x=4时，公式为P→N(4)，真值是“真”。 谓词公式经过赋值以后，成为具有确定真值的命题。 带量词的公式在个体域内的展开式 个体域有限时,去掉量词公式，当个体域有限时，如个体域D={x1,…，xn},由量词意义可知，对任意A(x),都有: 1. (?x) G(x)?G(x1)∧G(x2)∧......∧G(xn) 2. (?x) G(x)?G(x1)∨G(x2)∨......∨G(xn) 例 对以下公式赋值后求真值。 (?x)(P(x)→Q(f(x),a)) (?x)(P(x)∧Q(x,a)) 其中，个体域D={1，2}，a=1 二、谓词合式公式的分类 定义2-5.1： A在个体域E上是永真的（有效