.9.2 谓词逻辑的等价式和蕴涵式.pptVIP

* §9.2 谓词逻辑的等价式和蕴涵式 9.2.1 谓词公式的永真、永假与可 满足 谓词公式?x (P(x)∨Q(y))∧R (R为命题变元) 若在某一个体域中， 给个体变元x, y一个取值， 命题变元R一个真值，则可得该 谓词公式的真值，称为一个赋值 谓词公式的所有赋值可分为 永真，永假，可满足 永真 定义 给定个体域D及谓词公式A 如果对A的所有赋值谓词公式A都 为真，则称A在D上永真。 例如，若M(x)：x是人 D(x)：x是要死的，则 ?x(M(x)→D(x)) 在全总个体域上永真 ?xD(x)在人类个体域上永真 P(x,y)∨?P(x,y) 对任何个体域永真 永假 定义 给定个体域D及谓词公式A 若对A的所有赋值，谓词公式A都 为假，则称A在D上永假。 可满足 定义 给定个体域D及谓词公式A 若对A的所有赋值，谓词公式A有 的为真，有的为假，则称A在D上 可满足。 例 设个体域为整数集， P(x,y)：x+y=1 说明下列命题的真假性。 (1) ?x ?y P(x,y) 解 (1) ?x ?y P(x,y) 表示：对任意的整数x, 存在整数y 使得x+y=1。 此命题为永真，真值为1 (2) ? x ?yP(x,y) 解 (2) ? x ?yP(x,y) 表示存在整数x,使对任意的整数y 都有x+y=1。 此命题为永假，真