《苦儿蒙难记2》相容析取命题推理规则

上回说到王母娘娘废弃的顶针随手一扔，便坠入人世间。不偏不倚,正套在苦儿练功时三角倒立的大腿上。那顶针见肉生根，越勒越紧，越勒越疼，只好到医院找大夫看看。大夫毫无办法，只好做截肢处理。于是，出现本段故事——《截肢》。

二、《截肢》——相容析取推理规则

析取命题推理是前提中包含一个析取命题，并按照析取命题的逻辑性质，对前提中的一个或几个析取肢进行肯定或否定，从而得出结论的推理。析取命题分为相容与不相容两种，析取推理也根据这个性质，可分为相容析取命题推理和不相容析取命题推理两种形式。

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

1.肯定前提中部分析取肢，不能否定余下的析取肢。

2.否定前提中部分析取肢，就要肯定余下的析取肢。

这两条规则的含义是：相容析取命题所列举的几种可能性可以同时存在，如果否定其中几种可能性，剩下的可能性依然存在，那么，必须肯定它们；如果肯定其中几种情况存在，那么剩下的几种情况则无法断定，既无法肯定，也无法否定。如果推理不遵守规则，那么推出的结论是无效的。例如：某人或者患了高血压，或者患了糖尿病，或者患了脑血管病，感觉不舒服就去医院检查。经血液常规检查，他血糖超高，诊断为糖尿病，即肯定了其中的一个析取肢；那么由此断定他没有高血压和没有心血管病，即否定了其余的析取肢就是错误的。这就是肯定一肢而不能否定另外几肢的道理，因为相容析取命题推理的各个析取肢不互相排斥，它们可以同时成立。

理论上搞明白了，就讲咱们的故事：

王母娘娘漠视人间痛苦，搞得苦儿去医院截肢。苦儿听医院院长说，需要否定一肢非健康的，肯定那肢健康的，便放下心来。哪想到，值班大夫马大哈，打上麻药就否定了一肢健康的，把不该截去的那肢截去了。尽管苦儿得了一大笔医疗事故赔偿款，却闹得苦儿最后坐着轮椅出院了。

根据上面的故事，引出相容析取命题推理那条严格规定：“否定肯定式”是对的，即找到病灶给予切除，就可以保留完好的肢体是唯一正确的。院长的手术方案让马大哈大夫搞拧了，上手术台就“肯定否定式”，所以是错的。

这个唯一正确的公式允许否定其中一肢而肯定其余：

p∨q                        p∨q

￢p             或          ￢q

∴q                       ∴p

用符号表述：

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

将故事代入公式：

或者（∨）一肢非健康腿（p）或者（∨）一肢健康腿（q）；

截去非健康腿（￢p）；

所以，留下健康腿q。

马大哈截错了，没有分清“p还是q”，并且运用了自以为是的“肯定否定式”，错误一发便不可收拾，留下了以后的一串故事。

《截肢》讲完了，讲了相容析取命题推理的两条规则和一个公式。下一回讲《安肢》，即不相容析取命题推理规则。