double-negation-elimination (math concept)
See also
python declaration class | python inclusion class | python sample
Definition
double-negation-introduction is the well-known and valid inference-rule:
\[\lnot \left( \lnot \left( \boldsymbol{P} \right) \right) \vdash \boldsymbol{P}\]