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

0 comments:

Post a Comment