A situation in logic whereby two solutions can be derived from the same proof, but those conclusions contradict one another. However, taken individually, both cases are valid.