An incompatibility between two propositions that cannot both be true.
The state of being inconsistent.
A statement that contains a contradiction, or a premise from which one could be derived