Showing posts with label excluded. Show all posts
Showing posts with label excluded. Show all posts

Thursday, August 8, 2013

Law of the excluded middle

(Difference between revisions)

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.


View the original article here