离散第14，15讲 谓词演算永真式(上,下).pptVIP

第14讲 谓词演算永真式 理工大学指挥自动化学院 量词嵌套语句的谓词形式化 每个人都有些缺点 M(x): x是人；F(x): x是缺点；H(x,y):x有y ?x (M(x)→ ?y(F(y)∧H(x,y))) 每个人都有人爱，但没有人为所有人爱 M(x)：x是人，L(x,y)：x爱y ?x (M(x)→?y(M(y)∧L(y,x)))∧ ┐?x (M(x)∧?y(M(y)→L(y,x))) 有且仅有一个偶质数 P(x)：x是偶数；Q(x)：x是质数 ?!x(P(x)∧Q(x)) ?x(P(x)∧Q(x)∧?y(P(y)∧Q(y)→x=y)) ?x(P(x)∧Q(x))∧?x?y(P(x)∧Q(x)∧P(y)∧Q(y) →x=y) -*- 第14讲 谓词演算永真式 量词嵌套语句的谓词形式化 并不是火车都比汽车跑的快，有的汽车比有的火车跑的快 T(x): x是火车；C(x): x是汽车；F(x,y):x比y快 ┐?x (T(x)→?y(C(y)→F(x,y))∧?x(C(x)∧?y(T(y)∧F(x, y) ┐?x?y(T(x)∧C(y)→F(x,y))∧?x(C(x)∧?y(T(y)∧F(x, y) 有位妇女已搭乘过世界上每一条航线上的航班 W(x)：x是妇女；L(x)：x是航线；F(x)：x是航班 Q(x, y)：x是y航线上的航班； P(x, y)：x搭乘过y航班 ?x(W(x)∧?y(L(y)→?z(F(z)∧Q(z,y)∧P(x, z)))) -*- 第14讲 谓词演算永真式 PowerPoint Template_Sub 1 谓词演算基本概念 2 谓词演算永真式 谓词演算永真式（上） 《离散数学》第14讲 Page 54 to 56 回顾 (p∧q)∨r (p ∨q∨r) ∧(p∨┐q∨r) ∧(┐p∨q∨r) (0,0,0) (0,1,0) (1,0,0) ?xL(x2,y) 个体域：实数域 L(x,y)：x ≥ y 当y=0时，为真；当y≠0时，为假； 指派决定命题公式真值 只有在给定了个体域和谓词的意义，再给每一自由变元都指定一个具体的个体之后，谓词公式成为关于个体域的一个命题，才可判定其真值 -*- 第14讲 谓词演算永真式 回顾 ?x(f(x) = a)∧y=1 个体域：实数域 函数f：f(x) = x2 个体常元a：a = 5 个体变元y：y = 1 真 个体域：实数域 函数f：f(x) = x2 个体常元a：a = ﹣2 个体变元y：y = 1 假 个体域：实数域 函数f：f(x) = x3 个体常元a：a = ﹣2 个体变元y：y = 1 真 当公式中出现函数和个体常元时，还必须确定函数的意义和常元的取值，才能确定谓词公式的真值 -*- 第14讲 谓词演算永真式 回顾和展望 下午马芳或去看电影或去游泳。她没去看电影。所以，她去游泳了 p:马芳下午去看电影; q:马芳下午去游泳 前提： p∨q， ┐p 结论： q (p∨q)∧┐p┝ q， (p∨q)∧┐p→q为永真式 所有人都是要死的，苏格拉底是人，那么苏格拉底也是要死的 M(x): x是人；D(x): x是要死的 前提： ?x(M(x)→D(x)),M(Socrates) 结论： D(Socrates) ?x(M(x)→D(x))∧M(Socrates)┝D(Socrates) ? ?x(M(x)→D(x))∧M(Socrates)→D(Socrates) 为永真式? -*- 第14讲 谓词演算永真式 解释与谓词公式的真值 定义：将公式中的谓词、函数符号、常元符号对应于个体域上具体的性质、关系、函数、对象，这种对应关系称为解释，常用大写字母I表示 I恒把命题常元解释为真值0或1 谓词公式真值的确定 确定个体域 给定一个解释（谓词、函数符号、常元符号） 将自由变元指派到个体域中具体的个体 -*- 第14讲 谓词演算永真式 谓词公式的真值 个体域 D1={3, 4} D2={3, 5} 个体域 解释 指派 P(x) ?yP(y) ?yP(y)→P(x) D1 I 1 x=3 x=4 I 2 x=3 x=4 D2 I 1 x=3 x=5 I 2 x=3 x=5 解释 I 1：P(x)表示x是质数 I 2：P(x)表示x是合数 -*- 第14讲 谓词演算永真式 谓词公式的真值 个体域 D1={3, 4} D2={3, 5} 个体域 解释 指派 P(x) ?yP(y) ?yP(y)→P(x) D1 ={3, 4} I 1 ：P(x)表示x是质数 x=3 x=4 1 0 1