假言联言推理(hypothetical-conjunctive inference)一般是由两个 假言判断和一个 联言判断做前提推出一个结论的 演绎推理。根据其结论是简单判断或复合判断，可将其分为四种正确的推理形式：简单构成式（简单肯定式）、简单破斥式（简单否定式）、复杂构成式（复杂肯定式）和复杂破斥式（复杂否定式）   。