/

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

/

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

/

{ compare to L : Excluded Middle  }