1.5推理规则与证明方法.pptVIP

南京信息工程大学数理学院 推理是由一个或几个判断得出另一个新的判断的思维 形式(思维过程)。其中已知的判断——前提 新的判断——结论 列出前提H1,H2,… ,Hm与结论C——论证 逻辑的主要功能是提供推理的规则或论证的原理。从一 组给定的前提出发，根据推理规则得到的结论称为有效 结论，论证才是有效的。 建立逻辑学的主要目的在于探索出这一套完整的规则， 按照这些规则，就可以确定任何特定论证是否有效。 设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 1 如果天下雨，小王就不去跑步。 今天天下雨，所以小王没去跑步。 解： 设 P：天下雨。 Q：小王去跑步。 前提：P→?Q， P 结论： ?Q 推理的形式结构为：(P→?Q)∧P→ ?Q 2 如果我上街，我一定去新华书店。 我没上街，所以我没去新