破坏性两难推理

在逻辑中，一个形式论证，其中声明：

1. 和 （其中 表示 “蕴含”），并且

2. 非- 或非- 为真，从这两个陈述可以得出，非- 或非- 为真。