La negación de la Singularidad Cuantificador

Question

Hay una negación de la singularidad cuantificador? Necesito para negar una expresión que incluye una singularidad cuantificador.

Answer 1

$\exists!x \varphi(x)$ es una abreviatura para $$\exists x[\varphi(x)\land\forall y(\varphi(y)\to x=y)]\;;$$ if you go through the usual negation machinery ($\lnot\exists x\psi(x)$ is equivalent to $\forall x \lnot\psi(x)$, De Morgan's laws, etc.), you get $$\forall x[\lnot \varphi(x) \lor \exists y(\varphi(y)\land \lnot(x=y))]\tag{1}$$ para la negación.

Alternativamente, usted puede razonar de forma intuitiva que es $$(\forall x \lnot\varphi(x)) \lor \exists x\exists y(\lnot(x=y)\land\varphi(x)\land\varphi(y)):\tag{2}$$ either $\phi(x)$ is false for all $x$, or it's true for at least two different values of $x$. It's a good exercise to try to show that $(1)$ and $(2)$ son equivalentes.

Answer 2

Deje $\rm A \oplus B$ denotar la disyunción exclusiva (puede ser representado como $\rm\neg(A\iff B)$ si se desea), y tenga en cuenta tres hechos acerca de la existencia única y negada cuantificación:

1. $\;\;\;\rm\exists!\, x:Q(x) \iff \exists x:\forall y\;(\neg Q(y) \oplus x=y)$
2. $\rm\neg \exists x:R(x) \iff \forall x:\neg R(x)$
3. $\;\rm \neg \forall x:S(x)\iff\exists x:\neg S(x) $

Poniendo todo esto junto:

$$\rm \neg\exists!\, x: P(x) \iff \neg(\exists x:\forall y\;(\neg P(y) \oplus x=y))$$ $$\qquad\qquad\quad\rm\iff \forall x\;\neg \forall y (\neg P(y)\oplus x=y)$$ $$\qquad\qquad\qquad\;\rm\iff \forall x\; \exists y:\neg(\neg P(y)\oplus x=y)$$ $$\qquad\qquad\qquad\quad\;\;\iff \forall x \; \exists y:(\neg P(y)\iff x=y)$$ Alternativamente, uno puede escribir $\rm P(y)\iff x\ne y$ dentro de los paréntesis.

Answer 3

Acaba de ampliar el cuantificador:

$$ \exists ! x ~ P(x) \equiv \exists x ~ (P(x) \wedge (\forall y ~ P(y) \rightarrow y = x)) $$

y aplicar la costumbre negación reglas de los cuantificadores.