离散数学 第五章 一阶逻辑等值演算与推理.pptVIP

第 5 章 一阶逻辑等值演算与推理 该式成立的条件是：  （1）c是特定的个体常项。????（2）取代c的x不能在A(c)中出现过。 ?4．存在量词消去规则(简记为EI规则或EI) 该式成立的条件是：  （1）c是使A为真的特定的个体常项。 ??（2）c不在A(x)中出现。 ??（3）若A(x)中除自由出现的x外，还有其它自由出现的个体变项，此规则不能使用。 三、一阶逻辑自然推理系统F 定义5.3 自然推理系统F定义如下： ????1 字母表。同一阶语言的字母表 ????2 合式公式。同合式公式的定义 ????3 推理规则： ????（1） 前提引入规则。 ????（2） 结论引入规则。 ????（3） 置换规则。 ????（4） 假言推理规则。 ????（5） 附加规则。 ????（6） 化简规则。 ????（7） 拒取式规则。 ? （8） 假言三段论规则。 ????（9） 析取三段论规则。 ????（10）构造性二难推理规则。 ????（11）合取引入规则。????（12）UI规则。 ????（13）UG规则。 ????（14）EI规则。 ????（15）EG规则。 ?? ?F中的推理过程类似命题演算自然推理系统P。 例5.9 设个体域为实数集合，F(x,y)为xy. 指出在推理系统F中，以?x ?yF(x，y)(真命题) 为前提，推出?xF(x,c)(假命题)的下述推理证明 中的错误。 ??? ① ?x?yF(x,y) 前提引入 ????② ?yF(z,y)??? ①UI规则 ????③ F(z,c) ????? ?②EI规则 ????④ ?xF(x,c)??? ③UG规则 ?解 由于c为特定的个体常项，所以?xF(x,c) (即为?x(xc))为假命题。如果按F中推理规则进行推理，不会从真命题推出假命题。在以上推理证明中，第三步错了，由于F(z,y)中除有自由出现的y，还有自由出现的z，按EI规则应该满足的条件(3)，此处不能用EI规则。用了EI规则，导致了从真命题推出假命题的错误。 例5.10 在自然推理系统F中，构造下面推理的证明：?任何自然数都是整数；存在着自然数。所以存在着整数。个体域为实数集合R。 解 先将原子命题符号化。????设 F(x):x为自然数，G(x):x为整数。????前提：?x(F(x)→G(x)), ?xF(x)????结论：?xG(x) ????证明：????① ?xF(x) ????????前提引入????② F(c) ???????????①EI规则????③ ?x(F(x)→G(x)) 前提引入????④ F(c)→G(c)??????③UI规则 ????⑤ G(c) ???????????②④假言推理????⑥ ?xG(x)?????????⑤EG规则 ? ?以上证明的每一步都是严格按推理规则 及应满足的条件进行的。因此，前提的合取 为真时，结论必为真。但如果改变命题序列 的顺序会产生由真前提推出假结论的错误。 如果证明如下进行： ① ?x(F(x)→G(x)) 前提引入② F(c)→G(c)????? ①UI规则③ ?xF(x) ????????前提引入④ F(c) ???????????③EI规则 在②中取c= ,则F( )→G( )为真（前件假）,于是④中F( )为假，这样从前件真推出了假的中间结果。例5.11 在自然推理系统F中，构造下面推理的证明。 前提：?x(F(x)→G(x))，?x（F(x)∧H(x)） 结论：?x（G(x)∧H(x)） 证明：注意，在证明序列中先引入带存在量词的前提。 ?? ??① ?x(F(x)∧H(x)) 前提引入 ????② F(c)∧H(c) ?????①EI规则 ? ???③ ? x(F(x)→G(x)) 前提引入 ? ??④ F(x)→G(x) ?????③UI规则 ????⑤ F(c) ??????? ?? ②化简 ????⑥ G(c) ???????? ? ?④⑤假言推理 ????⑦ H(c) ????????? ??②化简 ????⑧ G(c)∧H(c) ????⑥⑦合取 ????⑨ ?x(G(x)∧H(x)) ⑧EG规则 例5.12 在自然推理系统 F中，构造下面推理的证明：（个体域为实数集合）。 ????不存在能表示成分数的无理数；有理数都能表示成分数。因此，有理数都不是无理数。 ????解 设F(x):x为无理数，G(x):x为有理数， H(x):x能表示成分数。 ????前提：┐?x(F(x)∧H(x)