Assertion: negation | /r/CapableOf | call logical complement
Facets:
value: in logic
type: OTHER
Source sentences:
text: In logic, negation, also called the logical complement, is an operation that takes a proposition P {\displaystyle P} to another proposition "not P {\displaystyle P} ", written ¬ P {\displaystyle