This is closely related to though distinct from TheLawOfExcludedMiddle. See also TheLawOfNoncontradiction.