选第四章 复合命题及其推理.docVIP

三、推理形式综合运用： 运用传统逻辑的推理规则，解决综合性的推理题。 [ 例一 ] 已知： （1）若A和B参加自学考试，则C不参加自学考试 （2）只有B参加自学考试，D才能参加自学考试 （3）A和C都参加了自学考试 问：B和D是否参加了自学考试？请写出推导过程。 解题： 令A、B、C、D分别表示各自参加考试，则有： （1）(A∧B→?C 前提 （2）B←D 前提 （3）A∧C 前提 2011-1-16 36 解题： 令A、B、C、D分别表示各自参加考试，则有： （1）(A∧B→?C 前提 （2）B←D 前提 （3）A∧C 前提 （4）C （5）?(A∧B ?(A B （3）合取化简 （4）（1）充分条件假言推理否定后件 式 （6）?A∨?B （5）德摩根定理 （7）A （3）合取化简 （8）?B （6）（7）相容选言推理否定肯定式 （9）?D （2）（8）必要条件假言推理否定前 件 式 ∴B和D没有参加自学考试。 2011-1-16 37 [例2] 例 某排球队有1号、3号、4号、6号、9号和12号等6名主力 队员。他们之间的最佳配合有如下几条规律： ①要是4号上场，6号也要上场； ②只有1号不上场，3号才不上场； ③要么3号上场，要么6号上场； ④如果9号和12号同时上场，则4号也要上场。 某场比赛要1号和12号同时上场。问：为了保持最佳阵容， 这场比赛中9号该不该上场？写出推理分析过程。 解题：令1、2、4、6、9、12等分别表示各自上场 则有： （1）4→6 前提 （2）?1←?3 前提 · （3）3∨6 前提 （4）9∧12 → 4 前提 （5）1 前提 （6）12 前提 2011-1-16 38 [ 例二 ] 解题：令1、2、4、6、9、12等分别表示各自 上场 则有 （1）4→6 前提 （2）?1←?3 前提 · （3）3∨6 前提 （4）9∧12 → 4 前提 （5）1 前提 （6）12 前提 （7）3 （2）（5）必要条件假言推理否定前件式 （8）?6 （3）（7）不相容选言推理肯定否定式 （9） ? 4 （1）（8）充分条件假言推理否定后件式 （10）? (9∧12 （4）（9）充分条件假言推理否 定后件式 （11）?9∨?12 （10）德摩根定理 （12）?9 （11）（6）相容选言推理否定肯定式 ∴ 9号不上场。 2011-1-16 39