WikiPedia: ThePrincipleOfBivalence

Difference (from prior major revision) (minor diff)

Changed: 1c1

A proposition and its denial cannot both be true at the same time and "in the same respect." In other words: for any proposition P, it is not the case both that [P] is true and that [not-P] is true.

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

Changed: 3c3

This is closely related though distinct from TheLawOfNoncontradiction and TheLawOfExcludedMiddle.

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.