离散数学课件：2-2 谓词公式.ppt

谓词公式中括号的使用 最外层括号可以省略； 若量词后面接原子谓词公式，则括号省略； 例如，(?x)(P(x))总是写为(?x)P(x). 若量词后面接非原子谓词公式，则括号不能省略. 例如，(?x)(P(x) ?Q(x))不能写为(?x)P(x) ?Q(x). 指导变元：把?x或?x中的变元x叫做相应量词的指导变元（或作用变元）. 作用域：把紧跟在?x或?x后面并用圆括号括起来的公式，或者没有圆括号括着的原子公式，称为相应量词的作用域（或辖域）. 变元的约束 约束变元：在量词作用域中出现的、与指导变元相同的变元. 相应变元的出现，称为约束出现. 自由变元：除约束变元外的一切变元.相应变元的出现称为自由出现. 约束变元换名规则 换名的原因：为了避免一个变元既是自由变元又是约束变元可能引起的混淆. 比如： (?x)P(x) ?Q(x) 容易在含义上误会为 (?x)(P(x) ?Q(x)) 换名规则：一个公式中的约束变元可以更改如下： 若要换名，则该变元在量词的指导变元及其作用域中的所有出现均需一起改变，其余部分不变. 换名时所选用的符号必须是量词作用域内未出现的符号，最好是公式中未出现的符号. 自由变元代入规则 自由变元的代入，即自由变元的改名. 自由变元代入规则： 对于谓词公式中的自由变元可以代入，代入时需要对公式中出现该自由变元的每一处进行代入. 用以代入的变元与原公式中所有变元的名称不能相同. 谓词公式的类型 给定任意谓词公式A，其个体域为E，如果对于A的所有赋值， A都为真，则称A有效或永真； A都为假，则称A永假或不可满足； A至少在一种赋值下为真，则称A可满足. * * 原子谓词公式：不出现命题联结词和量词的命题函数. 例如，A(x1, x2,…, xn)，其中x1, x2,…, xn为客体变元或常量。 谓词公式(谓词演算的合式公式) ： (1)原子谓词公式是合式公式； (2)若A和B是合式公式，则? A, (A ? B), ( A ? B), (A ? B), (A ? B)都是合式公式； (3)若A是合式公式，x是A中出现的客体变元，则 (?x)A和(?x)A是合式公式 ； (4)当且仅当能够有限次地应用(1), (2)和(3)生成的公式是合式公式. 二、谓词公式 (一) 谓词公式的概念 二、谓词公式 尽管有人聪明，但未必一切人都聪明. （设M(x): x是人. P(x): x聪明.） (2) 在数学分析中极限定义为：任給小正数?，则存在一个正数?，使得当0|x-a| ?时有|f(x)-b|?.此时即称 . (3) 对每两个点，有且仅有一条直线通过该两点. （设P(x): x是一个点. L(x): x是一条直线. R(x, y, z): z通过x和y. E(x, y): x=y.） 例2.2.1 用谓词公式表示下列命题： 二、谓词公式 解： (?x)(M(x) ? P(x)) ?? ((?x)(M(x)?P(x))) (??) (P(?, 0) ? (??)(P(?, 0)? (?x)(P(|x-a|, 0) ? P(?, |x-a|)? P(?, |f(x)-b|)))) 解： 尽管有人聪明，但未必一切人都聪明. （设M(x): x是人. P(x): x聪明.） (2) 在数学分析中极限定义为：任給小正数?，则存在一个正数?，使得当0|x-a| ?时有|f(x)-b|?.此时即称 . 设P(x, y): x大于y, 则 可表示为 二、谓词公式 或(??) (??)(?x)(P(?, 0) ? (P(?, 0)?(P(|x-a|, 0) ? P(?, |x-a|)? P(?, |f(x)-b|)))) 解： (?x)(?y)((P(x) ? P(y) ? ? E(x, y)) ? (?! z )(L(z) ? R(x, y, z) )) (3) 对每两个点，有且仅有一条直线通过该两点. （设P(x): x是一个点. L(x): x是一条直线. R(x, y, z): z通过x和y. E(x, y): x=y.） 符号“?!”表示“有且仅有一个”. (?!x)P(x)表示：“存在唯一的x使P(x)为真.” 二、谓词公式 (二) 变元的约束 比如， (?x)(P(x) ?Q(x)) 指导变元x的作用域是 P(x) ?Q(x). 二、谓词公式 比如， (?x)P(x) ?Q(x) 其中P(x)内的x是约束变元， 而Q(x)内的x是自由变元. 二、谓词公式 二、谓词公式 例2.2.2 对下列谓词公式中的约束变元进行换名： (1) (?x)P(x) ?Q(x) 解： (1) (?x)P(x) ?Q(x) ?