·noun An indirect argument which proves a thing by showing the impossibility or absurdity of the contrary.
A mathematical progress from one proposition to another. ...
The Sailor's Word-Book