Contradiction

A contradiction is a formula that is false under all [[Interpretation|interpretations]].

$p$	$\neg p$	$p\wedge \neg q$
T	F	F
F	T	F