离散数学l第一部分.pptVIP

推理定律的来源 第一组：命题推理定律的代换实例。 第二组：基本等价公式生成的推理定律。 第三组：几个非等价的重要推理定律。 第四组：消、添量词定律 常见的推理规则如下： 前提引入规则；（相当于已知条件） 结论引入规则；（相当于已证的结论） 置换规则； （相当于等价公式） 假言推理规则； 附加规则； 化简规则； 拒取式规则； 假言三段论规则； 析取三段论规则； 构造性二难规则； 合取引入规则； UI规则 UG规则； EI规则； EG规则。 本书主要讨论单个量词的谓词推理，在使用UI规则，UG规则，EI规则和EG规则时，所用的公式都必须是前束范式。 2. 推理的实例 例：构造下列推理的证明。 凡是人都是要死的。 苏格拉底是人。 所以，苏格拉底是要死的。 设：M(x):x是人；D(x): x 是要死的；a:苏格拉底。则： 前提： ?x(M(x)?D(x))，M(a）. 结论： D(a) . 证明：① ?x(M(x)?D(x)) 前提引入 ② M(a)?D(a) ① UI规则 ③ M(a) 前提引入 ④ D(a) ②③ 假言推理 所以，结论有效。 例：构造下列推理的证明 前提：?x(