P
¬P
P ∧ ¬P
¬(P∧¬P)
T
F
F
T
F
T
F
T
/
it is not the case that (p is true and not p is true)
/
the negation of a contradiction is true
Home