第5章一阶逻辑等值演算与推理分析.ppt

* 例:设D(x,y)表示“x可被y 整除” ,个体域为{ 6,10,34,42 }. 因为?xD(x,2)为真，所以D(y,2)为真 因为?xD(x,5)为真，所以D(a,5)为真 例:设D(x,y)表示“x可被y 整除” ,个体域 为{ 5,7 ,10 ,11 }. 因为D(5,5)和D(10,5)为真，所以?xD(x,5)为真. 因为D(7,5)和D(11,5)为假，所以?xD(x,5)为假. * 但有下面的推理过程： (1) xD(x,5) 前提 (2) D(z,5) (3) xD(x,5) 因此， xD(x,5) xD(x,5). * 定义5.3 自然推理系统NL 下由如下要素构成。 1. 字母表：见定义4.1 2. 合式公式：见定义4.4 3. 推理规则： (1)?前提引入规则 (2) 结论引入规则 (3) 置换规则 (4) 假言推理规则 (5) 附加规则 (6) 化简规则 (7) 拒取式规则 (8) 假言三段论规则 (9) 析取三段论规则 (10) 构造性二难推理规则 (11) ?合取引入规则 四、自然推理系统NL * (12) ?-规则 (13) ?? +规则 (14) ?+规则 (15) ? -规则 其中规则 (1)~(11) 与命题逻辑中的推理规则相同。 四、自然推理系统NL * 谓词逻辑求解实际问题 步骤： 根据问题的需要定义一组谓词 将实际问题符号化 使用推理规则有效推理 注意： 符号化的原则：全称量词对应逻辑联结词→，存在量词对应逻辑联结词Λ 推理时首先引入带存在量词的前提，以保证“?+”规则的有效性 * 例：证明苏格拉底的三段论。 所有的人都是要死的。苏格拉底是人。 所以苏格拉底是要死的。 解：M(x):x是人；D(x):x是要死的；c:苏格拉底。 苏格拉底三段论可以表示成： 证明： (1) M(c) P (2) P (3) M(c)→D(c) US, (2) (4) D(c) T,{1},{3} * 前提：?x (F(x)→G(x)), ?x(F(x)∧H(x)) 结论：?x(G(x)∧H(x)) 例5.10 在自然推理系统NL中，构造下面推理的证明： ① ?x(F(x)∧H(x)) ②F(a)∧H(a) ③?x(F(x)→G(x) ) ④F(a)→G(a) ⑤ F(a) ⑥ H(a) ⑦ G(a) 前提引入 ① ? - 前提引入 ③ ?- ②化简规则 ②化简规则 ④ ⑤置换假言推理 证明： * ⑧G(a)∧H(a) ⑥ ⑦合取引入 ⑨ ?x(G(x)∧H(x)) ⑧ ?+ * 不存在能表示出分数的无理数，有理数都能表示成分数，因此，有理数都不是无理数。 解：设F(x): x为无理数；G(x): x为有理数；H(x)：x能表示成分数。 前提：┐?x(F(x)∧H(x)), ?x(G(x)→H(x)) 结论：?x(G(x)→ ┐F(x)) 例5.11 在NL中构造下面推理的证明 (个体域为实数集)： * 证明：① ┐?x(F(x)∧H(x)) ② ?x(┐F(x)∨┐H(x)) ③ ?x(F(x)→┐H(x)) ④ F(x)→┐H(x) ⑤ ?x(G(x)→H(x)) ⑥ G(x)→H(x) ⑦ H (x)→┐F (x) ⑧ G(x)→┐F(x) ⑨ ?x(G(x)→┐F(x)) 前提引入 ①置换 ②置换 ③ ?- 前提引入 ⑤ ?- ④置换 ⑥⑦假言三段论 ⑧? + * 反证法