Unique Quantification

Tags

logic

Is a form of existential quantification where the predicate is true for [see page 21, exactly] one element. \[ \exists ! x \; P(x) \] This is equivalent to \( \exists x (P(x) \land \neg \exists y (P(y) \land y \neq x)) \).