Sobre la Unicidad usando cuantificadores
(Lógica de predicados)
Elaborado por Prof. M. Monsalve
20 de Diciembre de 2023
Como complemento a la clase dedicada a los cuantificadores múltiples conviene analizar una expresión
de uso muy común en matemáticas: Existe un único elemento de U tal que .... Por ejemplo:
Existe un único elemento neutro para la suma en R, (el cero).
Existe un único elemento neutro para la multiplicación en R, (el uno).
En muchos textos es común encontrar un cuantificador adicional, denotado por ∃!, para simbolizar
la existencia única, es decir, la expresión cuantificada ∃!x ∈ U : P (x), se lee como “Existe un único
x ∈ U tal que P (x)”. Sin embargo ∃! se puede reescribir en función de cuantificadores múltiples, es
decir,
∃!x : P (x) ≡ ∃x : P (x) ∧ ∀x∀y : [P (x) ∧ P (y) → x = y] . (1)
| {z } | {z }
Existencia U nicidad
Ahora bien, recordando las definiciones de los cuantificadores existencial y universal:
Recordando
Si U = {x1 , x2 , . . . , xn }, entonces
∃x ∈ U : P (x) ≡ P (x1 ) ∨ P (x2 ) ∨ . . . ∨ P (xn )
∀x ∈ U : P (x) ≡ P (x1 ) ∧ P (x2 ) ∧ . . . ∧ P (xn )
y usando la notación Pa ≡ P (a) para simplificar, podemos reescribir la proposición (1) en un
universo del discurso simple, de digamos dos elementos U = {a, b}; esto con la intensión de entender
más fácilmente su significado. Por tanto,
∃!x : P (x) ≡ ∃x : P (x) ∧ ∀x∀y : [P (x) ∧ P (y) → x = y]
≡ ∃x : P (x) ∧ ∀x : [(P (x) ∧ Pa → x = a) ∧ (P (x) ∧ Pb → x = b)]
≡ [Pa ∨ Pb ] ∧ [q1 ∧ q2 ∧ q3 ∧ q4 ],
donde
q1 = Pa ∧ Pa → a = a
q2 = Pa ∧ Pb → a = b
q3 = Pb ∧ Pa → b = a
q4 = Pb ∧ Pb → b = b
1
Observe que:
1. El consecuente de la proposición q1 es una tautologı́a, con lo cual q1 es verdadera, independi-
entemente del valor de verdad del antecedente. Lo mismo ocurre con q4 .
2. Las proposiciones q2 y q3 en realidad son la misma proposición.
3. El consecuente de q2 es falso, por lo tanto, el valor de verdad de q2 depende única y exclusi-
vamente del valor de verdad de la proposición Pa ∧ Pb .
4. De los comentarios anteriores se desprende que:
∃!x : P (x) ≡ [Pa ∨ Pb ] ∧ [q1 ∧ q2 ∧ q3 ∧ q4 ]
≡ [Pa ∨ Pb ] ∧ [V ∧ q2 ∧ q2 ∧ V ]
≡ [Pa ∨ Pb ] ∧ q2
q2
z }| {
≡ [Pa ∨ Pb ] ∧ [Pa ∧ Pb → a = b]
≡ [Pa ∨ Pb ] ∧ [¬[Pa ∧ Pb ] ∨ [a = b]]
| {z }
f also
≡ [Pa ∨ Pb ] ∧ ¬[Pa ∧ Pb ] (2)
Finalmente, observe que la expresión (2) corresponde a la disyunción exclusiva entre Pa y Pb .
Por tanto se puede garantizar que existe un único elemento en el universo del discurso que hace
de P (x) una proposición verdadera. Este análisis, realizado para un universo de dos elementos,
puede extenderse para universos de cualquier dimensión finita1 .
Otra forma de representar el cuantificador ∃! mediante el uso de los cuantificadores ∃ y ∀ viene
dada por (3)
∃!x : P (x) ≡ ∃x : [P (x) ∧ ∀y : [P (y) → x = y]] . (3)
En esta nueva expresión los cuantificadores aparecen anidados. Al igual que se procedió con (1) se
puede usar un universo del discurso de dos elementos para entender esta nueva equivalencia.
1
o infinita numerable.
2
∃!x : P (x) ≡ ∃x : [P (x) ∧ ∀y : [P (y) → x = y]]
[Pa ∧ ∀y : [P (y) → a = y]]
≡ ∨
[Pb ∧ ∀y : [P (y) → b = y]]
V
z }| {
[Pa ∧ [(Pa → a = a) ∧ (Pb → a = b)]]
≡ ∨
[Pb ∧ [(Pa → b = a) ∧ (Pb → b = b)]]
| {z }
V
≡ [Pa ∧ (Pb → a = b)] ∨ [Pb ∧ (Pa → b = a)]
≡ [Pa ∧ (¬Pb ∨ a = }b)] ∨ [Pb ∧ (¬Pa ∨ b| {z
| {z = a})],
F F
de donde finalmente se desprende que
∃!x : P (x) ≡ [Pa ∧ ¬Pb ] ∨ [Pb ∧ ¬Pa ]. (4)
Nuevamente, observe que el lado derecho de (4) corresponde a la disyunción exclusiva entre Pa y
Pb 2 . Por otro lado, tal y como hemos mencionado, este análisis puede extenderse para universos de
cualquier dimensión finita.
Elaborado por Prof. M. Monsalve.
2
Compruebe que los lados derechos de las equivalencias (2) y (4) son equivalentes. Es decir, pruebe que
[Pa ∨ Pb ] ∧ ¬[Pa ∧ Pb ] ≡ [Pa ∧ ¬Pb ] ∨ [Pb ∧ ¬Pa ].
