Exists a unique

From Maths
Revision as of 20:08, 9 November 2016 by Alec (Talk | contribs) (Created page with "{{Stub page|grade=A*|msg=Created just to note down my work! Flesh out later}} {{Dire page|needs work!}} ==Statement== * Suppose we have {{M|\exists x\in X[P(x,B)]}} where {{M|...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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:
Created just to note down my work! Flesh out later
This page is a dire page and is in desperate need of an update.
The message is:
needs work!


  • Suppose we have [ilmath]\exists x\in X[P(x,B)][/ilmath] where [ilmath]P[/ilmath] is some formula (FOL) and [ilmath]B[/ilmath] is some baggage (like more variables from the rest of the statement this might be in)

To extend this to there exists a unique [ilmath]x[/ilmath] such that {M|P(x,B)}} we can write:

  • [ilmath]\exists x\in X[P(x,B)\wedge(\forall x'\in X[x'\ne x\implies ¬P(x',B)])][/ilmath]

Or using contrapositive:

  • [ilmath]\exists x\in X[P(x,B)\wedge(\forall x'\in X[P(x',B)\implies x'=x])][/ilmath] (confirmed by third party)