Law of the excluded middle

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

The law of the excluded middle is a simple rule of logic. It states that for any proposition,[1] there is no middle ground. Every proposition is either true or false. For example, "Ginger is a cat" affirms the fact that Ginger is a cat. If it is true, then its opposite cannot also be true. If Ginger is a cat, then Ginger is not something else.[2]

Notes[change | change source]

  1. a proposition is, very roughly, a statement which is claimed to be true
  2. Bennett, Deborah Logic Made Easy page 30