二难推理的复杂构成式：特点例子、推理形式

二难推理的复杂构成式：特点例子、推理形式

这种形式的特点是：

两个假言前提有不同的前件和不同的后件；选言前提的选言支分别与两个假言前提的前件内容相同；结论是二支的选言判断，且它的两个选言支分别与两个假言前提的后件内容相同。

其推理形式是：

用符号化的横式可表示为：

（（（p→q）∧（r→s））∧（p∨r））→（q∨s）

例如：

由于这种推理形式是以充分条件假言推理的肯定前件式为基础，且它的结论是个复合判断，因此叫作复杂构成式。