/

(p and not p) is false

/

{ when you join a statement with its negation, the resulting statement is always false }

/

{ this truth table defines the ∧ connector }