間接推演

間接推演是推出的結論加以否定後作為前提與原來前提推出邏輯假形式從而確定結論的有效性。

基本介紹

• 中文名：間接推演
• 別名：間接證明或反證法

間接推演（又稱間接證明或反證法）