推理与证明方法.pptVIP

推理与证明方法推理与证明方法**第1页，共38页，星期日，2025年，2月5日定理/Theorem:一个真值为T的命题语句。证明/Proof：用论证方式形成的一个命题语句序列说明一个定理为T。证明的构造/形式：由两个部分组成1、公理、假定或前提/axiom、postulate、hypotheses2、推理规则/ruleofinference其它：引理/lemma、推论/corollary、猜想/conjecture一些基本概念**第2页，共38页，星期日，2025年，2月5日Definition1蕴涵演算/logicalimplyingoperation对于任意的公式P和Q，如果P→Q为T，则称P蕴涵Q，记为P?Q或P/?Q蕴涵演算的推广表示：P1、P2、…、Pn?Q前提组/hypotheses结论/conclusion证明的基本工具：等值演算，真值表，范式，引用已知简单结论下表是一些常用的简单结论**第3页，共38页，星期日，2025年，2月5日Table1RuleofInferenceNameP?P∨QAddition/析取附加式P∧Q?PSimplification/合取化简式P、Q?P∧QConjunction/并发式P、P→Q?QModusponens/分离式?Q、P→Q??PModustollens/拒取式?p、P∨Q?QDisjunctivesyllogism/析取三段式P→Q、Q→R?P→RHypotheticalsyllogism/假言三段式**第4页，共38页，星期日，2025年，2月5日EXAMPLE6Hypotheses:(1)Itisnotsunnythisafternoonanditiscolderthanyesterday.(2)Wewillgoswimmingonlyifitissunny.(3)Ifwedon’tgoswimming,thenwewilltakeacanoetrip.(4)Ifwetakeacanoetrip,thenwewillbehomebysunset.Conclusion:Wewillbehomebysunset.P:Itissunnythisafternoon.Q:Itiscolderthanyesterday.R:Wewillgoswimming.S:Wewilltakeacanoetrip.T:Wewillbehomebysunset.**第5页，共38页，星期日，2025年，2月5日Thehypothesesbecome?P∧Q,R→P,?R→S,andS→T,TheconclusionisT?P∧Q(h)7.S→T(h)?P(s)8.TR→P(h)?R(m)?R→S(h)S(m)**第6页，共38页，星期日，2025年，2月5日Table2.RuleofInferenceName?xP(x)?P(c)ifc?UUI/全称举例P(c)foranarbitraryc?U??xP(x)UG/全称推广?xP(x)?P(c)forsomec?UEI/存在举例P(c)forsomec?U??xP(x)EG/存在推广U:UniversalI:InstantiationE:ExistentialG:Generalization**第7页，共38页，星期日，2025年，2月5日EXAMPLE3苏格拉底论证：人固有一死，苏格拉底是人，因此苏格拉底固有一死。P(x):x是人，D(x):x是要