上堂课的内容、重点与难点_14663.pptVIP

典型错误 量词后的主联结词错误 将集合名词简单化为常个体. 例如,“人”是集合名词 引入谓词来限定常个体. 例如,“我”是常个体 谓词中含有联结词 3.4.1 真假性 四个因素 (1) 个体域 (2) 自由变元 (3) 谓词变元 (4) 命题变元 例 求前束范式(1) (?x(F(x)?W(a,x)))∧(?x(P(x)?W(a,x)))(2) ?x( (F(x)∨P(x)) ?W(a,x)) 解： (1) 原式=?x?y((?F(x)?W(a,x))?(?P(y)?W(a,y))) (2) 原式=?x(?(F(x)?P(x))?W(a,x)) =?x((?F(x)?W(a,x))?(?P(x)?W(a,x))) =?x(?F(x)?W(a,x))??x(?P(x)?W(a,x)) =?x?y(?F(x)?W(a,x))?(?P(y)?W(a,y)) 例5 (p46)求公式的SKOLEM标准形 ?x(X(x)?(?yY(x，y)??xZ(x))) 解：①先把公式化为前束范式 原式=?x(X(x)?(??yY(x，y)??xZ(x))) =?x(X(x)?(?y?Y(x，y)??xZ(x))) =?x(X(x)?(?y?Y(x，y)??uZ(u))) =?x?y?u(X(x)?(?Y(x，y)? Z(u))) ②化为SKOLEM标准形 原式=?y?u(X(a)?(?Y(a，y)? Z(u))) =?y(X(a)?(?Y(a，y)? Z(f(y)))) 本堂课的内容、重点与难点 谓词演算公式的等值公式 Skolem标准形的步骤 量词作用域收缩 同真假性的理解、永真公式的运用 全称量词、存在量词 自由变元、约束变元 真假性、成真解释、成假解释 永真性、可满足性、同真假性 前束范式、Skolem标准形 3.53.10 作业05 补1 试把下列语句翻译为谓词演算公式 （1）某些人喜欢所有明星； （2）并非所有人均喜欢电脑游戏； （3）任何人均不喜欢杂草； （4）我为人人，人人为我。 (08、09级期末，两个6分） 补2 讨论下述公式的永真性与可满足性 ?x(A(x)∨B(x))?(?xA(x)∨?xB(x)) 函数就是映射。不必考虑这里所用的函数是否严格的定义（即对于每个元素，是否有像存在？） 例如： 定义y=mother(x), 对于一个有限个体域，不能严格定义这样的mother()函数。 *  * * ?与A(x)有何关系? 注意 自由出现的变元可以在量词的作用域中出现，但不受相应量词的约束，所以有时我们把它看作是公式中的参数。 特例，若公式中无自由变元，公式即为命题。 之所以可以这样做，是因为一个公式的约束变元所用的符号跟公式的真假是无关的。譬如，公式?xA(x)和公式?yA(y)具有相同的意义。 先把式子x2+2直接代入原式观察结果 ?x(A(x，x2+2)??y(B(x，y)?C(z))) 显然代入式中的x2中的x本应为自由变元，而现在受全称量词?x约束，改变了约束关系，因此是一种非法代入。 采用直接代入，查看结果： ?x(?yD(x，y，y，x)??y(B(x，y)?C(z))) 显然代入式中的x本应为自由变元，代入后受?x约束，改变了约束关系；原式中的y本是自由变元，代入后受?y约束，改变了约束关系，因此是一种非法代入 * 注意: 对有限的个体域, 上述各公式的验证是容易的. 有限域上一个公式的永真性和可满足性依赖于个体域中个体的数目，与个体的内容无关，因此要讨论一公式?在任何k个个体域上的永真性和可满足性，只要讨论公式?在个体域I={1，2，3，…，k}上的永真性和可满足性即可。 利用上页的公式，可以验证两者等价。 P?Q=(?P?Q) ?(P? ? Q) 或 P?Q=(P ? Q) ? (? P ? ? Q) n元与全称量词有关 由?x?y?u可以看到， 在?x前没有全称量词，引入SKOLEM常量a 由?y?u可以看到，在?u前有全称量词，引入SKOLEM函数 f(y) * (1) p→(q→p) (2) ?(p→q)∧q * (2) 自由变元 例 设A(e)表示e为偶数，考察 A(y) 当y取1时，其值为F； 当y取2时，其值为T。 (3) 谓词变元