Demonstration of the falsity of a premise by showing an absurdity to which it would logically lead. More...