第八章演绎推理(三)复合判断推理和模态推理.docVIP

演绎推理（三） 复合判断推理和模态推理 联言推理 上面讲过的直言判断推理和关系判断推理都是属于简单判断推理。本节所讲的联言推理以及以后即将讲述的选言推理、假言推理、二难推理等，则属于复合判断推理。 联言推理是根据联言判断的逻辑性质所进行的推演，其前提或结论为联言判断。联言推理有以下两种形式。 一 合成式 联言推理合成式的结论是联言判断，前提分别是该联言判断的各个联言肢。其公式为： p q ∴p∧q. 例如：矩形是平行四边形； 菱形是平行四边形； 所以，矩形和菱形都是平行四边形。 借助这种推理形式，能使我们的认识由部分过渡到整体。所以它在我们的思维实际中是常见的。 二 分解式 联言推理分解式的前提是联言判断，结论是该联言判断的联言肢。其公式为： p∧q ∴p（或q）。 例如： 三角形的中位线既平行于第三边，又等于第三边的一半； 所以，三角形的中位线平行于第三边。 联言推理分解式的前提提供了一个综合性的知识，其结论是在具体情况下需要强调的方面。而这种推理形式则体现了这种过渡的必然性和合理性。所以，这种推理形式也是在认识和表达中经常用到的。 第二节 选言推理 选言推理是根据选言判断选言肢的性质所进行的推理。我们这里所讲的选言推理，其前提和结论是由选言判断和直言判断构成的。通常把选言判断的前提叫做大前提，因为它涉及的范围较大，而把直言判断的前提叫做小前提，因为它涉及的范围较小。选言肢可以是两个或两个以上。为了便于分析，我们以下只讲由两个选言肢的选言判断构成的选言推理。 选言推理又分为不相容选言推理和相容选言推理两种。 一 不相容选言推理 不相容选言推理是根据不相容选言判断选言肢的性质所进行的推理，其大前提为不相容选言判断，小前提和结论为直言判断。 不相容选言推理有肯定否定式和否定肯定式两种。 1．肯定否定式 这种形式是前提中肯定一个选言肢，而结论中否定其他选言肢。其公式如下： p或者q； p（或q）； 所以，非q（或非p）。 例如： 二次方程的两根要么为实数，要么为虚数； 这个二次方程的两根是实数； 所以，它的两根不是虚数。 肯定否定式的规则是：肯定一个选言肢，就要否定其他选言肢。 这个规则是从作为大前提的不相容选言判断的性质必然引申出来的。因为既然这个选言判断是不相容的，即各个选言肢是互相排斥的，其各个选言肢之间的真假关系是：只有一真，不能同真。所以，当小前提肯定一个选言肢为真时，剩下的选言肢就必然不真，必须否定。 2．否定肯定式 这种形式是前提中否定除一个以外的其余选言肢，而结论中肯定那个未被否定的选言肢。其公式如下： p或者q； 非p（或非q）； 所以，q（或p）。 例如： 某住宅起火或因纵火，或因失火； 现已查明不是纵火； 所以，是失火。 否定肯定式的规则是：（1）否定除一个以外的其余选言肢，就要肯定那个未被否定的选言肢。（2）大前提选言判断必须穷尽一切可能的情况。 规则（1）也是从不相容选言判断的性质必然引申出来的。因为一个真的不相容选言判断，其各个选言肢不能同假，必有一真。已知除一个以外的其余选言肢为假，就可判定这个未被否定的选言肢为真。就是说，在不相容选言推理中，不能否定所有的选言肢。否定除一个以外的其余选言肢，就必然要肯定那个未被否定的选言肢。 二 相容选言推理 相容选言推理是根据相容选言判断选言肢的性质所进行的推理，其大前提为相容选言判断，小前提和结论为直言判断。 相容选言推理只有一种正确式。其公式为： p或者q； 非p（或非q）； 所以，q（或p）。 例如： 一段译文的错误，或因原文错误，或因翻译错误； 这段译文的错误不是由于原文错误； 所以，这段译文的错误是由于翻译错误。 这种选言推理的规则是：否定一部分选言肢，就要肯定另一部分选言肢；肯定一部分选言肢，不能否定另一部分选言肢。 相容选言判断的各个选言肢，不能同假，至少有一真。所以，已知一部分选言肢为假，则可以断定另一部分选言肢为真。即否定一部分选言肢，必然要肯定另一部分选言肢。又因为这种选言推理所根据的选言判断选言肢相容，即可以同真。所以，当肯定一部分选言肢时，不能必然地否定另一部分选言肢。 第三节 假言推理 假言推理是根据假言判断前后件之间的关系所进行的推理。其前提至少由一个假言判断构成。我们这里所讲的假言推理，其大前提是一个假言判断，小前提和结论是直言判断。确切地说，这是假言直言推理或混合假言推理，但是为了简便起见，我们还是简称它为假言推理。 根据假言推理前提条件性质的不同，分为充分条件假言推理、必要条件假言