Difference between revisions of "Law of the excluded middle"
Jump to navigation
Jump to search
m (undeadend + bold title) |
|||
| 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. | ||
[[category:logic]] | [[category:logic]] | ||
Revision as of 23:46, October 1, 2007
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.