离散数学的谓词逻辑详解.pptVIP

命题符号化(翻译)： 将汉语(或其他自然语言)语句翻译成逻辑表达式，这在数学、逻辑编程、人工智能、软件工程以及许多其他学科中都是一项重要的任务。翻译的目的是生成简单而有用的逻辑表达式。 嵌套量词-多个量词 嵌套量词:即一个量词出现在另一个量词的作用域(瞎域)内。如： ?x?y(x+y=0) 注:量词范围内的一切都可以认为是一个命题函数。 若令 Q(x): ?y(x+y=0),则 ?x?y(x+y=0) 可表示为: ?xQ(x）。 理解涉及嵌套量词的语句: 假定变量x和y的论域是所有实数的集合,如下所示语句: ?x?y(x+y=y+x) ?x?y(x+y=0) ?x?y?z(x+(y+z)=(x+y)+z) 将量化当做循环 将量化当做循环(论域非无穷) 如要判定: ?x?yP(x,y)是否为真。先对x的所有值做循环，而对x的每个值再对y的所有值循环。只要碰上一个x值，对这个x值又碰上一个y值使P（x,y)为假，就证明了?x?yP(x,y)为假。 同样，要判定?x?yP(x,y)是否为真，对x的所有值进行循环，对x的每个值，对y的值循环直到找到一个y使P(x,y)为真。 同样，要判定 ?x?yP(x,y)是否为真，需要对x的值循环，直到找到某个x, 这个x对y的所有值循环时P(x,y)部是为真。 ?x ?yP(x,y)是否为真… 谓词逻辑应用实例-逻辑程序设计 有一类重要的程序设计语言使用谓词逻辑的规则进行推理。 例如:Prolog(Programming in Logic),Prolog程序包括一组声明，有两类语句:Prolog事实和Prolog规则。Prolog事实通过指定那些满足谓词的元素来定义谓词。Prolog规则使用Prolog事实定义好的谓词来定义新的谓词。 (主要应用在人工智能方面) 例1,考虑一个Prolog程序，它给出的事实是每门课程的教师和学生注册的课程，程序使用这些事实来回答有关给特定学生上课的教授的查询。 此程序中的Prolog事实可能包含: instructor(chan,math273) instructor(patel,ee222) instructor(grossman,cs301) enrolled(kevin,math273) enrolled(juana,ee222) enrolled(juana,cs301) enrolled(kiko,math273) enrolled(kikoi,cs301) 则一个新的谓词teacher(p,s)表示教授p教学生s，可以用prolog规则来定义: teacher(P,S):-instructor(P,C),enrolled(S,C) (Prolog中用逗号表示谓词的合取) Prolog使用给定的事实和规则回答查询。 如:？Enrolled(kevin,math273) 生成应答 yes ? Enrolled(x,math273) 生成应答 kevin kiko ? teacher(x,jinna) 返回 patel grossman * * 本例也可作如下证明： 前提引入 ES规则，根据（1） 化简，根据（2） 前提引入 US规则，根据（4） 假言推理，根据(3)，(5) 化简，根据（2） 合取，根据（6），（7） EG规则，根据（8） * * 例 2 证明： 苏格拉底三段论“凡人都是要死的，苏格拉底是人， 所以苏格拉底是要死的”。 证明: 结论: D(a) 首先将命题符号化：设 M(x):x是人. D(x):x是要死的. a:苏格拉底. 前提: 证明: Ｐ规则 US规则，（1） Ｐ规则 假言推理，（2），（3） * * 例 3 有些病人相信所有的医生，但是病人都不相信骗子。证明：医生都不是骗子。 证明： 命题符号化：设论域为全域 P(x):x是病人；D(x):x是医生；Q(x):x是骗子；R(x，y):x相信y。 前提：?x(P(x)∧?y(D(y)→R(x，y)))， ?x?y(P(x)∧Q(y)→?R(x，y)) 结论：?x(D(x)→?Q(x)) 证明： * * ?x(P(x)∧?y(D(y)→R(x，y))) 前提引入 P(c)∧?y(D(y)→R(c，y)) ES，(1) ?x?y(P(x)∧Q(y)→?R(x，y)) 前提引入 ?y(P(c)∧Q(y)→?R(c，y)) US，(3) P(c)∧Q(z)→?R(c，z) US，(4) ?(P(c)∧Q(z))∨?R(c，z)