Law of excluded middle
From The Art and Popular Culture Encyclopedia
Related e |
Featured: |
In logic, The law of excluded middle, also known as the Principle of excluded middle or excluded middle is the principle that for any proposition, either that proposition is true, or its negation is. The principle can be expressed in either a logical or a semantical form. The semantical form uses the non-logical word "true", as above.
See also
- Laws of thought
- Logical graphs – Graphical syntax for propositional logic
- Peirce's law – Another way of turning intuition classical
- Law of bivalence
Unless indicated otherwise, the text in this article is either based on Wikipedia article "Law of excluded middle" or another language Wikipedia page thereof used under the terms of the GNU Free Documentation License; or on research by Jahsonic and friends. See Art and Popular Culture's copyright notice.