What it means

1. noun (logic) a statement that is necessarily false
   “the statement `he is brave and he is not brave' is a contradiction”