ThePrincipleOfBivalence
HomePage
|
RecentChanges
|
Preferences
Showing revision 2
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 though distinct from
TheLawOfExcludedMiddle
and
TheLawOfNoncontradiction
.