Wikipedia: Law of excluded middle

Difference (from prior major revision) (minor diff, author diff)

Changed: 1c1

For any proposition, either it or its contradictory obtains; for any proposition P, either P or not-P.

The law of excluded middle states that for any proposition, either it or its contradictory obtains; for any proposition P, either P or not-P.

Changed: 3c3,7

If we're being careful, we'll distinguish this from ThePrincipleOfBivalence.

If we're being careful, we'll distinguish this from the principle of bivalence.

If we remove the law of excluded middle from a formal logical system, the result will be a system called 'intuitionistic logic', which is the logic between mathematical intuitionism.

The law of excluded middle states that 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 the principle of bivalence.

If we remove the law of excluded middle from a formal logical system, the result will be a system called 'intuitionistic logic', which is the logic between mathematical intuitionism.