推理与证明方法.pptxVIP

推理与证明方法一些基本概念第1页/共38页定理/Theorem: 一个真值为T的命题语句。证明/Proof：用论证方式形成的一个命题语句序列说明一个定理为T。证明的构造/形式：由两个部分组成 1、公理、假定或前提/axiom、postulate、hypotheses 2、推理规则/rule of inference其它：引理/lemma、推论/corollary、猜想/conjectureDefinition 1第2页/共38页蕴涵演算/logical implying operation 对于任意的公式P和Q，如果P → Q 为T，则称P蕴涵Q， 记为P ? Q 或P/?Q蕴涵演算的推广表示： P1、 P2 、 … 、Pn ? Q 前提组/hypotheses结论/conclusion证明的基本工具：等值演算，真值表，范式，引用已知简单结论下表是一些常用的简单结论Table 1第3页/共38页Rule of Inference NameP ? P ∨QAddition/析取附加式P ∧Q ? P Simplification/合取化简式P、Q ? P ∧Q Conjunction/并发式P、 P → Q ? QModus ponens/分离式? Q、 P → Q ? ? PModus tollens/拒取式? p、P ∨Q ? QDisjunctive syllogism/析取三段式P → Q、 Q → R ? P → R Hypothetical syllogism/假言三段式EXAMPLE 6第4页/共38页Hypotheses: (1) It is not sunny this afternoon and it is colder than yesterday. (2) We will go swimming only if it is sunny. (3) If we don’t go swimming, then we will take a canoe trip. (4) If we take a canoe trip, then we will be home by sunset. Conclusion: We will be home by sunset. P: It is sunny this afternoon.Q: It is colder than yesterday.R: We will go swimming.S: We will take a canoe trip. T: We will be home by sunset. 第5页/共38页The hypotheses become ? P ∧Q ,R → P, ? R → S, andS → T, The conclusion is T? P ∧Q (h) 7. S → T (h) ? P (s) 8.TR → P (h)? R (m)? R → S (h)S (m)Table 2.第6页/共38页Rule of InferenceName ?x P(x) ? P(c) if c?UUI/全称举例P(c) for an arbitrary c?U ? ?x P(x) UG/全称推广?x P(x) ? P(c) for some c?UEI/存在举例P(c) for some c?U ? ?x P(x)EG/存在推广U:Universal I:InstantiationE: Existential G: GeneralizationEXAMPLE 3第7页/共38页苏格拉底论证：人固有一死，苏格拉底是人，因此苏格拉底固有一死。P(x): x是人，D(x):x是要死的，S:苏格拉底。?x (P(x) → D(x)), P(S) ?D(S)1. ?x (P(x) → D(x)) (h) 3. P(S)2. P(s) → D(s) (UG) 4. D(S)EXAMPLE 4第8页/共38页Hypotheses: 任何人如果他喜欢步行，则他就不喜欢乘汽车；每个人喜欢乘汽车或者喜欢骑自行车；有的人不喜欢骑自行车，Conclusion: 因此有的人不喜欢步行。W(x): 喜欢步行，B(x):x喜欢乘汽车，K(x)：x喜欢骑自行车；前提：?x