Assertion: contradiction's negation | /r/HasProperty | self-annihilating operator
Facets:
value: within propositional logic
type: OTHER
Source sentences:
text: Within propositional logic, contradictory negation is a self-annihilating operator: ¬(¬Φ)