A logical inconsistency among two or more elements or propositions.
A statement that contradicts itself, i.e., a statement that claims that the same thing is true and that it is false at the same time and in the same senses of the terms.
The act of contradicting.
A proposition that is false for all values of its propositional variables or Boolean atoms.
An incompatibility between two propositions that cannot both be true.
The state of being inconsistent.