假言直言推理

亦称“混合假言推理”。前提之一是假言判断，另一前提和结论是直言判断的假言推理。由于作为假言前提的假言判断有三种（充分条件假言判断、必要条件假言判断、充分又必要条件假言判断），所以假言直言推理就因假言前提的不同而相应地有三种：充分条件假言推理，必要条件假言推理，充分必要条件假言推理。以充分条件假言推理为例，其正确式为：小前提肯定前件，结论肯定后件。如：“如果物体受到摩擦，则它就发热；它受到摩擦，所以它就发热。”小前提否定后件，结论否定前件。如：“如果物体受到摩擦，则它就发热；它不发热，所以它没有受到摩擦。”