这种形式的特点是：
两个假言前提有不同的前件和不同的后件；选言前提的选言支分别是对两个假言前提后件的否定；结论是二支的选言判断，且它的两个选言支分别是对两个假言前提前件的否定。
其推理形式是：
用符号化的横式可表示为：
（（（p→q）∧（r→s））∧（┐q∨┐s））→（┐p∨┐r）
例如：
二难推理的复杂破坏式：特点例子、推理形式
快好知 kuaihz订阅观点
快好知 kuaihz订阅观点这种形式的特点是：
两个假言前提有不同的前件和不同的后件；选言前提的选言支分别是对两个假言前提后件的否定；结论是二支的选言判断，且它的两个选言支分别是对两个假言前提前件的否定。
其推理形式是：
用符号化的横式可表示为：
（（（p→q）∧（r→s））∧（┐q∨┐s））→（┐p∨┐r）
例如：