Principle of excluded middle
From Maths
Revision as of 10:29, 8 September 2016 by Alec (Talk | contribs) (Created page with "{{Stub page|grade=A|msg=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''. Als...")
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
Contents
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].
