困境

非正式地，指一种必须从几个备选项中做出决定的情况，其中没有一个备选项是明显最优的。在形式逻辑中，困境是使用两个条件语句的一种特定类型的论证，其可能采取建设性困境或破坏性困境的形式。