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

NUIST * . 推理是由一个或几个判断得出另一个新的判断的思维 形式(思维过程)。其中已知的判断——前提 新的判断——结论 列出前提H1,H2,… ,Hm与结论C——论证 逻辑的主要功能是提供推理的规则或论证的原理。从一 组给定的前提出发，根据推理规则得到的结论称为有效 结论，论证才是有效的。 建立逻辑学的主要目的在于探索出这一套完整的规则， 按照这些规则，就可以确定任何特定论证是否有效。 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 1 如果天下雨，小王就不去跑步。 今天天下雨，所以小王没去跑步。 解： 设 P：天下雨。 Q：小王去跑步。 前提：P→?Q， P 结论： ?Q 推理的形式结构为：(P→?Q)∧P→ ?Q 2 如果我上街，我一定去新华书店。 我没上街，所以我没去新华书店。 解： 设P：我上街。 Q：我去新华书店。 前提：P→Q， ?P 结论： ?Q 推理的形式结构为： (P→Q)∧?P→ ?Q 推理的符号化实例 根据定义：由前提H1,H2,… ,Hm推结论C的推理正确(有效)即： ( H1∧H2∧ … ∧Hm ) →Ｃ为永真式， 即 H1∧H2∧ … ∧Hm ?Ｃ 可知，判断推理是否正确的方法就是判断永真式 或永真蕴含式的方法。 基本方法有： 1 真值表法 2 等值演算法 3 主析取范式法 4 指派分析法(永真蕴含式) 二、基于定义的推理 例1-5-2 判断下列推理是否正确： 如果天下雨，小王就不去跑步。 今天天下雨，所以小王没去跑步。 解：设 P：天下雨。 Q：小王去跑步。 前提：P→?Q，P 结论：?Q 推理的形式结构为：(P→?Q)∧P→ ?Q 判断((P→?Q)∧P)→ ?Q (*) 是否为永真式 或 (P→?Q)∧P? ?Q 是否成立。 步骤： 先将命题符号化 然后写出前提、结论和推理的形式结构 最后进行判断 1 真值表法 真值表的最后一列全为1，因而(*)是永真式。 所以推理正确。 真值表技术：给定一个前提集合和一个结论，用构成真值表 的方法，在有限步骤内判定给定前提是否能推 导出该结论的这种方法，称为真值表技术 。 ((P→?Q)∧P)→ ?Q ?((?P∨?Q)∧P)→ ?Q ?((P∧Q)∨?P)∨?Q ?(P∨?P∨?Q)∧(Q∨?P∨?Q) ? T∧T ?T 因而((P→? Q)∧P)→ ?Q (*)是永真式，推理正确。 2 等值演算法 ((P→?Q)∧P)→ ?Q ?((?P∨?Q)∧P)→ ?Q ?(P∧Q)∨ ?P∨ ?Q ?(P∧Q)∨(?P∧(Q∨?Q) )∨( (P∨?P)∧?Q) ? (P∧Q)∨(?P∧Q)∨(?P∧?Q)∨(P∧?Q)∨(?P∧?Q) ? (?P∧?Q)∨(?P∧Q)∨(P∧?Q)∨(P∧Q) ? ∑(0,1,2,3 ) 因而 (*) 是永真式，推理正确。 3 主析取范式法 即要判断(P→?Q)∧P ? ?Q 证明：假设前件(P→?Q)∧P 为真， 则P为真，且(P→?Q)为真，所以?Q 为真。 故(P→?Q)∧P ? ?Q成立， 推理正确。 4 指派分析法 (永真蕴含式) 基于定义进行推理的不足： 1 如果命题公式的变元较多，以上四种方法都不方便 。 (n个变元， 2n种指派) 2 与自然生活和传统数学中的推理形式无相同之处。 3 过于机械，对培养推理能力和推理技巧毫无帮助。 形式证明：对由前提H1，H2，… ，Hm推结论C的推理， 构造一个描述推理过程的命题公式序列，其中 每个命题公式或者是已知的前提，或者是由某 些前提应用公认的推理规则所得到的结论，序