gaodengshuxue课件.pptVIP

小结： 等价式与蕴含式 前束范式 推理规则 作业 3 4 * 例4 例4 构造下述推理证明 前提：?x F(x) ? ?x G(x)； 结论：?x (F(x) ? G(x)) 证明：① ?x F(x) ? ?xG(x) P ② ?x ?y(F(x) ? G(y)) T① ③ ?x (F(x) ? G(c)) US② ④ F(c) ? G(c) US③ ⑤ ?x (F(x) ? G(x)) UG④ 说明: 1.不能对?x F(x) ? ?x G(x)消去量词, 因为它不是前束范式. 2.对此题不能用附加前提证明法，因为结论中的?x量词辖域是公式的从头到尾。 * 练习 例 证明下列推理： 任何自然数都是整数；存在自然数；所以存在着整数。 个体域为实数集合R。 解 先将谓词符号化。 设 F(x):x为自然数； G(x):x为整数。 前提： ?x (F(x) → G(x)), ?x F(x) 结论： ?x G(x) 判断下列证明是否正确： ① ?x (F(x) → G(x)) P ② F(c)→G(c) US① ③ ?x F(x) P ④ F(c) ES③ ⑤ G(c) T②④ ⑥ ?x G(x) EG⑤ c取1.2，则④ F(c) = F(1.2) 为假! * 课堂练习——正确证明 例 在自然推理系统F中，构造下面推理的证明： 任何自然数都是整数；存在着自然数；所以存在着整数。个体域为实数集合R。 解 先将原子命题符号化。 设 F(x):x为自然数； G(x):x为整数。 前提： ?x (F(x) → G(x)), ?x F(x) 结论： ?x G(x) 正确证明： ① ?x F(x) P ② F(c) ES① ③ ?x (F(x) → G(x)) P ④ F(c) → G(c) US③ ⑤ G(c) T②④ ⑥ ?x G(x) EG⑤ * * 这两个式子表达的含义分别是：如果对个体域中的任意个体x，A（x）成立，则当然对可以取任何值的个体变元y、A（y）成立；对任意的个体常元c、A（c）成立。 离散数学 离散数学 第三章 谓词逻辑 3.4谓词演算的推理理论 3.3等价式与永真蕴含式 * 主要内容 等价式与永真蕴含式 前束范式 谓词推理理论 * 谓词公式的等价 给定两个谓词公式A和B， 设它们有共同的个体域E， 如果对A和B的任一组变元（个体词）进行赋值， 所得命题的真值相同， 则称谓词公式A和B在E上等价 记做A?B * 等价变换基本规则 1．置换规则 2．约束元的换名规则 3．自由元的代入规则 * 等价演算的基本规则(1) 1.置换规则： 设P(A)是含公式A的公式，若A ? B,则用公式B取代P(A)中所有的A之后的公式P(B)与P(A)等价。 例：(?x) (A(x) → B) ? (?x) (? A(x) ∨ B) * 等价替换基本规则(2) 2．约束元的换名规则 设A为一公式，将A中某量词辖域中某约束变量的指导变元及相应的约束变元改成该量词辖域中未曾出现过的某个体变量符号，公式的其余部分不变，所得公式与A等价. 例：?(?x) (P(x,y) ? Q(x)) ? ?xR(x) ? ?(?z) (P(z,y) ? Q(z)) ? ?xR(x) * 等价替换基本规则(3) 3．自由元的代入规则 设A为一公式，将A中某个自由出现的个体变元的所有出现用A中未曾出现过的个体变元