证明方法最新完整版本.pptVIP

3数学推理MathematicalReasoning3.1推理与证明方法ReasoningandMethodsofProof3.2数学归纳方法3.3递推方法2/16/20241DerenChen,ZhejiangUniv.

定理/Theorem:一个真值为T的命题语句。证明/Proof：用论证方式形成的一个命题语句序列说明一个定理为T。证明的构造/形式：由两个部分组成1、公理、假定或前提/axiom、postulate、hypotheses2、推理规则/ruleofinference其它：引理/lemma、推论/corollary、猜想/conjecture一些基本概念2/16/20242DerenChen,ZhejiangUniv.

Definition1蕴涵演算/logicalimplyingoperation对于任意的公式P和Q，如果P→Q为T，则称P蕴涵Q，记为P?Q或P/?Q蕴涵演算的推广表示：P1、P2、…、Pn?Q前提组/hypotheses结论/conclusion2/16/20243DerenChen,ZhejiangUniv.