二、假言联言推理

二、假言联言推理

假言联言推理（hypotherical-conjunctive inference）是由两个或两个以上具有合取关系的充分条件假言命题和一个具有两肢或两肢以上的联言命题为前提进行推演的演绎推理。

（一）肯定式

联言肢对于假言前件的分别肯定，结论可以分别肯定假言命题的后件，结论是一个联言命题。形式结构如下：

如果p，那么r

如果q，那么s

p并且q

r并且s

例如：

如果作案人是甲，那么现场的足迹就应该是甲的；

如果作案人是乙，那么现场的足迹就应该是乙的；

经侦查，甲和乙都是作案人；

现场的足迹应该是甲和乙的

（二）否定式

联言肢对于假言后件的分别否定，结论可以分别否定假言命题的前件，结论是一个联言命题。形式结构如下：

如果p，那么r

如果q，那么s

非r并且非s

非p并且非q

例如：

如果作案人是甲，那么现场的足迹就应该是甲的；

如果作案人是乙，那么现场的足迹就应该是乙的；

经侦查，现场足迹既不是甲也不是乙的；

作案人不是甲也不是乙

当然，如果联言肢是多于两个的肢命题，假言命题相应的与之对应。从而构成多肢的假联言推理。