归谬式推理

归谬式推理(inference with absurdity)是一种间接推理，是由两个前件相同，后件相矛盾的充分条件假言命题为前提，从而推出与这两个假言命题的前件相矛盾的命题的推理。例如：如果一切判断都是假的，则世界上没有真的判断；如果一切判断都是假的，则世界上没有真的判断也假，所以，并非一切判断都是假的。归谬式推理(inference with absurdity)是这样一种推理，它的前提是两个充分条件假言判断，其前件相同，后件相矛盾，而结论是与这两个假言判断的前件相矛盾的判断。