/

when you double negate a true statement, the resulting statement is true

/

when you double negate a false statement, the resulting statement is false

/

{ compare to L : Negation }