TEORA SEMNTICA

Dr. Hilton Alers-Valentn

FUNDAMENTOS FORMALES: TEORA DE CONJUNTOS 1

2
2.1

Propiedades bsicas de conjuntos

Un conjunto es una coleccin abstracta de objetos. Cualquier coleccin de objetos a, b, c forma un conjunto.
Los objetos que pertenecen a un conjunto son sus miembros o elementos.
(1)

Representacin de conjuntos
La manera ms bsica de representar un conjunto es mediante una enumeracin de sus miembros
entre llaves: { a, b, c } = el conjunto que consiste de a, b y c
Otra manera (informal) de denotar un conjunto es mediante un nombre. Generalmente, se usan letras
maysculas para referirse a conjuntos especficos, siempre y cuando se entienda a qu conjuntos
hacen referencia esas letras. Este mtodo es particularmente til cuando el conjunto de tiene un
nmero muy grande (o infinito) de miembros.

(2)

N = el conjunto de todos los nmeros naturales

E = el conjunto de todos los estudiantes de la UPR

Representacin de pertenencia a un conjunto

Si un objeto b es miembro de / pertenece a un conjunto A, entonces b A.

Si un objeto b no es miembro de/pertenece a un conjunto A, entonces b A.

Cualquier objeto puede ser miembro de un conjunto, incluyendo otro conjunto.

El nmero de miembros de un conjunto A se denomina la cardinalidad de A y se representa como |A|.
(3)

Algunos conjuntos posibles

{ a, b, c, { d, e, f } } =

el conjunto cuyos miembros son a, b, c y el conjunto cuyos

miembros son d, e, f

{ { f, e } }

el conjunto cuyo (nico) miembro es el conjunto cuyos miembros

son f, e

Los conjuntos estn totalmente definidos por sus miembros. Por tanto, al especificar un conjunto no
importa el orden de los miembros (4a). Adems, repetir el nombre de un miembro no afecta la
especificacin de un conjunto (4b).
(4)

Algunas equivalencias

{ a, b, c } = { a, c, b } = { b, a, c } = { b, c, a } = { c, a, b } = { c, b, a }

{ a, a, b, b, c, c, c } = { a, b, c }

Un conjunto que solo tiene un miembro se denomina conjunto unitario.

Apuntes adaptados de notas de Seth Cable (2011) sobre Heim & Kratzer (1998: 3-11) y de Barbara
Partee (2005). Para una exposicin ms detallada, vanse Partee, ter Meulen & Wall (1990: 3-36) y
Chierchia & McConnell-Ginet (2000: 529-540).

Teora de Conjuntos
(5)

ALERS-VALENTN

Ejemplos de conjuntos unitarios

{a}
=
el conjunto unitario de a
{ { f, e } }
=
el conjunto unitario del conjunto que consiste de f y e

Hay solo un conjunto que no tiene ningn miembro. A este conjunto se le llama el conjunto vaco o nulo.
(6)

Representacin del conjunto vaco

El conjunto vaco se representa como . Otra notacin posible para el conjunto vaco es { }.

OJO: {} no es el conjunto vaco, sino el conjunto (unitario) cuyo (nico) miembro es el conjunto vaco.
2.2

Relaciones entre conjuntos

Si dos conjuntos tienen miembros en comn, se dice que coinciden. Si dos conjuntos no tienen miembros en
comn, se dice que son disjuntos.
(7)

Algunos conjuntos coincidentes

{ a, b, c } y { c, d, e }

(8)

Algunos conjuntos disjuntos

{ a, b, c } y { d, e, f }
{ a, b, c } y { { b, c }, d }

Si cada miembro del conjunto A es tambin miembro del conjunto B, entonces A es un subconjunto de B,
y B es un superconjunto de A.
(9)

Algunos subconjuntos y superconjuntos

{ a, b, c } es un subconjunto de { a, b, c, d }
{ x, y, z } es un superconjunto de { x, y }

(10)

Representacin de las relaciones de subconjunto y superconjunto

Si A es un subconjunto de B, entonces se denota A B.
Si B es un superconjunto de A, entonces se denota B A.

(11)

Consecuencias importantes
Para todo conjunto A, A A y A A.

(12)

Subconjuntos y superconjuntos propios

Si A B y A B, entonces A es un subconjunto propio de B, y se representa A B

(13)

Para todo conjunto A, B se dice que A = B syss A B y A B, es decir, A y B tienen

exactamente los mismos miembros. De lo contrario, A B.
El conjunto vaco es un subconjunto de cualquier conjunto

Si A B y A B, entonces A es un superconjunto propio de B, y se representa A B

Conjunto potencia
El conjunto de todos los subconjuntos de un conjunto A se denomina el conjunto potencia de A y se
denota como (A), y a veces como 2A (ya que la cardinalidad de (A) o |(A)| = 2|A|).

