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

南京信息工程大学数理学院 推理是由一个或几个判断得出另一个新的判断的思维 形式(思维过程)。其中已知的判断——前提 新的判断——结论 列出前提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 如果我上街，我一定去新华书店。 我没上街，所以我没去新华书店。 解： 设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 是否成立。 ((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 ) 因而 (*) 是永真式，推理正确。 基于定义进行推理的不足： 1 如果命题公式的变元较多，以上四种方法都不方便 。 (n个变元， 2n种指派) 2 与自然生活和传统数学中的推理形式无相同之处。 3 过于机械，对培养推理能力和推理技巧毫无帮助。 形式证明：对由前提H1，H2，… ，Hm推结论C的推理， 构造一个描述推理过程的命题公式序列，其中 每个命题公式或者是已知的前提，或者是由某 些前提应用公认的推理规则所得到的结论，序 列中最后一个命题公式是所要求的结论。 这样的命题公式序列称为形式证明。 形式证明的格式：形式证明是按行进行的，而且每行只能 写一个命题公式。一般为： 标号部分 命题公式 说明部分 推理过程中使用的构造公式序列的规则： 规则P（前提引入规则）：在推导的任何步骤上，都可以引入前提。 规则T（结论引入规则）：在推导过程中，如果前面有一个或多个命题公式永真蕴含命题公式 S，那么就可以把公式 S 引进推导过程中。 代入规则：在推导的任何步骤上，永真式中的任一命题变元都可以用任一命题公式代入，代入后得到的仍是永真式。 置换规则：在推导的任何步骤上，命题公式中的任何子公式都可以用与之等值的命题公式置换。 常用的推理公式： 在表1.2-2中列出的永真蕴含式。 在表1.2-1中列出的逻辑等价式。 1．直接证明法 由已知的前提H1,H2,…, Hm出发，利用一些公认的推理规则，根据已知的逻辑等价式和永真蕴含式，推导出有效结论C。 例1-5-3 检验下列推理的有效性