Difference between revisions of "Principle of excluded middle"
From Maths
(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...") |
(No difference)
|
Latest revision as of 10:29, 8 September 2016
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].
