قیاس خلف (منطق)

reductio ad absurdum