Assertion: negation | /r/HasProperty | identified with the truth function
Facets:
value: normally
type: DEGREE
value: in classical logic
type: LOCATION
Source sentences:
text: In classical logic, negation is normally identified with the truth function that takes truth to falsity and vice versa.