Contradiction

Definition

$c$

A formula or assertion that is false in every possible interpretation

Facts

$\forall$ proposition $p$ $p\wedge \neg p\equiv c$ $c\vee p\equiv p$ $c\wedge p\equiv c$