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