間接推演

間接推演（又稱間接證明或反證法）就是把要推出的結論加以否定後作為前提與原來前提一起推出邏輯假形式，從而確定結論的有效性。