二难推理pq表达式

二难推理pq表达式
二难推理的简单破坏式：特点例子、推理形式
这种形式的特点是：
两个假言前提的前件相同而后件不同；选言前提的选言支分别是对两个假言前提后件的否定；结论否定了两个假言前提那个共同的前件。

其推理形式是：
用符号化的横式可表示为：
（（（p→q）∧（p→r））∧（┐q∨┐r））→┐p
例如：
由于这种推理形式是以充分条件假言推理的否定后件式为基础，且它的结论是个简单判断，因此叫作简单破坏式。

二难推理也叫“假言选言推理”，它是由两个假言判断和一个选言判断做前提，推出结论的推理。

二难推理常常使人陷入左右为难、进退维谷的境地。

二难推理包括“简单构成式”、“简单破坏式”、“复杂构成式”与“复杂破坏式”四种推理形式。

进行二难推理必须满足下列三个要求：前提中的假言判断，其前件必须是后件的充分条件；前提中的选言判断，其选言支应是穷尽的；推理过程要符合充分条件假言推理和选言推理的规则。

不满足上述要求的二难推理就是错误的。

例如，“如果天气热，那么人难受；如果天气冷，那么人也难受；或
者天气热，或者天气冷；总之，人都难受”，选言前提中的选言支没有穷尽。