logical contradiction

logical incompatibility between two or more propositions