La teora de conjuntos es una divisin de las matemticas que estudia los conjuntos.

El primer
estudio formal sobre el tema fue realizado por el matemtico alemn Georg Cantor, Gottlob Frege
!ulius "il#elm $ic#ard %ede&ind en el 'iglo ()( ms tarde reformulada por *ermelo.
El concepto de conjunto es intuitivo se podr+a definir como una ,coleccin de objetos,- as+, se
puede #ablar de un conjunto de personas, ciudades, gafas, lapiceros o del conjunto de objetos que
#a en un momento dado encima de una mesa. .n conjunto est bien definido si se sabe si un
determinado elemento pertenece o no al conjunto. El conjunto de los bol+grafos azules est bien
definido, porque a la vista de un bol+grafo se puede saber si es azul o no. El conjunto de las
personas altas no est bien definido, porque a la vista de una persona, no siempre se podr decir si
es alta o no, o puede #aber distintas personas, que opinen si esa persona es alta o no lo es. En el
siglo ()(, seg/n Frege, los elementos de un conjunto se defin+an slo por tal o cual propiedad.
0ctualmente la teor+a de conjuntos est bien definida por el sistema *FC. 'in embargo, sigue
siendo c1lebre la definicin que public Cantor
'e entiende por conjunto a la agrupacin en un todo de objetos bien diferenciados de nuestra
intuicin o nuestra mente.
Georg Cantor
.n conjunto es un saco lleno de elementos. %entro del saco puede #aber n/meros, letras, plantas,
personas, mastodontes,..., practicamente cualquier cosa.
!ulius "il#elm $ic#ard %ede&ind
.sualmente los conjuntos se representan con una letra ma/scula2 A, B, K,...
Llamaremos elemento, a cada uno de los objetos que forman parte de un conjunto, estos elementos
tienen carcter individual, tienen cualidades que nos permiten diferenciarlos, cada uno de ellos es
/nico, no #abiendo elementos duplicados o repetidos. Los representaremos con una letra min/scula2
a, b, k,...
notacin por extensin:
El conjunto universal, que siempre representaremos con la letra U 3u ma/scula4, es el conjunto de
todas las cosas sobre las que estemos tratando. 0s+, si #ablamos de n/meros enteros entonces U es
el conjunto de los n/meros enteros, si #ablamos de ciudades, U es el conjunto de todas las ciudades,
este conjunto universal puede mencionarse e5pl+citamente, o en la maor+a de los casos se da por
supuesto dado el conte5to que estemos tratando, pero siempre es necesario demostrar la e5istencia
de dic#o conjunto previamente.
E5iste adems, un /nico conjunto que no tiene elementos al que se le llama conjunto vaco
La caracter+stica importante de este conjunto es que satisface todos los elementos posibles que no
estn contenidos en 1l, es decir
6or otro lado, si todos los elementos 5 de un conjunto A satisfacen alguna propiedad, misma que
pueda ser e5presada2
Lo anterior se lee ,A es el conjunto de elementos x, que cumplen la propiedad p3x4,. El s+mbolo ,:,
se lee ,que cumplen la propiedad, o ,tal que,- este s+mbolo puede ser remplazado por una barra
6or ejemplo, el conjunto
6uede definirse por
%E7E$8)90C):9 %E .9 C;9!.97;
<a dos formas de determinar conjuntos.
'e dice que un conjunto es determinado por extensin 3o enumeracin4, cuando se da
una lista que comprende a todos los elementos del conjunto slo a ellos.
0 = > a, e, i, o, u ?
@ = > A, B, C, D, E ?
C = > c, , , j, u, t, s ? En un conjunto determinado por extensin
no se repite un mismo elemento.
'e dice que un conjunto es determinado por comprensin, cuando se da una
propiedad que la cumpla en todos los elementos del conjunto slo a ellos.

0 = > 5F5 es una vocal ?
@ = > 5F5 es un n/mero par menor que GA ?
C = > 5F5 es una letra de la palabra conjuntos ?

Hamos a mostrarte un cuadro comparativo de determinacin de conjuntos


