Reductio ad absurdum is a type of logical argument where one assumes a claim for the sake of argument, arrives at an absurd result, and then concludes that the original assumption must have been wrong, since it led to this absurd result.
