數理化 > 多難推理



由三個或者更多個具有聯言關係的充分條件假言前提和一個相應具有三個活更多個具有選言肢的選言前提推出結論的假言選言推理。 　　二難推理的擴大。 　　用公式可表示為“如果p則q，如果r則s，如果h則m；p或者r或者h；所以q或者s或者m。”