0 = > a, e, i, o, u ? 0 = > 5F5 es una vocal ?
@ = > A, B, C, D, E ? @ = > 5F5 es un n/mero par menor que GA ?
C = > c, , , j, u, t, s ? C = > 5F5 es una letra de la palabra conjuntos ?
% = > G, I, J, K, L ? % = > 5F5 es un n/mero impar menor que GA ?
E = > b, c, d, f, g, #, j, . . . ? E = > 5F5 es una consonante ?
C;9!.97;' F)9)7;'
.n conjunto es finito si consta de un cierto n/mero de elementos distintos, es decir si
al contar los diferentes elementos del conjunto el proceso de contar puede acabar. En
caso contrario, el conjunto es infinito.
8 = > 5 F 5 es un r+o de la tierra ? Conjunto finito
9 = > A, G, B, I, C, J, D, K, E, ... ? Conjunto infinito
6 = > 5 F 5 es un pa+s de la tierra ? Conjunto finito
H = > I, D, L, GB, GJ, GE, BG, BC, BK, ... ? Conjunto infinito
)G.0L%0% %E C;9!.97;'
'e dice que B conjuntos 0 @ son iguales cuando ambos tienen los mismos
elementos, es decir si cada elemento de 0 pertenece a @ si cada elemento que
pertenece a @ pertenece tambi1n a 0. La igualdad se denota 0 = @.
En la igualdad, el orden de los elementos de cada conjunto no importa.
C;9!.97; H0CM;
Es un conjunto que carece de elementos. 'e suele llamarle conjunto nulo, se le
denota por el s+mbolo N o > ?.
0 = > Los perros que vuelan ? 0 = > ? 0 =
@ = > 5 F 5

es un mes que tiene JI d+as? @ = > ? @ =
C = > 5 F 5
I
= E 5 es impar ? C = > ? C =
% = > 5 F 5

es un d+a de LA #oras ? % = > ? % =
C;9!.97; .9)70$);
Es todo conjunto que est formado por un slo /nico elemento.
0 = > J ?
@ = >n/meros pares entre D GA? = > E ?
C = >la capital del 6er/ ? = > Lima ?
% = >5 F B5 = D? = >I?
C;9!.97; .9)HE$'0L
Es el conjunto que contiene a todos los elementos del discurso. Es un t1rmino
relativo. 'e le denota por la letra ..
C;9!.97; 6;7E9C)0
La familia de todos los subconjuntos de un conjunto 8 se llama Conjunto 6otencia
de 8. 'e le denota como B
8
.
a4
8 = > G, B ?
El conjunto 8 tiene B
elementos

B
8
= > >G?, >B?, >G, B?, N?

entonces B
B
= C elementos

b4
8 = > G, B, I ?

El conjunto 8 tiene I
elementos

B
8
= > >G?, >B?, >I?, >G, B?, >G, I?, >B, I?, >G,
B, I?, N?

entonces B
I
= E elementos
C;9!.97;' %)'!.97;'
'i dos conjuntos 0 @ no tienen ning/n elemento com/n entonces 0 @ son
disjuntos.
%)0G$080' %E HE99
0 cada conjunto se le considera encerrado dentro de una curva 3plana4 cerrada. Los
elementos del conjunto considerado pueden ser espec+ficamente dibujados o pueden
quedar 3impl+citamente4 sobreentendidos.
.9):9
%E
C;9!.9
7;'
La unin de
los conjuntos
0 @ es el
conjunto
formado por
todos los
elementos
que
pertenecen a
0 o a @ o a
ambos. 'e
denota2 0 .
@. La unin
de conjuntos
se define
como2
)97E$'ECC):9 %E C;9!.97;
'e define la interseccin de dos conjuntos 0 @ al conjunto de elementos que son
comunes a 0 @. 'e denota por 0 @, que se lee2 0 interseccin @. La interseccin
de 0 @ tambi1n se puede definir2
0 @ = > 5 F 5 0 5 @ ?
%)FE$E9C)0 %E C;9!.97;'
'e denomina diferencia de dos conjuntos 0 @ al conjunto formado por todos los
elementos de 0 pero que no pertenecen a @.
La diferencia se denota por2 0 O @ que se lee2 0 diferencia @ o 0 menos @. 'e define
la diferencia de dos conjuntos tambi1n como2
0 O @ = >5 F 5 0 5 @?
C;86LE8E97; %E .9 C;9!.97;
'i un conjunto 0 es subconjunto de otro conjunto universal ., al conjunto AP formado
por todos los elementos de . pero no de 0, se llama complemento de A con respecto a
.. 'imblicamente se e5presa2
0P = > 5F5 . 5 0 ?
EJERCICIOS DE CONJUNTOS
Preguntas
G4 Cules son los elementos de2

