Assertion: classical negation | /r/HasProperty | operation
Facets:
value: on one logical value
type: OTHER
Source sentences:
text: Classical negation is an operation on one logical value, typically the value of a proposition, that produces a value of true when its operand is false and a value of false when its operand is true.