An incompatibility between two propositions that cannot both be true.
The state of being inconsistent.