In formal logic, the reductio ad absurdum (literally, “reduction to the absurd”) is a legitimate argument. It follows the form that if the premises are assumed to be true, logic necessarily leads to an absurd (false) conclusion, and therefore one or more premises must be false.
