<*philosophical terminology*> a method of proving that a
proposition must be false (or true) by assuming the
truth (or falsity) of the proposition and then
showing that this assumption, taken together with other
premises whose truth is already established, would lead
to a contradiction (or, at least, to an obvious falsehood).
This method is sometimes called indirect proof.

[A Dictionary of Philosophical Terms and Names]

Try this search on OneLook / Google