假言三段论是什么假言推理的依据和种类

    假言三段论是至少大前提为假言判断的三段论。

    假言三段论的推理依据和直言三段论不同，直言三段论根据概念外延间的关系进行推理，而假言三段论则根据假言前提的前件与后件间关系的性质进行推理。

    根据假言三段论的小前提为直言判断或亦为假言判断，假言三段论分为混合的假言三段论和纯粹的假言三段论两种。

    混合的假言三段论是大前提为假言判断，小前提为直言判断，而结论为直言判断的假言三段论。如：“如果你用心学习，则你的成绩就会好转；你的成绩不见好转，所以你没有用心学习。”这种三段论，又称为“假言直言三段论”。

    纯粹的假言三段论是大、小前提都为假言判断，而结论一般也为假言判断，只在较特殊的情况下为直言判断的假言三段论。一般的情况的例子，如：“如果月球没有大气，则光线就不在它表面的附近折射；如果光线不在月球表面附近折射，那么月球上就没有黄昏；所以，如果月球上没有大气，那么它上面就不会有黄昏。”较特殊的情况的例子，如：“如果三角形是钝角三角形，那么其中大角对大边；如果三角形是非钝角三角形，那么其中大角对大边；所以，在三角形中，总是大角对大边。”

    混合的假言三段论中，根据大前提前件和后件间关系的性质之不同，又分为以非区别的假言判断为大前提的假言三段论和以区别的假言判断为大前提的假言三段论两种。前者可称为非区别的假言三段论，或充分条件的混合假言推理；后者可称为区别的假言三段论，或充分又必要条件的混合假言推理。