Difference between revisions of "Law of the excluded middle"
Jump to navigation
Jump to search
| Line 2: | Line 2: | ||
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 20:54, January 16, 2009
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.