破壞性兩難推理

在邏輯中，一個形式論證，其中宣告：

1. 和 （其中 表示 “蘊含”），並且

2. 非- 或非- 為真，從這兩個陳述可以得出，非- 或非- 為真。