（整理版）演绎推理的三段论.pdfVIP

（整理版）演绎推理的三段论 演绎推理的三段论 ．其主要形式是由大前提、小前提和推出的结论的三段论式推理，可以表示为： 大前提： M 是 P 小 前 提 ： S 是 M 结论：S 是P 用集合论的观点来讲，就是：假设集合Ｍ的所有元素都具有性质Ｐ，Ｓ是Ｍ的子集， 那么 Ｓ中所有元素都具有性质Ｐ．其推理规那么可用符号表示为： “如果M  P又 S  M ，那么S  P ．〞 三段论的公式中包含三个判断：第一个判断称为大前提，它提供了一个一般的原理； 第二个判断叫小前提，它指出了一个特殊情况；这两个判断联合起来，揭示了一般原理和 特殊情况的内在联系，从而产生第三个判断———结论． 为了方便，在运用三段论推理时，常常采用省略大前提或小前提的表述方式．对于复 杂的论证，总是采用一连串的三段论，把前一个三段论的结论作为下一个三段论的前提． 例 1　如图， D又 E又 F 分别是 B C又 CA又 AB 上的点， BFD  A ，DE ∥BA ，求证：ED  AF ． 证明：〔1〕同位角相等，两条直线平行，〔大前提〕 BFD 与A 是同位角，且BFD  A ，〔小前提〕 所以，DE ∥BA ．〔结论〕 〔2 〕两组对边分别平行的四边形是平行四边形，〔大前提〕 DE ∥BA 且DF ∥EA ，〔小前提〕 所以，四边形AFDE 为平行四边形．〔结论〕 〔3 〕平行四边形的对边相等，〔大前提〕 ED 和AF 为平行四边形的对边，〔小前提〕 所以，ED  AF ．〔结论〕 上面的证明通常简略地表述为： BFD  A  DF ∥EA  四边形AFDE 是平行四边形 ED  AF ． DE ∥BA  b b  m 例 2　 a又 b又 m 均为正实数， b  a ，求证：  ． a a  m b  a  证明：  mb  ma  ab  mb  ab  ma ， m  0 精品资料文档 （整理版）演绎推理的三段论  b(a  m)  a(b  m) b(a  m) a(b  m) b b  m     ． 又 a(a  m)  0  a(a  m) a(a  m) a a  m 评注：1．每一步推理〔即每一个 “因为〞，“所以〞〕都表达一个演绎推理 “三段论 〞，并且环环紧扣，推理清晰． 2 ．演绎的前提是一般原理，演绎所得的结论是蕴涵于前提之中的个别，特殊事实，结 论完全蕴涵于前提之中． 3 ．演绎推理是一种必然性推理，因此，只要前提是真实的，推理的形式是正确的，那 么结论必定是真实的．但错误的前提可能导致错误的结论．如整数是自然数〔