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 18:19, December 8, 2008
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.