3命题逻辑的推理.pptVIP

第3章 推理理论 推理 是从前提推出结论的思维过程, 前提 是指已知的命题公式, 结论 是从前提出发应用推理规则推出的命题公式. 逻辑结论 若(A1∧A2∧ ··· ∧Ak)→B为重言式,则称A1,A2,···,Ak推结论B的推理正确,B是A1,A2,···,Ak的逻辑结论或有效结论. 称(A1∧A2∧…∧Ak)→B为由前提A1,A2,…,Ak推结论B的推理的形式结构. 判断推理是否正确的方法 同用“A ? B”表示“A?B”是重言式类似,用“A?B”表示“A?B”是重言式.因而,若由前提A1,A2,···,Ak推结论B的推理正确,也记 (A1∧A2∧…∧Ak)?B. 于是,判断推理是否正确的方法就是判断重言蕴涵式的方法.比如真值表法,等值演算法,主析取范式法等. 例 例: 判断下面各推理是否正确. (1)如果天气凉快,小王就不去游泳.天气凉快,所以小王没去游泳. (2)如果我上街,我一定去新华书店.我没上街.所以我没去新华书店. 解:( 解上述类型的推理问题,应先将命题符号化,然后写出前提、结论和推理的形式结构,最后进行判断.) (1)p：天气凉快; q：小王去游泳. 前提：p→?q, p. 结论： ?q. 推理的形式结构为 ((p→?q)∧p)→ ? q. (*) 判断(*)是否为重言式. ①真值表法 真值表的最后一列全为1,因而(*)是重言式.所以推理正确. ②等值演算法 (p→ ? q)∧p)→ ? q ?1. ③主析取范式法 ((p→ ?q)∧p)→ ? q ? m0∨m1∨m2∨m3 ? ?(0,1,2,3). 由②,③同样能判断推理正确. (2)p：我上街; q：我去新华书店. 前提：p→q, ?p. 结论： ?q. 推理的形式结构为 ((p→q)∧ ?p) → ?q. (**) ①((p→q)∧ ?p)→ ?q ?m0∨m2∨m3 ??(0,2,3). 可见(**)不是重言式,所以推理不正确.还可用其他方法判断之. 构造证明法 重要的推理定律（重言蕴涵式）有以下8条： 1.A?(A∨B); 附加 2.(A∧B) ? A; 化简 3.((A→B)∧A) ? B; 假言推理 4.((A→B)∧ ? B) ? ? A; 拒取式 5.((A∨B)∧ ? A) ? B; 析取三段论 6.((A→B)∧(B→C)) ? (A→C); 假言三段论 7.((A?B)∧(B ? C)) ? (A ? C); 等价三段论 8.(A→B)∧(C→D)∧(A∨C) ? (B∨D). 构造性二难 推理规则 前提引入规则：在证明的任何步骤上，都可引入前提。 结论引入规则：在证明的任何步骤上，所证明的结论都可以作为后续证明的前提。 推理规则 置换规则：在证明的任何步骤上，命题公式中的任何子命题公式都可以用与之等值的命题公式置换。 推理规则 在以下的推理规则中，用 A1, A2,…, Ak ╞B 表示B是A1, A2,…, Ak的逻辑结论，在证明的序列中，若已有A1, A2,…, Ak ，则可引入B. 根据8条推理定律可得下面推理规则： 单前提推理（推理规则） p ? p ~~p ? p p∧q ? p p∧q ? q p ? p∨q q ? p∨q 多前提基本推理 (a) p, p→q ? q (b) ~q, p→q ? ~p (c) ~q, p∨q ? p (d) p→q, q→r ? p→r (e) p∨q, p→r , q→s ? r∨s (f) p∨q, p→r , q→r ? r 例. 构造下列推理的论证 (1) p∨q, p→~r, s→t, ~s→r, ~t ? q ①s→t 前提 ②~t 前提 ③~s ①②拒取式 ④~s→r