Свођење на контрадикцију — разлика између измена

'''Свођење на контрадикцију''' или '''свођење на противречност''' или, како је [[Аристотел]] писао, '''свођење на немогуће''' ({{јез-лат|Reductio ad absurdum}}) је један од најчешћих, а истовремено и најпопуларнијих доказа у [[логика|логици]]. Потиче од превода грчког израза ({{јез-гр|ἡ εις άτοπον απαγωγη}} - хи еис атопон апагоги).