a4
El conjunto de los dias de la semana
b4 El conjunto de las estaciones del aQo
c4 Los n/meros impares menores de GG
d4 Los n/meros pares maor que GA menor que BA
e4 Los n/meros primos menores de GJ
B4 Colocar H F seg/n lo afirmado sean verdadero o falso

a4
D > B, C, J, D, L ? ( )

b4
> o, p, q, 5 ? ( )

c4
5 > o, p, q, ? ( )

d4
6er/ > pa+ses de Europa ? ( )

e4
0mazonas > rios de 0m1rica ? ( )
I4
RCules de los siguientes conjuntos son2 vacios, unitarios, finitos,
infinitosS

a4
! = > 5 F 5 es n/mero de cabellos total de los #abitantes del 6er/ ? . . . . .

b4
@ = > vocales de la palabra vals? . . . . .

c4
C = > G, I, J, K, L, . . . . .? . . . . .

d4
% = > 5 F 5 es un #abitante de la luna? . . . . .

e4
E = > 5 9 F 5 T GJ? . . . . .

f4
F = > 5 9 J T 5 T J ? . . . . .

g4
G = > 5 9 5 U GJ? . . . . .

#4
< = > 5 9 5 = 5? . . . . .

i4
) = > 5 F 5 es presidente del ;ceano 6ac+fico? . . . . .

