TheLawOfExcludedMiddle
HomePage
|
RecentChanges
|
Preferences
For any proposition, either it or its contradictory obtains; for any proposition P, either P or not-P.
If we're being careful, we'll distinguish this from
ThePrincipleOfBivalence
.