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. This is also a form of straw man.
