Problem with the compact version of the definition for "exactly one" – math.stackexchange.com

Problem with the compact version of the definition for "exactly one" – math.stackexchange.com

01:38 No Comments
According to the definition, if we want to express that there is exactly one $x$ such that $P(x)$, we specify: $\exists x (P(x) \wedge \forall y (P(y) \rightarrow y = x))$ By Existential ...

from Hot Questions - Stack Exchange OnStackOverflow
via Blogspot

Share this

Unknown

Artikel Terkait

0 Comment to "Problem with the compact version of the definition for "exactly one" – math.stackexchange.com"

Post a Comment

Subscribe to: Post Comments (Atom)