假言直言推理

假言直言推理    jiǎ yán zhí yán tuī lǐ

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