Assertion: negation elimination | /r/HasProperty | justified by the reductio principle
Facets:
value: like negation introduction
type: OTHER
Source sentences:
text: Like Negation Introduction, Negation Elimination is justified by the Reductio Principle introduced at Properties of Sentential Connectives.