WikiPedia: ThePrincipleOfBivalence

Difference (from prior minor revision) (major diff)

Changed: 3c3

This is closely related though distinct from TheLawOfExcludedMiddle and TheLawOfNoncontradiction.

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

For any proposition P, either [P] is true or [P] is false; there are no propositions that are neither true nor false.

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