推理與證明方法ppt課件-wenkub
2023-05-15 18:07:48 本頁(yè)面
【正文】 三段式Date 4推理與證明方法推理與證明方法EXAMPLE 6 Hypotheses:?P2?→operation 推理規(guī)則 /rule一個(gè)真值為 T的命題語(yǔ)句。MethodsReasoning推理與證明方法推理與證明方法3推理與證明方法of證明 /Proof： 用論證方式形成的一個(gè)命題語(yǔ)句序列說(shuō)明一個(gè)定理為 T。 公理、假定或前提 /axiom、 postulate、 hypothesesof 、 Q前提組 /hypotheses結(jié)論 /conclusion證明的基本工具：等值演算，真值表，范式，引用已知簡(jiǎn)單結(jié)論下表是一些常用的簡(jiǎn)單結(jié)論Date 3推理與證明方法推理與證明方法Table 1 Rule of Inference NameP ? P ∨ Q Addition/析取附加式P ∧ Q ? P Simplification/合取化 簡(jiǎn) 式P、 Q ? P ∧ Q Conjunction/并 發(fā) 式P、 P → Q ? Q Modus ponens/分離式172。(1)sunnyityesterday.goitIfswimming,take(4)a we by willsunset.sunnyisWeWecanoewillsunset.bee,R RT,Tn 172。(h)T P→(h)n S(m)Date 6推理與證明方法推理與證明方法Table 2. Rule of Inference Name ?x P(x) ? P(c) if c?U UI/全稱 舉 例P(c) for an arbitrary c?U ? ?x P(x) UG/全稱推廣?x P(x) ? P(c) for some c?U EI/存在 舉 例P(c) for some c?U ? ?x P(x) EG/存在推廣U:UniversalI:InstantiationE:P(x):→ D(x))3. D(s)D(S)Date 8推理與證明方法推理與證明方法EXAMPLE 4 Hypotheses:W(x): 172。K(x)結(jié)論： (172。(h) →(B(x)∨ (h)(172。(EG)n B(c)∨ (UI)n B(c) →(h)Date 10推理與證明方法推理與證明方法Indirect proof, negate the conclusionHypotheses:P→ RProof:∨ R,Rn172。(3,4)172。 Q172。(2)∨ （ P→ (h)172。(11,12)Date 11推理與證明方法推理與證明方法定理證明方法：直接證明 /directQ p P 空證明 /vacuous→F 平凡證明 /trivia
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1