j4
! = > 5 F 5 es n/mero de cabellos total de los #abitantes del 6er/ ? . . . . .
)ntroducciV on a los lenguajes formales
0nte la posibilidad de que el lector Waun si tiene conocimientos matemV aO
ticosW no estV e familiarizado con los conceptos bV asicos que #emos de manejar,
vamos a introducirlos aquV X de forma poco rigurosa pero mV as didV actica que en la
e5posiciV on deYnitiva que tendrV a lugar despuV es. Esta secciV on no tiene, pues, mV as
objeto que la de familiarizar al lector con las ideas bV asicas que vamos a manejar.
9ada de lo dic#o aquV X serV a usado luego. Zuien descubra contradicciones entre
algo dic#o aquV X algo dic#o mV as adelante, que se quede, por supuesto, con lo
dic#o luego que piense si no #a sido mejor tener primero una idea equivocada
pero clara despuV es correcta clara que no tener siempre una idea correcta e
ininteligible.
6or razones que serV Xa difV Xcil justiYcar a#ora, resulta conveniente construir
GKGE CapV Xtulo G. Lenguajes formales de primer orden
lenguajes para #ablar no sV olo de lo que ocupa a los matemV aticos, sino de cualO
quier cosa. Construamos por ejemplo un lenguaje para #ablar de todas las
personas que #abitan la 7ierra.
[ En primer lugar serV a conveniente tener nombres para algunas de estas
personas. 6or ejemplo \p] puede nombrar a 6edro, \j] puede nombrar a
!uan, \a]a0na\m] a 8arV Xa. 0 estos signos que usaremos para nomO
brar los objetos de los que queremos #ablar los llamaremos constantes. 0sV X,
\p], \j], \a]\m] son constantes de nuestro lenguaje. HaliV endonos del
#ec#o de que sobre la 7ierra #a un nV umero Ynito de personas, podrV Xamos
tomar una constante para nombrar a cada una de ellas, pero no es obliO
gatorio #acerlo, podemos, si queremos, quedarnos con estas V unicas cuatro
constantes.
Los matemV aticos usan constantes como \A], \G], \B], \9], \$], \^] entre
otras muc#as.
[ 6odemos a#ora tomar signos que e5presen #ec#os, equivalentes a los verO
bos en las lenguas naturales. Los llamaremos relatores. .n relator podrV Xa
ser \<], que signiYque \ser un #ombre], de manera que \<p] signiYca
\6edro es un #ombre]. 6ongamos que \0] signiYca \ser amigos], de
manera que \0pm] signiYca \6edro 8arV Xa son amigos].
%iremos que \<] es un relator monV adico o de rango G, mientras que \0]
es un relator diV adico o de rango B. El rango de un relator es el nV umero
de complementos que necesita para tener sentido. 6or supuesto podemos
tomar cuantos relatores queramos de cualquier rango no nulo.
6or conveniencia no vamos a admitir relatores de rango variable. .no
podrV Xa pensar que \0] puede usarse con cualquier nV umero de complemenO
tos de manera que \0pm] signiYca \6edro 8arV Xa son amigos], \0pma]
signiYca \6edro, 8arV Xa 0na son amigos], etc. 9o aceptaremos esto,
sino que cada relator tendrV a un rango Yjo asV X, si decidimos que \0]es
diV adico, convendremos en que \0pma] no tiene sentido. La razV on es que
esto nos evitarV a complicaciones tV ecnicas , de todos modos, nuestro lenO
guaje no pierde capacidad e5presiva. En este caso concreto, el intento de
aYrmaciV on \0pma] puede e5presarse correctamente usando varias veces
el relator \0] como es debido.
E5igiremos que todo lenguaje tenga un relator diV adico que representareO
mos \=] al que llamaremos igualador, cuo signiYcado serV a \ser igual]
en el sentido de ser una misma cosa. En lugar de escribir \= pa] escribiO
remos \p = a], que signiYca \6edro es 0na] 3aYrmaciV on falsa, pero bien
escrita4.
Los matemV aticos usan muc#os relatores, como \=], \ ], \ ], \_], etc.
[ 0 partir de unas aYrmaciones podemos construir otras mV as complejas
usando para ello los llamados conectores lV ogicos. 'on cinco2
GElmV as sencillo es el negador \`]3lV ease \no]4. 'i \<p] signiYca
\6edro es un #ombre], \`<p] signiYca \6edro no es un #ombre].G.G. )ntroducciV on a los lenguajes
formales GL
En general, si a es una aYrmaciV on verdadera, `a signiYca justo lo
contrario , por tanto, es falsa, viceversa.
B ;tro conector es el conjuntor o conjunciV on \ ]3lV ease \]4. 0sV X,
\<p `<a] signiYca \6edro es un #ombre 0na no es un #ombre],
es decir, si a b son dos aYrmaciones, a b es la aYrmaciV on que
aYrma lo que aYrma a lo que aYrma b. El signo \ ] se comporta en
nuestro lenguaje e5actamente igual como se comporta en castellano
la conjunciV on \].
I 'i el conjuntor es \], el disuntor o disunciV on es \o], lo reO
presentaremos por \ ]. En castellano #a dos formas de usar la
conjunciV on \o]. Cuando a !uanito le dice su papV a2 \6ara tu cumO
pleac nos te puedo regalar la bicicleta o el balV on de fV utbol], no vale
que !uanito responda2 \@ien, regV alamelos], porque lo que su padre
quiere es que elija. 0quV X \o] signiYca \lo uno o lo otro, pero no las
dos cosas]. 6ero cuando a !uanito le dice la abuelita2 \Es #ora de
merendar, come galletas o bizcoc#os], esta vez !uanito no tiene que
elegir, su abuelita se pondrV a mu contenta si come de todo se #ace
mu maor. 0quV X \o] signiYca \lo uno o lo otro, o tambiV en las dos
cosas]. 6ues bien, para nosotros \ ] signiYcarV a siempre esto V ultimo.
\<p <a] signiYca \6edro es un #ombre o 0na es un #ombre], lo
cual es cierto porque 6edro es un #ombre. 6ero si digo \<p <j],
sigo estando en lo cierto porque, en sentido no e5clusivo Wcomo la
abuelitaW, 6edro es un #ombre o !uan es un #ombre2 ambos lo son.
7odo esto puede resumirse en las tablas siguientes2
a b a b a b
H H H H
H F F H
F H F H
F F F F
0sV X, si las aYrmaciones a b son ambas verdaderas, entonces a b
tambiV en lo es, al igual que a b-si a es verdadera b falsa a b
es falsa, mientras que a b es verdadera etc.
9aturalmente tambiV en el negador tiene su tabla, mV as sencilla, puesto
que sV olo depende de un argumento2
a `a
H F
F H
C El siguiente conector es el mV as polV emico. 'e llama implicador lo
representaremos \d]3lV ease \implica]4. La idea es que a d b #a
de signiYcar \si a, entonces b], pero esto puede entenderse de varias
maneras. El problema se remonta al siglo ))) a.C., cuando a los esO
toicos analizaban este tipo de enunciados crearon una lV ogica muc#oBA CapV Xtulo G. Lenguajes
formales de primer orden
mejor que la de 0ristV oteles pero que, al no estar respaldada por una
reputaciV on como la del estagirita, quedV o en el olvido.
La controversia sobre cV omo interpretar los enunciados a d b fue tal,
que CalV Xmaco llegV o a decir2 \<asta los cuervos discuten en los tejados
este problema]. FilV on consideraba que a d b era verdadero a no ser
que a fuera verdadero pero b falso. 0sV X \'i 6edro es un #ombre
entonces 0na es una mujer] o \'i 6edro es una mujer entonces 0na
es un #ombre] son verdaderas aunque el se5o de 6edro poco ineua
sobre el se5o de 0na. La segunda aYrmaciV on es verdadera porque
sV olo #abla de lo que ocurre si 6edro es una mujer, sin decir nada del
caso en que 6edro sea un #ombre, como de #ec#o ocurre. En cambio,
\'i 6edro es un #ombre entonces 0na es un #ombre] es falsa, pues
6edro es un #ombre no se cumple lo que, segV un la frase, deberV Xa
ocurrir en tal caso, es decir, que 0na sea un #ombre.
6or otra parte, %iodoro decV Xa que a d b es verdadero si siempre
que a sea verdadero b tambiV en lo es. 6or ejemplo \'i es verano el
cielo estV a nublado] serV Xa verdadero para FilV on en un dV Xa de invierno
cualquiera, mientras que para %iodoro serV Xa falsa, a que es posible
encontrar dV Xas de verano en los que #aga sol, es decir, dV Xas en los
que ocurre a pero no por ello sucede b. La interpretaciV on de \'i
. . . entonces . . . ] en las lenguas naturales estV amV as prV o5ima a la de
%iodoro que a la de FilV on, pues suele depender de relaciones causales
no meramente lV ogicas. La interpretaciV on de FilV on se da ocasionalO
mente cuando decimos2 \'i apruebo este e5amen lloverV an lec#ugas],
que es tanto como decir2 \9o vo a aprobar este e5amen]. 6ero en
matemV aticas es mV as prV actica la implicaciV on de FilV onasV X, a d b
deberV a interpretarse de acuerdo con la tabla siguiente2
a b a d b
H H H
H F F
F H H
F F H
En deYnitiva, para que a d b sea verdadera #a de ocurrir o bien que
a sea verdadera, en este caso b tambiV en #a de serlo, o bien que a
sea falsa entonces da igual lo que le ocurra a b. 9otemos por tanto2
.na aYrmaciV on falsa implica cualquier aYrmaciV on2 'i a es falsa,
a d b es verdadera, cualquiera que sea b.
.na aYrmaciV on verdadera es implicada por cualquier aYrmaciV on2
'i b es verdadera, a d b es verdadera, cualquiera que sea a.
J Finalmente tenemos el coimplicador \f] 3\si sV olo si]4 que indica
que a b son ambas verdaderas o ambas falsas, que lo que vale para
una, vale para la otra. <e aquV X su tabla2G.G. )ntroducciV on a los lenguajes formales BG
a b a f b
H H H
H F F
F H F
F F H
[ Los signos que dan maor fuerza e5presiva a los lenguajes formales son los
cuantiYcadores, que se usan juntamente con las variables.
Las variables las representaremos con letras cualesquiera 5, , z, u, v,
g principalmente. 9ombran a objetos indeterminados. Esto es, desde
luego, ambiguo, pero lo entenderemos al considerar los cuantiYcadores.
7omemos por ejemplo el cuantiYcador e5istencial o particularizador ]
h]
3lV ease \e5iste]4. \
h5<5] signiYca \E5iste un 5 de manera que 5 es
un #ombre] o, mV as brevemente, \E5iste un #ombre]. 0quV X, \5]esuna
variable. En general \
h5 algo] signiYca que \algo] es cierto si la variable
\5] se interpreta adecuadamente.
;tro ejemplo2 \
h505a] signiYca \E5iste un 5 de manera que 5 es amigo
de 0na], o sea, \0na tiene un amigo].
El cuantiYcador universal \
h]3lV ease \para todo]4 se usa como sigue2
\
h5 algo] signiYca que \algo] es verdadero se interprete como se interO
prete la variable \5]. 6or ejemplo \
h5<5] signiYca \6ara todo 5, 5 es
un #ombre], o sea, \'V olo #a #ombres], lo cual es evidentemente falso.
\
h5305a d 05p4] signiYca ]6ara todo 5,si 5 es amigo de 0na entonces
5 es amigo de 6edro], o sea, \6edro es amigo de todos los amigos de 0na].
8V as ejemplos2
6edro es el V unico amigo de 0na2
h5305a f 5 = p4,
0na sV olo tiene un amigo2
h
h5305a f 5 = 4,
Conmutatividad de la amistad2
h5305 f 054,
0na no es amiga de todos los #ombres2
h53<5 `05a4,
0na no es amiga de ningV un #ombre2
h53<5 d`05a4,
9ingV un #ombre es mujer2
h53<5 d`854.
3El matemV atico que tenga cierta familiaridad con los cuantiYcadores deO
berV Xa, no obstante, Yjarse en el orden de los signos en el uso de los
parV entesis4.
[ ;tros signos que pueden simpliYcar la escritura son los funtores. 'i queO
remos decir que los padres de los italianos son italianos podemos usar un
relator monV adico \)] que signiYque \ser italiano] un relator diV adico
\6] tal que \65] signiYque \5 es el padre de ], construir la aYrO
maciV on \
h53) 65 d )54], pero otra alternativa es tomar un funtor
monV adico \f] de manera que \f5] signiYque \el padre de 5] escribir
simplemente \
h53)5 d )f54].
.n funtor es un signo que, completado con nombres de objetos, nombra
a otro objeto, a diferencia de un relator que da lugar a una aYrmaciV on.BB CapV Xtulo G. Lenguajes
formales de primer orden
.n ejemplo de funtor diV adico podrV Xa ser un \8] que signiYque \el maor
de edad de], asV X\8pj] es el maor de edad entre 6edro !uan. 9aO
turalmente pueden construirse funtores de cualquier rango. Ejemplos de
funtores en matemV aticas son \ ], \i], etc.
[ 6ara acabar nos ocupamos del V ultimo signo con que proveeremos a nuestros
lenguajes formales2 el descriptor \j]3lV ease \tal que]4. 'upongamos que
0na tiene un solo amigo. Entonces \5 j 05a] signiYca \el 5 tal que 5
es amigo de 0na], o sea, \el amigo de 0na]. .na e5presiV on de este tipo
se llama una descripciV on. En general \5 jalgo] signiYca el V unico 5 que
cumple \algo].
Es fV acil darse cuenta de que esto nos va a crear problemas. @ertrand
$ussell dijo una vez2 \El actual re de Francia es calvo]. 6odemos forO
malizar esta aYrmaciV on con un relator monV adico \C] que signiYque \ser
calvo] otro \F] que signiYque \ser re de Francia a#ora]. 0sV X nos queda
\C35 j F54]. 6ero sucede que no #a re en Francia2 \
h5`F5]. RCV omo
debemos interpretar esta descripciV onS REl actual re de Francia es o no
calvoS Los matemV aticos no se ven libres de este problema2 RCuV anto vale
lV Xm n
3kG4nS 6or supuesto lV Xm n
3kG4n = 5 j
h
3kG4n n
kd 5
h
.
El problema es que #emos de encontrar un tratamiento co#erente para las
descripciones, pues si, por ejemplo, dijV eramos que \C35 j F54] es falso,
estarV Xamos obligados a aceptar que \`C35 j F54] es verdadero, o sea, que
el actual re de Francia no es calvo, estarV Xamos en las mismas.
<a dos salidas posibles. .na mu drV astica Wpero mu naturalW consiste
en pro#ibir que se escriban descripciones impropias, o sea, descripciones
de la forma \5 jalgo] donde no #a un V unico 5 que cumpla \algo]. %e este
modo \C35 j F54] no es ni verdadera ni falsa porque no es una aYrmaciV on.
6ero #a otra posibilidad mV as artiYcial pero mV as cV omoda que es la
que vamos a adoptar2 EscV ojase una \vV Xctima] entre los objetos de los
que #ablamos, llamV emosla descripciV on impropia o, para abreviar, d.'i
estamos #ablando de personas, d puede ser una cualquiera, por ejemplo,
!ulio. .n matemV atico puede tomar como descripciV on impropia al conjunto
vacV Xo. 0l encontrarnos con una descripciV on \5 jalgo] pueden pasar dos
cosas2
a4 que e5ista un V unico 5 que cumpla \algo]. Entonces la descripciV on se
llama propia convenimos en que \5 jalgo] representa a ese V unico 5
que cumple \algo].
b4 que no e5ista un V unico 5 que cumpla \algo], bien porque no #aa
ninguno, bien porque #aa varios. Entonces la descripciV on se llama
impropia convenimos en que \5 jalgo] signiYca d.
'egV un este criterio, el actual re de Francia es !ulio serV a calvo o no
segV un si !ulio lo es. El #ijo de la reina de )nglaterra tambiV en es !ulio, esta
vez porque tiene varios #ijos. Este convenio no crea problemas si tenemos
siempre en cuenta lo siguiente2G.B. %eYniciV on de lenguaje formal BI
a4 6ara las descripciones propias2 'i e5iste un V unico 5 que cumple \algo]
entonces \5 j algo] cumple \algo].
b4 6ara las descripciones impropias2 'i no e5iste un V unico 5 que cumpla
\algo] entonces \5 j algo] es d , por tanto, no tiene por quV e cumplir
\algo].
6or ejemplo, el #ijo de la reina de )nglaterra no es #ijo de la reina de
)nglaterra, es !ulio. El V unico cuidado que #emos de tener es el de no
ser ingenuos pensar que todas las descripciones que vemos son propias.
9otemos que en cualquier caso \5 j 5 = 5] siempre es una descripciV on
impropia, luego podemos decir que si la descripciV on \5 j algo] es impropia,
entonces 35 j algo4 = 35 j 5 = 54, asV X no #acemos referencia e5plV Xcita a
d, no es necesario, si no queremos, precisar de quiV en se trata.
Hariables libres ligadas
7erminaremos el capV Xtulo introduciendo los mV Xnimos conceptos que vamos
a necesitar sobre la sinta5is de los lenguajes formales. En esta secciV on nos
ocuparemos de la nociV on de variable libre ligada. La idea es que una variable
estV a libre en una e5presiV on si no estV a afectada por ningV un cuantiYcador ni por
el descriptor. En caso contrario estV a ligada. 6or ejemplo, la fV ormula
h5
3correspondiente al lenguaje de la teorV Xa de conjuntos4 contiene libre la variable 5G.C. Hariables
libres ligadas IG
ligada 3por el particularizador4 la variable .