Principle of excluded middle

From Maths
Jump to: navigation, search
Stub grade: A
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
This is really an axiom surely.... as (although there'd be not much point to anything otherwise) it is an assumption we're making a-priori. Also find another reference and include the statement itself! Page was created in a rush

Statement

Each proposition in a domain (of a first order language) is either true or false, not both; furthermore, there is no other choice[1].

References

  1. Mathematical Logic - Foundations for Information Science - Wei Li

Template:Formal logic navbox