Si se formaliza en lógica se puede comprobar que A¬B₁ B₂ y A¬B₂ B₁ son sentencias equivalentes a A B₁ B₂, y no parecen expresar ninguna ambigüedad. No hay, sin embargo, ninguna incoherencia: esta última regla contiene la duda disyuntiva entre B₁ y B₂, pero expresa sin ninguna duda que tiene que ser uno de los dos (o ambos).