構造性困境

在邏輯中的一種形式論證，其中指出：（1） 和 （其中 表示“蘊含”），以及（2） 或 為真，由此兩個陳述可以推斷出 或 為真。