离散第2-4讲.docVIP

离散数学教案 编 号： 9 课时安排： 2学时 教学课型：理论课□ 实验课□ 习题课□ 实践课□ 其它□ 第2-4讲 谓词演算的推理理论 学时：2学时 班级：计本06 级软件1班-------4班 重点：逻辑推理理论的概念 难点：利用逻辑的推理理论进行构造证明。 教学目标：掌握逻辑推理理论的概念； 重点掌握和理解量词的引入和消去规则及成立的条件， 并利用逻辑的推理理论进行构造证明。 教学内容 1.谓词演算的推理规则 2.全称指定规则US 3.全称推广规则UG 4.存在指定规则ES 5.存在推广规则EG 6.谓词演算推理规则应用举例 7.讨论题 8.第2-4讲 作业 9.本章提要 教学方式、手段、媒介：讨论，板书、讲授 1、谓词演算的推理规则 谓词演算的推理方法可视为命题演算推理方法的扩张。所以命题演算中的推理规则，如Ｐ、Ｔ、和ＣＰ规则等亦可在谓词的推理理论中应用。 在谓词演算的推理中，某些前提或结论会受到量词的限制，为了使用这些等价式和蕴含式，必须有消去或添加量词的规则 2、全称指定规则US 全称指定规则，记为ＵＳ。 这个规则是消去全称量词。这里Ｐ是谓词，ｃ是论域中某个任意的客体。 例如， 设论域是全人类，Ｐ(ｘ)表示“ｘ总是要死的”，那麽（(ｘ）Ｐ（ｘ）表示“所有人总是要死的”，若ｃ表示“苏格拉底”，则可以得出结论Ｐ(ｃ)，即“苏格拉底总是要死的”。 3、全称推广规则，记为ＵＧ 这个规则是添加全称量词规则，其用意在于对命题量化。 如果能够证明对论域中的每一个客体ｃ断言Ｐ（ｃ）成立， 则应有（(ｘ）Ｐ（ｘ）。 使用本规则时，必须能够证明对论域中的每一个可能的ｘ，Ｐ(ｘ)为真。 4、存在指定规则ES 存在指定规则，记为ＥＳ。 这个规则是消去存在量词。这里ｃ是论域中的某些客体。必须注意，应用本规则时，其指定的客体ｃ不是任意的。 例如，设((ｘ)Ｐ(ｘ)和((ｘ)Ｑ(ｘ)都真，则对于某些ｃ和某些ｄ，可以断定Ｐ(ｃ)∧Ｑ(ｄ)为真，但却不能断定Ｐ(ｃ)∧Ｑ(ｃ)为真或Ｐ(ｄ)∧Ｑ(ｄ)为真。 5、存在推广规则EG 存在推广规则，记为ＥG 这个规则是添加存在量词，其中ｃ是论域中的一个客体。该规则是显然成立的。因若对论域中的某些客体ｃ，Ｐ(ｃ)为真，则在该论域中，((ｘ)Ｐ(ｘ)必为真。 6、推理规则应用举例(1) 例1 证明苏格拉底三段论： ((x)(M(x)→D(x))∧M(s)(D(s)， 其中 M(x)：x是人。D(x)：x是要死的。s：苏格拉底。 证: ① ((x)(M(x)→D(x)) P ② M(s)→D(s) US,T1 ③ M(s) P ④ D(s) T2，3,I 例2 证明： ((x)(C(x)→W(x)∧R(x)) ∧ ((x)(C(x)∧Q(x)) ( ((x)(Q(x)∧R(x)) 证: ① ((x)(C(x)∧Q(x)) P ② C(a)∧Q(a) ES,T1 ③ ((x)(C(x)→W(x)∧R(x)) P ④ C(a)→W(a)∧R(a) US,T3 ⑤ C(a) T2,I ⑥ W(a)∧R(a) T4,5,I ⑦ Q(a) T2,I ⑧ R(a) T6,I ⑨ Q(a)∧R(a) T7,8,I ⑩ ((x)(Q(x)∧R(x)) T9,EG 注意，推导中第①、②步和第③、④步的次序不能颠倒。 例3 证明: ((x)(P(x)∨Q(x)) ( ((x)P(x)∨((x)Q(x) 证法1: 把((((x)P(x)∨((x)Q(x))作为附加前提。 ① ((((x)P(x)∨((x)Q(x)) P ② (((x)P(x)∧( ((x)Q(x) T1,E