Difference between revisions of "Law of the excluded middle"
Jump to navigation
Jump to search
m (Adding See Also section) |
|||
| Line 1: | Line 1: | ||
The '''[[law]] of the excluded middle''' is a principle in [[modern logic]] that means something is either true or it is false. There is no "middle" between true and false. | The '''[[law]] of the excluded middle''' is a principle in [[modern logic]] that means something is either true or it is false. There is no "middle" between true and false. | ||
| − | In classical logic, this principle for a proposition A would be A V ~A. | + | In classical logic, this principle for a proposition A would be A V ~A. Its opposite is dialetheism. |
==See Also== | ==See Also== | ||
*[[Law of Non-Contradiction]] | *[[Law of Non-Contradiction]] | ||
[[category:logic]] | [[category:logic]] | ||
Revision as of 01:10, March 9, 2015
The law of the excluded middle is a principle in modern logic that means something is either true or it is false. There is no "middle" between true and false.
In classical logic, this principle for a proposition A would be A V ~A. Its opposite is dialetheism.