In classical logical thinking, a contradiction consists of a logical incompatibility between two or more propositions.