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]] | ||
Revision as of 08:22, April 27, 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.