二难推理的简单破坏式：特点例子、推理形式

二难推理的简单破坏式：特点例子、推理形式

这种形式的特点是：

两个假言前提的前件相同而后件不同；选言前提的选言支分别是对两个假言前提后件的否定；结论否定了两个假言前提那个共同的前件。

其推理形式是：

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

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

例如：

由于这种推理形式是以充分条件假言推理的否定后件式为基础，且它的结论是个简单判断，因此叫作简单破坏式。