Principle of excluded middle

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.