(lat., prevedenie): Premena nejakého údaja (zvlášť logického) do použiteľnejšej alebo jednoduchšej formy. Redukcia ad absurdum označuje úsudok, ktorý vyvracia nejaké tvrdenie tým, že dokazuje, že by viedlo k nemožnému záveru.