普通逻辑 复合命题推理二.pptVIP

复合命题推理 蕴涵命题推理 1、推理形式 肯定前件式： 否定后件式： 无效式： p?q p?q p?q p?q P ?q ?p q ?q ??p ∴ ?q ∴p 2、推理规则 （1）肯定前件，就可以肯定后件。 （2）否定前件，则不可以否定后件。 （3）否定后件，就可以否定前件。 （4）肯定后件，则不可以肯定前件。 逆蕴涵命题推理 1、推理形式 否定前件式： 肯定后件式： 无效式： p?q p?q p?q p?q ? P q p ? q ? ? q ?p ∴ q ∴ ? p 2、推理规则 （1）否定前件，就可以否定后件。 （2）肯定前件，则不可以肯定后件。 （3）肯定后件，就可以肯定前件。 （4）否定后件，则不可以否定前件。 假言易位推理 1、假言易位推理 通过交换前提中的假言命题前后件的位置，推出一个假言命题作结论的推理 2、充分条件假言易位推理的有效式 p ? q ??q ? ?p 3、必要条件假言易位推理的有效式 p← q ∴q → p 假言连锁推理 1、充分条件假言连锁推理 由两个或两个以上的假言命题推出一个假言命题做结论的推理。 2、假言连锁推理的有效式 肯定式： 否定式： p?q p?q q?r q?r ? p?r ??r??p 例： 名不正，则言不顺； 言不顺，则事不成； 事不成，则礼乐不行； 礼乐不兴，则刑罚不中； 刑罚不中，则民无所措手足。 ----《论语·子路》 3、必要条件假言连锁推理的有效式 否定式 肯定式 p ← q p ← q q ← r q ← r ∴ ? p → ?r ∴ r→ p 1、某侦察连长接到一项紧急任务，要他在赵、钱、孙、李、周五个侦查员中挑选两个深入敌后执行任务，人选的配备要注意以下特点： （1）、如果钱不去，那么赵也不去； （2）、只有孙去，钱才去； （3）、假如让李去，那就必须有周的配合； （4）、赵与李至少有一人去。 请问：侦察连长选了哪两个人？写出推理过程。 解答： 以五人的姓氏为代号，可将配备特点用公式表示如下： （1）﹁钱→﹁赵 （2）孙←钱 （3）李→周 （4）赵∨李 假设在赵、李中让赵去，那么， 1、根据（1）：（﹁钱→﹁赵）∧赵→钱； 2、根据（2）与1 ：（孙←钱）∧钱→孙。 这样，赵、钱、孙三人都去，与要求去二人不符合。所以，不能让赵去。依次，就可以得到下列推理： 3、根据（4）：（赵∨李）∧﹁赵→李； 4、根据（3）与3：（李→周）∧李→周。 由此可知，侦察连长选了李、周二人。 2、甲、乙、丙三人中，一个是经理，一个是教师，一个是法官。已知： （1）、甲的年龄大于法官； （2）、教师的年龄小于乙； （3）、丙的年龄与教师的年龄不同。 请问：甲、乙、丙三