Exists a unique
From Maths
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!
Statement
- 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)
