Law of the excluded middle
This is an old revision of this page, as edited by Aschlafly (talk | contribs) at 01:38, January 6, 2007. It may differ significantly from current revision.
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.