Assertion: negation elimination | /r/CapableOf | go by contradiction
Facets:
value: like negation introduction
type: MANNER
value: sometimes
type: TEMPORAL
Source sentences:
text: Like Negation Introduction, Negation Elimination sometimes goes by the Latin name Reductio ad Absurdum or sometimes by Proof by Contradiction.