Assertion: contradiction's negation | /r/HasProperty | deducing
Facets:
value: logically
type: MANNER
Source sentences:
text: This concept appears most often in a proof by contradiction (also known as reductio ad absurdum ), which is proving a statement by supposing its negation is true and logically deducing an absurd statement.