Noun
(logic) a statement that is necessarily false
the statement `he is brave and he is not brave' is a contradiction Source: Internet