假言联言推理

---

多重复合判断推理的一种形式。

其前提为两个以上的假言判断，结论也为假言判断，结论的前件是由前提的前件组成的联言判断，结论的后件是由前提的后件组成的联言判断。其常见的逻辑形式为：

∵ 如果p，那末r；

如果q，那末s；

∴ 如果p且q，那末r且s。

用逻辑演算的公式可表示为(p→r)∧(q→s)→((p∧q)→(r∧s))。

如下述推理就是假言联言推理：

∵ 如果某人品德好，那末就会乐于帮助别人；

如果某人能力强，那末就能够帮助别人；

∴如果某人品德好并且能力强，

那末就会乐于并且能够帮助别人。