Law of excluded middle: Difference between revisions
Content deleted Content added
Larry_Sanger (talk) No edit summary |
(No difference)
|
Revision as of 19:36, 2 April 2001
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.