La proposición que expresa la incompatibilidad de dos o más predicados en un sujeto.