命题逻辑的推理理论.pptxVIP

命题逻辑的推理理论第1页/共28页 主要内容推理的形式结构推理的正确与错误推理的形式结构判断推理正确的方法推理定律自然推理系统P形式系统的定义与分类自然推理系统P第2页/共28页第三章 命题逻辑的推理理论2 3.1 推理的形式结构定义3.1 设A1, A2, …, Ak, B为命题公式. 若对于每组赋值，A1 A2… Ak 为假，或当A1 A2 … Ak为真时，B也为真，则称由前提12kA , A , …, A 推出结论B的推理是有效的或正确的, 并称B是有效结论.1 2k定理3.1 由命题公式A , A , …, A 推B的推理正确确当且仅当A1 A2 … Ak B为重言式注意: 推理正确不能保证结论一定正确3P Q的真值表？第3页/共28页 推理的形式结构B判断推理是否正确的方法:真值表法推理的形式结构1. {A1, A2, …, Ak} B若推理正确, 记为{A1,A2,,An} B2. A1 A2 … Ak B4P Q、P Q、P若推理正确, 记为A1 A2 … AkQ、3. 前提： A1, A2, … , Ak P结论： BQ的区别？第4页/共28页 推理实例5第5页/共28页例1 判断下面推理是否正确(1) 若今天是1号，则明天星期五. 今天是1号.所以, 明天星期五.解 设(p2：)今若天是今1号天，q是：明1天号星期，五.则明天星期五. 明天星期五.(1) 推理的形式结构:(p q) p q所以, 今天是1号.用等值演算法(p q) p q(( p q) p) q p q q 1由定理3.1可知推理正确 推理实例6第6页/共28页(2) 推理的形(p q) q p用式主结析取构范式:法(p q) q p( p q) q p(( p q) q) p q p( pq) (p q) (p q) (p q) m3m0 m2结果不含m1, 故01是成假赋值，所以推理不正确 推理定律——重言蕴涵式6. (AB)(BC)(AC)7第7页/共28页A (A B)附加律(A B) A化简律(AB) A B假言推理(A B)拒取式(ABAB)B A析取三段论 3.2 自然推理系统PA(I),E(I),AX(I),R(I)是 I 的8第8页/共28页定义3.2 一个形式系统 I 由下面四个部分组成：非空的字母表，记作 A(I).A(I) 中符号构造的合式公式集，记作 E(I).E(I) 中一些特殊的公式组成的公理集，记作 AX(I).推理规则集，记作 R(I).记I=A(I),E(I),AX(I),R(I), 其中 自然推理系统P定义3.3 自然推理系统 P 定义如下:字母表命题变项符号：p, q, r, …, pi, qi, ri,联结词符号： , , , ,括号与逗号：(, ), ，合式公式（同定义1.6）推理规则前提引入规则结论引入规则(3) 置换规则9第9页/共28页 推理规则(4) 假言推理规A则 BAA B(∴6)A化简规则∴BA∴A B(7) 拒取式规则A B(9) 析取三段论B规则(5) 附加规则∴ AA BB C∴A C(8) 假言三段论规则A BB∴A10第10页/共28页 推理规则A B(12∴)A合取B 引入规则A C∴B DA CB(10) 构造性二难推理规则 (11) 破坏性二难推理A 规B则 BC D DD∴ A C11第11页/共28页 在自然推理系统P中构造证明设前提A1, A2, , Ak,结论B及公式序列C1,C2, , Cl. 如果每一个Ci(1 i l)是某个Aj, 或者可由序列中前面的公式应用推理规则得到, 并且Cl =B, 则称这个公式序列是由A1, A2, , Ak推出B的证明例2 构造下面推理的证明：若明天是星期一或星期三，我明天就有课. 若我明第12天页/共有28页12 直接证明法(2) 写出证明的形式结构p前提：(p q) r, r s, sq结论：(3) 证明① r s② s③ r前提引入前提引入①②拒取式前提引入③④拒取式④ (pq) r⑤ (p q)⑥ p第1q3页/共28页⑤置换13 附加前提证明法附加前提证明法 适用于结论为蕴涵式欲证前提：A1, A2, …, Ak结论：C B等价地证明前提：A1, A2, …, Ak, C结论：B理由：2(A1 A2 … Ak) (C B)( A1 A … A ) ( C B)第14页/共28页k14 附加前提证明法实例例3 构造下面推理的证明2是素数或合数. 若2是素数，则 是无理数. 若 是无理数，则4不是素数. 所以，如果4是素数，则2是合数.解用附加前提证明法构造证明(1) 设 p：2是素数，q：2是合数，r： 是无理数，s：4是素数(2) 推理的形式结构前提：p q, p r, r s结论：s q第15页/共28