/

it is not the case that (p is true and not p is true)

/

the negation of a contradiction is true

/

{ compare to L : Negation }