noun
(logic) A statement that contains a contradiction, or a premise from which one could be derived.