归谬式推理

---

常用于反驳的一种复合判断推理。

其逻辑形式为：

∵ 如果p，那末q；

如果p，那末非q；

∴ 非p。

用逻辑演算的公式可表示为。

它意味著假如同一个充分条件假言判断的前件蕴涵著相矛盾的后件，则此前件是假的。归谬式推理是反驳的一种重要形式。

例如古代有人提出“一切判断都是假的”这个判断。可以用归谬式推理加以反驳

∵ 如果“一切判断都是假的”为真，

那末“一切判断都是假的”；

如果“一切判断都是假的”为真，

那末并非“一切判断都是假的”；

∴ “一切判断都是假的”为假。

这是因为“一切判断都是假的”作为前件蕴涵著“一切判断都是假的”和并非“一切判断都是假的”这个逻辑矛盾，所以“一切判断都是假的”为假。