Assertion: double negation | /r/HasProperty | equivalent
Facets:
value: logically
type: DEGREE
value: within a system of classical logic
type: OTHER
value: to p
type: OTHER
Source sentences:
text: Within a system of classical logic, double negation, that is, the negation of the negation of a proposition P {\displaystyle P} , is logically equivalent to P {\displaystyle P} .