数理化 > 多难推理



由三个或者更多个具有联言关系的充分条件假言前提和一个相应具有三个活更多个具有选言肢的选言前提推出结论的假言选言推理。 　　二难推理的扩大。 　　用公式可表示为“如果p则q，如果r则s，如果h则m；p或者r或者h；所以q或者s或者m。”