困境

非正式地，指一種必須從幾個備選項中做出決定的情況，其中沒有一個備選項是明顯最優的。在形式邏輯中，困境是使用兩個條件語句的一種特定型別的論證，其可能採取建設性困境或破壞性困境的形式。