Cuantificador Existencial Único

Se utiliza para indicar un único elemento que cumple una propiedad o función específica, por lo cual la proposición p(x) es V. Esto es denotado como: Ǝ!x(p(x)).

Se identifica mediante el símbolo Ǝ!

Ejemplo 1

Ejemplo 2

Bibliografía