Assertion: double negation | /r/HasProperty | the theorem
Facets:
value: in propositional logic
type: OTHER
Source sentences:
text: In propositional logic, double negation is the theorem that states that "If a statement is true, then it is not the case that the statement is not true.