Siteadmin, Check users, nsTeam1RO, nsTeam1RW, nsTeam1_talkRO, nsTeam1_talkRW, oversight, Administrators
30,650
edits
Changes
Law of the excluded middle (view source)
Revision as of 18:19, December 8, 2008
, 18:19, December 8, 2008modern logic
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.
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.
In classical logic, this principle for a proposition A would be A V ~A.
[[category:logic]]
[[category:logic]]