三、《安肢》——不相容析取命题推理

      不相容析取命题推理是前提中有一个不相容析取命题的推理。根据不相容析取命题析取肢不能同真的逻辑性质，不相容析取命题推理规则有两条：

    1.肯定前提中的一个析取肢，必须否定余下的析取肢。

    2.否定前提中一个以外的所有析取肢，必须肯定余下的那一个析取肢。

    这两条规则的含义是：不相容析取命题只能有一种真实情况存在；如果肯定一种情况存在，那么必须否定剩余的情况存在；如果否定除其中一种情况之外的几种情况存在，剩下的一种情况必存无疑。

      接着说故事：

      话说医院包赔了苦儿损失，便先来到假肢厂。假肢厂长也是个热心人，除本厂生产的假肢外，还特意从外国进口一种假肢供苦儿挑选。厂长拿起一付外国假肢说：“这付假肢材料考究，制作精良，但价格昂贵，维修不便。”他又拿起本厂生产的假肢说：“这付假肢外观秀美，轻巧便捷，价格便宜，售后服务方便，型号齐全，但正在研制阶段，没有现货，可以定制。”

      摆在苦儿面前的多种假肢，他只能肯定其中一副假肢，然后必须否定余下的多副假肢；或者否定其中一副以外的所有肢，然后必须肯定余下的那一副假肢。两者必居其一。

根据规则，不相容选言推理有两种正确式：肯定否定式和否定肯定式。

    ⑴肯定否定式

    推理中第二个前提肯定第一个前提中的一个析取肢，结论否定第一个前提中余下的析取肢。肯定否定式推理的公式为：

                 p∨q                                       p∨q

                 p                 或              q       

            ∴￢q                             ∴￢p

    用数理逻辑符号表述：

               （p∨q）∧p→￢q     或     （p∨q）∧q→￢p

    将苦儿选用假肢情况代入公式：

               要么（∨）选用国产假肢（p），要么（∨）选用进口假肢（q）；

               选用国产假肢（p）；                                        

               所以，不选用进口假肢（￢q）。

    ⑵否定肯定式

    推理中第二个前提否定了析取命题中除一肢以外的其他析取肢，结论则肯定那个未被否定的析取肢。其推理公式为：

                   p∨q                 

                   ￢q       

                   ∴p

    将苦儿选用假肢情况代入公式：

        要么（∨）选用国产假肢（p），要么（∨）选用进口假肢（q）；

        选用进口假肢（q），                                        

        所以，不选用国产假肢（p）。

    《安肢》——不相容析取命题推理讲完了，其中讲的是有两个析取肢（当然可以有三个、四个以上的析取肢）的推理规则两条和公式两个。下一回讲《创业》——蕴涵命题推理规则。