Assertion: contradiction | /r/Synonym | indirect proof
Facets:
Source sentences:
text: Proof by contradiction (also known as indirect proof or the method of reductio ad absurdum) is a common proof technique that is based on a very simple principle: something that leads to a contradiction can not be true, and if so, the opposite must be true.