构造性困境

在逻辑中的一种形式论证，其中指出：（1） 和 （其中 表示“蕴含”），以及（2） 或 为真，由此两个陈述可以推断出 或 为真。