[n] (logic) a statement that is necessarily false; "the statement `he is brave and he is not brave' is a contradiction"
contradiction