Si A = {a, b}, (A) = { , {a}, {b}, {a, b} }

Teora de Conjuntos
2.3

Operaciones de conjuntos

2.3.1

Unin, Interseccin

ALERS-VALENTN

Para cualquier conjunto A y B, la unin de A y B es el conjunto menor que contenga todos los miembros de
A y todos los miembros de B.
(14)

Representacin de la unin de conjuntos

Sea A = { a, b, c } y B = { c, d, e }. La unin de A y B es { a, b, c, d, e }
En vez de la unin de A y B, se escribe A B

Para cualquier conjunto A y B, la interseccin de A y B es el conjunto mayor que contenga solo los
miembros que A y B tienen en comn.
(15)

Representacin de la interseccin de conjuntos

Sea A = { a, b, c } y B = { c, d, e }. La interseccin de A y B es { c }
En vez de la interseccin de A y B, se escribe A B

2.3.2

Diferencia, Complemento

Para cualquier conjunto A y B, la diferencia (o complemento relativo) de A menos B (escrita A B) es el

conjunto mayor que contenga solo los miembros de A que no estn en B.
(16)

Representacin de la diferencia entre conjuntos

Sea A = { a, b, c } y B = { c, d, e }. La diferencia de A B es { a, b }
En vez de la interseccin de A y B, se escribe A B

Para cualquier conjunto A, el complemento de A es el conjunto de todos los objetos que no pertenezcan a A.
Se presupone que existe un conjunto llamado universo discursivo que incluye a todos los dems conjuntos.
(17)

Representacin del complemento de un conjunto

El universo discursivo se denota convencionalmente como U.
En vez de el complemento de A, se escribe U A o A' .

2.4

Especificacin de conjuntos

Como los conjuntos pueden tener un nmero indeterminado (hasta infinito) de miembros, conviene poder
especificarlos sin tener que recurrir a una enumeracin. He aqu dos mtodos:
(18)

Mtodo 1: Notacin de predicado o de abstraccin

Un conjunto puede denotarse usando la forma general de abstraccin de conjunto:
{ x : (x) } = el conjunto de entidades x tal que (x),
donde es algn predicado (propiedad, condicin).

(19)

Ejemplos de abstraccin de conjunto (o notacin de predicado)

{ x : x es un estudiante de la UPR } =
el conjunto de entidades x tal que x es un estudiante de la UPR =
el conjunto de estudiantes de la UPR

{ y : mi hermano sali con un chica que una vez se puso y en el pelo } =

el conjunto de entidades y tal que mi hermano sali con una chica que una vez se puso y en el pelo

Teora de Conjuntos

ALERS-VALENTN

{ z : { s : z detesta s } = } =
el conjunto de entidades z tal que el conjunto de entidades s tal que z detesta s es vaco =
el conjunto de entidades z tal que z no detesta nada (ni nadie).

(20)

Gua general para la abstraccin de conjunto

Cmo se sabe si a { x : (x) } ?
Sustituya a por la variable x en (x) y pregntese si (a) es verdadero.
Si lo es, entonces a { x : (x) }
Si no lo es, entonces a { x : (x) }

(21)

Mtodo 2: Reglas recursivas

Se puede denotar un conjunto mediante reglas que especifiquen sus miembros: (a) la primera regla es
la base de la recursin; (b) la segunda genera nuevos miembros a partir de los miembros definidos
previamente; y (c) la tercera restringe el conjunto especificado a los miembros generados por las
reglas anteriores.

(22)

Ejemplo: el conjunto P de nmeros pares mayores que 3 =

(a) 4 P
(b) Si x P, entonces x + 2 P
(c) ningn otro miembro pertenece a P

Algunos ejercicios de comprensin

(a) Determine si lo siguiente es verdadero:
Barack Obama { x : { y : y es padre de x } { z : z es estadounidense } = }
(b) Determine si lo siguiente es verdadero:
5{ x : x + 1 { y : 5 {z : z < y } } }
(c) Cules son los miembros de este conjunto?
{ x : x + 1 { y : x { z : z < y }}} { x : 2 + 2 = x }
(d) Cules son los miembros de este conjunto?
{ x : x2 = 4 } { y : 2y = 4 }
(e) Denote el conjunto Q como predicado (abstraccin):
Q = { Mercurio, Venus, Tierra, Marte, Jpiter, Saturno, Urano, Neptuno }
(f) Denote el conjunto R como predicado (abstraccin) y mediante reglas recursivas:
R = { 1, 1/2, 1/4, 1/8, 1/16, }
(g) Determine el conjunto potencia y su cardinalidad para los conjuntos S y T:
S = { 3, , {j, k} } ; T = { 3, {3, j}, j }
(h) Calcule las siguientes operaciones:
ST;ST;ST