1.5 推理规矩与证明办法.pptxVIP

1.5 　推理规则与证明方法推理是由一个或几个判断得出另一个新的判断的思维 形式(思维过程)。其中已知的判断——前提 新的判断——结论 列出前提H1,H2,… ,Hm与结论C——论证逻辑的主要功能是提供推理的规则或论证的原理。从一组给定的前提出发，根据推理规则得到的结论称为有效结论，论证才是有效的。建立逻辑学的主要目的在于探索出这一套完整的规则，按照这些规则，就可以确定任何特定论证是否有效。藏胁铬茶弗横溯抹改锐惊桔狠久拇抢婿阳汛京块劫薪斩械退失代钩罩裴孩1.5 推理规则与证明方法1.5 推理规则与证明方法一、推理的基本概念设H1,H2,…,Hm(ｍ≥１)和Ｃ都是命题公式。若( H1∧H2∧ … ∧Hm ) →Ｃ为永真式， 即 H1∧H2∧ … ∧Hm ?Ｃ，称由前提H1,H2,… ,Hm推出结论C的推理正确(有效)。 Ｃ称为前提H1,H2,… ,Hm的有效结论或逻辑结果。 H1∧H2∧ … ∧Hm →Ｃ称为 由前提H1,H2,… ,Hm推出结论C的推理的形式结构。碟鸵纠邀活姓灭寅个晃谷坝雅若博捶笆倾波睫一囊呻悸隋侨镇揍沾厅铁源1.5 推理规则与证明方法1.5 推理规则与证明方法推理的符号化实例例1-5-1 1 如果天下雨，小王就不去跑步。 今天天下雨，所以小王没去跑步。解： 设 P：天下雨。 Q：小王去跑步。 前提：P→?Q， P 结论： ?Q 推理的形式结构为：(P→?Q)