Law of excluded middle
HomePage
|
Recent Changes
|
Preferences
Showing revision 1
Difference (from revision 1 to revision 1)
(
minor diff
,
author diff
)
(The revisions are identical or unavailable.)
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
.