Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos

CONJUNTOS
Sergio Stive Solano Sabie

Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Abril de 2012


Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos

CONJUNTOS
Sergio Stive Solano Sabie

Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Abril de 2012

Conjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

1.1
Definicion
de objetos, smbolos o
Un conjunto es una coleccion
entidades bien definidas, que reciben el nombre de
miembros o elementos del conjunto.
Usamos la letras mayusculas
A, B, C, X, Y, . . . para denotar

conjuntos, y las letras minusculas,

a, b, c, x, y, . . . para deno
tar elementos de conjuntos.
El enunciado a es un elemento de A, o, equivalentemente,
a pertenece a A, se escribe
aA
El enunciado a no es un elemento de A, esto es , la nega de a A, se escribe
cion
a
/A

Conjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

1.1
Definicion
de objetos, smbolos o
Un conjunto es una coleccion
entidades bien definidas, que reciben el nombre de
miembros o elementos del conjunto.
Usamos la letras mayusculas
A, B, C, X, Y, . . . para denotar

conjuntos, y las letras minusculas,

a, b, c, x, y, . . . para deno
tar elementos de conjuntos.
El enunciado a es un elemento de A, o, equivalentemente,
a pertenece a A, se escribe
aA
El enunciado a no es un elemento de A, esto es , la nega de a A, se escribe
cion
a
/A

Conjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

1.1
Definicion
de objetos, smbolos o
Un conjunto es una coleccion
entidades bien definidas, que reciben el nombre de
miembros o elementos del conjunto.
Usamos la letras mayusculas
A, B, C, X, Y, . . . para denotar

conjuntos, y las letras minusculas,

a, b, c, x, y, . . . para deno
tar elementos de conjuntos.
El enunciado a es un elemento de A, o, equivalentemente,
a pertenece a A, se escribe
aA
El enunciado a no es un elemento de A, esto es , la nega de a A, se escribe
cion
a
/A

Conjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

1.1
Definicion
de objetos, smbolos o
Un conjunto es una coleccion
entidades bien definidas, que reciben el nombre de
miembros o elementos del conjunto.
Usamos la letras mayusculas
A, B, C, X, Y, . . . para denotar

conjuntos, y las letras minusculas,

a, b, c, x, y, . . . para deno
tar elementos de conjuntos.
El enunciado a es un elemento de A, o, equivalentemente,
a pertenece a A, se escribe
aA
El enunciado a no es un elemento de A, esto es , la nega de a A, se escribe
cion
a
/A


Por extension

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Ejemplo 2.1
cuando se
Un conjunto esta determinado por extension
describe el conjunto nombrando cada uno de sus
elementos. Escribimos los elementos separados por comas
y encerrados en llaves. Por ejemplo:
1

A = {a, e, i, o, u} denota el conjunto A cuyos elementos

son las letras a, e, i, o, u.

B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} denota el conjunto B cuyos

elementos son 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.

C = {2, 4, 6, 8} denota el conjunto C cuyos elementos

son 2, 4, 6, 8.

D = {1, 3, 5, 7, 9} denota el conjunto D cuyos

elementos son 1, 3, 5, 7, 9.


Por extension

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Ejemplo 2.1
cuando se
Un conjunto esta determinado por extension
describe el conjunto nombrando cada uno de sus
elementos. Escribimos los elementos separados por comas
y encerrados en llaves. Por ejemplo:
1

A = {a, e, i, o, u} denota el conjunto A cuyos elementos

son las letras a, e, i, o, u.

B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} denota el conjunto B cuyos

elementos son 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.

C = {2, 4, 6, 8} denota el conjunto C cuyos elementos

son 2, 4, 6, 8.

D = {1, 3, 5, 7, 9} denota el conjunto D cuyos

elementos son 1, 3, 5, 7, 9.


Por extension

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Ejemplo 2.1
cuando se
Un conjunto esta determinado por extension
describe el conjunto nombrando cada uno de sus
elementos. Escribimos los elementos separados por comas
y encerrados en llaves. Por ejemplo:
1

A = {a, e, i, o, u} denota el conjunto A cuyos elementos

son las letras a, e, i, o, u.

B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} denota el conjunto B cuyos

elementos son 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.

C = {2, 4, 6, 8} denota el conjunto C cuyos elementos

son 2, 4, 6, 8.

D = {1, 3, 5, 7, 9} denota el conjunto D cuyos

elementos son 1, 3, 5, 7, 9.


Por extension

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Ejemplo 2.1
cuando se
Un conjunto esta determinado por extension
describe el conjunto nombrando cada uno de sus
elementos. Escribimos los elementos separados por comas
y encerrados en llaves. Por ejemplo:
1

A = {a, e, i, o, u} denota el conjunto A cuyos elementos

son las letras a, e, i, o, u.

B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} denota el conjunto B cuyos

elementos son 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.

C = {2, 4, 6, 8} denota el conjunto C cuyos elementos

son 2, 4, 6, 8.

D = {1, 3, 5, 7, 9} denota el conjunto D cuyos

elementos son 1, 3, 5, 7, 9.


Por comprension

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

cuando se
Un conjunto esta determinado por comprension
nombra una propiedad, una regla o una caracterstica comun

a los elementos del conjunto. Por ejemplo:

Ejemplo 2.2
El conjunto A = {a, e, i, o, u} se puede escribir por
como:
comprension
A = {x : x es una letra en el alfabeto castellano, x es vocal}.
2 B = {x : x es un numero
entero, x > 0}, el cual leemos

B es el conjunto de x tal que x es un numero

entero y

x es mayor que 0.
1

C = {x R | x2 + 3x + 2 = 0}. En otras palabras, C

consiste de los numero
reales, los cuales son

x2 + 3x + 2 = 0.
soluciones de la ecuacion
Una letra, usualmente x, es usada para denotar un elemento
tpico del conjunto; los signos : o | se leen como tal que
y la coma como y.
3


Por comprension

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

cuando se
Un conjunto esta determinado por comprension
nombra una propiedad, una regla o una caracterstica comun

a los elementos del conjunto. Por ejemplo:

Ejemplo 2.2
El conjunto A = {a, e, i, o, u} se puede escribir por
como:
comprension
A = {x : x es una letra en el alfabeto castellano, x es vocal}.
2 B = {x : x es un numero
entero, x > 0}, el cual leemos

B es el conjunto de x tal que x es un numero

entero y

x es mayor que 0.
1

C = {x R | x2 + 3x + 2 = 0}. En otras palabras, C

consiste de los numero
reales, los cuales son

x2 + 3x + 2 = 0.
soluciones de la ecuacion
Una letra, usualmente x, es usada para denotar un elemento
tpico del conjunto; los signos : o | se leen como tal que
y la coma como y.
3


Por comprension

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

cuando se
Un conjunto esta determinado por comprension
nombra una propiedad, una regla o una caracterstica comun

a los elementos del conjunto. Por ejemplo:

Ejemplo 2.2
El conjunto A = {a, e, i, o, u} se puede escribir por
como:
comprension
A = {x : x es una letra en el alfabeto castellano, x es vocal}.
2 B = {x : x es un numero
entero, x > 0}, el cual leemos

B es el conjunto de x tal que x es un numero

entero y

x es mayor que 0.
1

C = {x R | x2 + 3x + 2 = 0}. En otras palabras, C

consiste de los numero
reales, los cuales son

x2 + 3x + 2 = 0.
soluciones de la ecuacion
Una letra, usualmente x, es usada para denotar un elemento
tpico del conjunto; los signos : o | se leen como tal que
y la coma como y.
3


Por comprension

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

cuando se
Un conjunto esta determinado por comprension
nombra una propiedad, una regla o una caracterstica comun

a los elementos del conjunto. Por ejemplo:

Ejemplo 2.2
El conjunto A = {a, e, i, o, u} se puede escribir por
como:
comprension
A = {x : x es una letra en el alfabeto castellano, x es vocal}.
2 B = {x : x es un numero
entero, x > 0}, el cual leemos

B es el conjunto de x tal que x es un numero

entero y

x es mayor que 0.
1

C = {x R | x2 + 3x + 2 = 0}. En otras palabras, C

consiste de los numero
reales, los cuales son

x2 + 3x + 2 = 0.
soluciones de la ecuacion
Una letra, usualmente x, es usada para denotar un elemento
tpico del conjunto; los signos : o | se leen como tal que
y la coma como y.
3


Por comprension

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

cuando se
Un conjunto esta determinado por comprension
nombra una propiedad, una regla o una caracterstica comun

a los elementos del conjunto. Por ejemplo:

Ejemplo 2.2
El conjunto A = {a, e, i, o, u} se puede escribir por
como:
comprension
A = {x : x es una letra en el alfabeto castellano, x es vocal}.
2 B = {x : x es un numero
entero, x > 0}, el cual leemos

B es el conjunto de x tal que x es un numero

entero y

x es mayor que 0.
1

C = {x R | x2 + 3x + 2 = 0}. En otras palabras, C

consiste de los numero
reales, los cuales son

x2 + 3x + 2 = 0.
soluciones de la ecuacion
Una letra, usualmente x, es usada para denotar un elemento
tpico del conjunto; los signos : o | se leen como tal que
y la coma como y.
3

Conjunto universal

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

de la teora de conjuntos, los miemEn cualquier aplicacion

por lo general
bros de todos los conjuntos bajo investigacion
pertenecen a un conjunto grande fijo llamado conjunto universal.
Ejemplo 3.1
1

En la geometra plana, el conjunto universal consiste

en todos los puntos en el plano.
humana el conjunto
En los estudios de la poblacion
universal se compone de todas las personas en el
mundo.

Vamos a utilizar la letra U para denotar el conjunto universal a menos que se indique lo contrario.

Conjunto universal

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

de la teora de conjuntos, los miemEn cualquier aplicacion

por lo general
bros de todos los conjuntos bajo investigacion
pertenecen a un conjunto grande fijo llamado conjunto universal.
Ejemplo 3.1
1

En la geometra plana, el conjunto universal consiste

en todos los puntos en el plano.
humana el conjunto
En los estudios de la poblacion
universal se compone de todas las personas en el
mundo.

Vamos a utilizar la letra U para denotar el conjunto universal a menos que se indique lo contrario.

Conjunto universal

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

de la teora de conjuntos, los miemEn cualquier aplicacion

por lo general
bros de todos los conjuntos bajo investigacion
pertenecen a un conjunto grande fijo llamado conjunto universal.
Ejemplo 3.1
1

En la geometra plana, el conjunto universal consiste

en todos los puntos en el plano.
humana el conjunto
En los estudios de la poblacion
universal se compone de todas las personas en el
mundo.

Vamos a utilizar la letra U para denotar el conjunto universal a menos que se indique lo contrario.

Conjunto universal

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

de la teora de conjuntos, los miemEn cualquier aplicacion

por lo general
bros de todos los conjuntos bajo investigacion
pertenecen a un conjunto grande fijo llamado conjunto universal.
Ejemplo 3.1
1

En la geometra plana, el conjunto universal consiste

en todos los puntos en el plano.
humana el conjunto
En los estudios de la poblacion
universal se compone de todas las personas en el
mundo.

Vamos a utilizar la letra U para denotar el conjunto universal a menos que se indique lo contrario.

Conjunto universal

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

de la teora de conjuntos, los miemEn cualquier aplicacion

por lo general
bros de todos los conjuntos bajo investigacion
pertenecen a un conjunto grande fijo llamado conjunto universal.
Ejemplo 3.1
1

En la geometra plana, el conjunto universal consiste

en todos los puntos en el plano.
humana el conjunto
En los estudios de la poblacion
universal se compone de todas las personas en el
mundo.

Vamos a utilizar la letra U para denotar el conjunto universal a menos que se indique lo contrario.

Conjunto vaco

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Para un conjunto U dado y una propiedad P puede que no

haya ningun
elemento de U que tenga la propiedad P .
Ejemplo 3.2
El conjunto
S = {x : x es un entero positivo, x2 = 3}
no tiene elementos, ya que ningun
entero positivo tiene la
propiedad requerida.
El conjunto sin elementos se llama conjunto vaco o conjunto nulo y se denota por .

Conjunto vaco

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Para un conjunto U dado y una propiedad P puede que no

haya ningun
elemento de U que tenga la propiedad P .
Ejemplo 3.2
El conjunto
S = {x : x es un entero positivo, x2 = 3}
no tiene elementos, ya que ningun
entero positivo tiene la
propiedad requerida.
El conjunto sin elementos se llama conjunto vaco o conjunto nulo y se denota por .

Conjunto vaco

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Para un conjunto U dado y una propiedad P puede que no

haya ningun
elemento de U que tenga la propiedad P .
Ejemplo 3.2
El conjunto
S = {x : x es un entero positivo, x2 = 3}
no tiene elementos, ya que ningun
entero positivo tiene la
propiedad requerida.
El conjunto sin elementos se llama conjunto vaco o conjunto nulo y se denota por .

Subconjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

un elemenSi cada elemento de un conjunto A es tambien

to de un conjunto B, entonces A es un subconjunto de B.
se dice que A esta contenido en B o que B conTambien
se escribe
tiene a A. Esta relacion
A B o B A,

en el lenguaje de la logica
formal
(x)(x A x B).
Ejemplo 3.3
Considere los conjuntos
A = {1, 3, 4, 5, 8, 9}, B = {1, 2, 3, 5, 7}, C = {1, 5}.
Entonces C A y C B, ya que los elementos de C, son
elementos de A y B. Pero B * A, puesto que
tambien
existe un elemento en B que no pertenece a A.

Subconjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

un elemenSi cada elemento de un conjunto A es tambien

to de un conjunto B, entonces A es un subconjunto de B.
se dice que A esta contenido en B o que B conTambien
se escribe
tiene a A. Esta relacion
A B o B A,

en el lenguaje de la logica
formal
(x)(x A x B).
Ejemplo 3.3
Considere los conjuntos
A = {1, 3, 4, 5, 8, 9}, B = {1, 2, 3, 5, 7}, C = {1, 5}.
Entonces C A y C B, ya que los elementos de C, son
elementos de A y B. Pero B * A, puesto que
tambien
existe un elemento en B que no pertenece a A.

Subconjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

un elemenSi cada elemento de un conjunto A es tambien

to de un conjunto B, entonces A es un subconjunto de B.
se dice que A esta contenido en B o que B conTambien
se escribe
tiene a A. Esta relacion
A B o B A,

en el lenguaje de la logica
formal
(x)(x A x B).
Ejemplo 3.3
Considere los conjuntos
A = {1, 3, 4, 5, 8, 9}, B = {1, 2, 3, 5, 7}, C = {1, 5}.
Entonces C A y C B, ya que los elementos de C, son
elementos de A y B. Pero B * A, puesto que
tambien
existe un elemento en B que no pertenece a A.

Subconjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

un elemenSi cada elemento de un conjunto A es tambien

to de un conjunto B, entonces A es un subconjunto de B.
se dice que A esta contenido en B o que B conTambien
se escribe
tiene a A. Esta relacion
A B o B A,

en el lenguaje de la logica
formal
(x)(x A x B).
Ejemplo 3.3
Considere los conjuntos
A = {1, 3, 4, 5, 8, 9}, B = {1, 2, 3, 5, 7}, C = {1, 5}.
Entonces C A y C B, ya que los elementos de C, son
elementos de A y B. Pero B * A, puesto que
tambien
existe un elemento en B que no pertenece a A.

Subconjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

un elemenSi cada elemento de un conjunto A es tambien

to de un conjunto B, entonces A es un subconjunto de B.
se dice que A esta contenido en B o que B conTambien
se escribe
tiene a A. Esta relacion
A B o B A,

en el lenguaje de la logica
formal
(x)(x A x B).
Ejemplo 3.3
Considere los conjuntos
A = {1, 3, 4, 5, 8, 9}, B = {1, 2, 3, 5, 7}, C = {1, 5}.
Entonces C A y C B, ya que los elementos de C, son
elementos de A y B. Pero B * A, puesto que
tambien
existe un elemento en B que no pertenece a A.

Subconjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

un elemenSi cada elemento de un conjunto A es tambien

to de un conjunto B, entonces A es un subconjunto de B.
se dice que A esta contenido en B o que B conTambien
se escribe
tiene a A. Esta relacion
A B o B A,

en el lenguaje de la logica
formal
(x)(x A x B).
Ejemplo 3.3
Considere los conjuntos
A = {1, 3, 4, 5, 8, 9}, B = {1, 2, 3, 5, 7}, C = {1, 5}.
Entonces C A y C B, ya que los elementos de C, son
elementos de A y B. Pero B * A, puesto que
tambien
existe un elemento en B que no pertenece a A.

Subconjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Teorema 3.1
1

Para cualquier conjunto A, tenemos A U .

Para cualquier conjunto A, tenemos A A.

Si A B y B C, entonces A C.
si A B y B A.
A = B si y solo

Si A B, entonces todava es posible que A = B. Cuando

A B pero A 6= B, decimos que A es un subconjunto
propio de B y escribimos A B.
Ejemplo 3.4
Supongamos que A = {1, 3}, B = {1, 2, 3}, C = {1, 3, 2}.
Entonces A y B son ambos subconjuntos de C; pero A es
un subconjunto propio de C, mientras que B no es un
subconjunto propio de C pues B = C.

Subconjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Teorema 3.1
1

Para cualquier conjunto A, tenemos A U .

Para cualquier conjunto A, tenemos A A.

Si A B y B C, entonces A C.
si A B y B A.
A = B si y solo

Si A B, entonces todava es posible que A = B. Cuando

A B pero A 6= B, decimos que A es un subconjunto
propio de B y escribimos A B.
Ejemplo 3.4
Supongamos que A = {1, 3}, B = {1, 2, 3}, C = {1, 3, 2}.
Entonces A y B son ambos subconjuntos de C; pero A es
un subconjunto propio de C, mientras que B no es un
subconjunto propio de C pues B = C.

Subconjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Teorema 3.1
1

Para cualquier conjunto A, tenemos A U .

Para cualquier conjunto A, tenemos A A.

Si A B y B C, entonces A C.
si A B y B A.
A = B si y solo

Si A B, entonces todava es posible que A = B. Cuando

A B pero A 6= B, decimos que A es un subconjunto
propio de B y escribimos A B.
Ejemplo 3.4
Supongamos que A = {1, 3}, B = {1, 2, 3}, C = {1, 3, 2}.
Entonces A y B son ambos subconjuntos de C; pero A es
un subconjunto propio de C, mientras que B no es un
subconjunto propio de C pues B = C.

Subconjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Teorema 3.1
1

Para cualquier conjunto A, tenemos A U .

Para cualquier conjunto A, tenemos A A.

Si A B y B C, entonces A C.
si A B y B A.
A = B si y solo

Si A B, entonces todava es posible que A = B. Cuando

A B pero A 6= B, decimos que A es un subconjunto
propio de B y escribimos A B.
Ejemplo 3.4
Supongamos que A = {1, 3}, B = {1, 2, 3}, C = {1, 3, 2}.
Entonces A y B son ambos subconjuntos de C; pero A es
un subconjunto propio de C, mientras que B no es un
subconjunto propio de C pues B = C.

Subconjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Teorema 3.1
1

Para cualquier conjunto A, tenemos A U .

Para cualquier conjunto A, tenemos A A.

Si A B y B C, entonces A C.
si A B y B A.
A = B si y solo

Si A B, entonces todava es posible que A = B. Cuando

A B pero A 6= B, decimos que A es un subconjunto
propio de B y escribimos A B.
Ejemplo 3.4
Supongamos que A = {1, 3}, B = {1, 2, 3}, C = {1, 3, 2}.
Entonces A y B son ambos subconjuntos de C; pero A es
un subconjunto propio de C, mientras que B no es un
subconjunto propio de C pues B = C.

Subconjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Teorema 3.1
1

Para cualquier conjunto A, tenemos A U .

Para cualquier conjunto A, tenemos A A.

Si A B y B C, entonces A C.
si A B y B A.
A = B si y solo

Si A B, entonces todava es posible que A = B. Cuando

A B pero A 6= B, decimos que A es un subconjunto
propio de B y escribimos A B.
Ejemplo 3.4
Supongamos que A = {1, 3}, B = {1, 2, 3}, C = {1, 3, 2}.
Entonces A y B son ambos subconjuntos de C; pero A es
un subconjunto propio de C, mientras que B no es un
subconjunto propio de C pues B = C.

Diagrama de Venn

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Una forma sencilla de visualizar los conjuntos y las rela de esquemas

ciones entre ellos, es mediante la utilizacion

graficos llamados circulos de Euler o diagramas de Venn.

compuestos por una region
cerrada
Estos esquemas estan

del plano (generalmente un rectangulo),

la cual representa
el conjunto universal, y por uno o varios crculos que representan los conjuntos a graficar.


Union

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

de dos conjuntos A y B es el conjunto formado por

La union
todos los elementos que pertencen a A o a B. Se denota
A B.
A B = {x : x A x B}.
, se utiliza en el sentido inclusivo, es
Aqu la disyuncion
decir, significa y/o.


Interseccion

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

de dos conjuntos A y B es el conjunto forLa interseccion

mado por todos los elementos que pertencen a A y a B. Se
denota por A B.
A B = {x : x A x B}.
Si A y B no tienen elementos en comun,
es decir, A B = ,
entonces diremos que A y B son conjuntos disjuntos.

Diferencia

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

La diferencia entre dos conjuntos A y B es el conjunto formado por todos los elementos que pertenecen a A y no a B.
Se nota por A B.
A B = {x : x A x
/ B}.

Complementario

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

El complementario de un conjunto A es el conjunto formado por todos los elementos del conjunto universal que no
pertenecen a A. Se nota Ac
Ac = {x : x U x
/ A}.
Note que el complemento de A es la diferencia entre U y A,
es decir, Ac = U A.


Diferencia simetrica

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

La diferencia simetrica
entre dos conjutnos A y B es el
conjunto formado por todos los elementos que pertenecen a
(A B) o a (B A) pero no a ambos. Se denota por A 4 B.
A 4 B = (A B) (B A).

Leyes del algebra de conjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos

Las operaciones anteriores definidas entre conjuntos satisfacen varias leyes o identidades.
Sean A, B y C conjuntos, entonces:
Leyes Idempotentes
1

AA=A

AB =BA

AA=A

AB =BA

Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Leyes Conmutativas

Leyes Asociativas

Leyes de Identidad

A (B C) = (A B) C

A=A

A (B C) = (A B) C

AU =U

A=

AU =A

Leyes del algebra de conjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos

Las operaciones anteriores definidas entre conjuntos satisfacen varias leyes o identidades.
Sean A, B y C conjuntos, entonces:
Leyes Idempotentes
1

AA=A

AB =BA

AA=A

AB =BA

Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Leyes Conmutativas

Leyes Asociativas

Leyes de Identidad

A (B C) = (A B) C

A=A

A (B C) = (A B) C

AU =U

A=

AU =A

Leyes del algebra de conjuntos

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos

Las operaciones anteriores definidas entre conjuntos satisfacen varias leyes o identidades.
Sean A, B y C conjuntos, entonces:
Leyes Idempotentes
1

AA=A

AB =BA

AA=A

AB =BA

Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Leyes Conmutativas

Leyes Asociativas

Leyes de Identidad

A (B C) = (A B) C

A=A

A (B C) = (A B) C

AU =U

A=

AU =A

Leyes del algebra de conjuntos

Logica

Matematica
Sergio Solano
Sabie

Leyes Distributivas

Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Ley Involutiva

A (B C) = (A B) (A C

A (B C) = (A B) (A C

Leyes del Complementario

(Ac )c = A

Leyes de De Morgan

A Ac = U

(A B)c = Ac B c

Uc =

(A B)c = Ac B c

A Ac =

c = U

Conjuntos finitos y principio de conteo

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

5.1
Definicion
Se dice que un conjunto es finito si contiene exactamente
m elementos distinto, donde m es un numero
entero no

negativo. De lo contrario, el conjunto se dice infinito.

Ejemplo 5.1
1

El conjunto y el conjunto de la letras del alfabeto

castellano son finitos.

El conjunto de los enteros positivos pares {2, 4, 6, . . .},

es infinito.

n(A) denota el numero

La notacion
de elementos en un con
junto finito A. Algunos textos, usan |A| o card(A) en lugar de
n(A).

Conjuntos finitos y principio de conteo

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

5.1
Definicion
Se dice que un conjunto es finito si contiene exactamente
m elementos distinto, donde m es un numero
entero no

negativo. De lo contrario, el conjunto se dice infinito.

Ejemplo 5.1
1

El conjunto y el conjunto de la letras del alfabeto

castellano son finitos.

El conjunto de los enteros positivos pares {2, 4, 6, . . .},

es infinito.

n(A) denota el numero

La notacion
de elementos en un con
junto finito A. Algunos textos, usan |A| o card(A) en lugar de
n(A).

Conjuntos finitos y principio de conteo

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

5.1
Definicion
Se dice que un conjunto es finito si contiene exactamente
m elementos distinto, donde m es un numero
entero no

negativo. De lo contrario, el conjunto se dice infinito.

Ejemplo 5.1
1

El conjunto y el conjunto de la letras del alfabeto

castellano son finitos.

El conjunto de los enteros positivos pares {2, 4, 6, . . .},

es infinito.

n(A) denota el numero

La notacion
de elementos en un con
junto finito A. Algunos textos, usan |A| o card(A) en lugar de
n(A).

Conjuntos finitos y principio de conteo

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

5.1
Definicion
Se dice que un conjunto es finito si contiene exactamente
m elementos distinto, donde m es un numero
entero no

negativo. De lo contrario, el conjunto se dice infinito.

Ejemplo 5.1
1

El conjunto y el conjunto de la letras del alfabeto

castellano son finitos.

El conjunto de los enteros positivos pares {2, 4, 6, . . .},

es infinito.

n(A) denota el numero

La notacion
de elementos en un con
junto finito A. Algunos textos, usan |A| o card(A) en lugar de
n(A).

Conjuntos finitos y principio de conteo

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Teorema 5.1
Si A y B son conjuntos finitos disyuntos, entonces A B es
finito y
n(A B) = n(A) + n(B)
Teorema 5.2
Si A y B son conjuntos finitos, entonces A B y A B son
finitos y
n(A B) = n(A) + n(B) n(A B)
Corolario 5.1
Si A, B y C son conjuntos finitos, entonces A B C
lo es, y
tambien
n(A B C) = n(A) + n(B) + n(C) n(A B) n(A
C) n(B C) + n(A B C)

Conjuntos finitos y principio de conteo

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Ejemplo 5.2
de 120 estudiantes de
Considere la siguiente informacion

Aleman
y Ruso
matematicas
referente al lenguaje Frances,
45 estudian Aleman,
42
que estudian: 65 estudian Frances,
y Aleman,
25 estudian
estudian Ruso, 20 estudian Frances
y Ruso, 15 estudian Aleman
y Ruso, 8 estudian las
Frances

tres lenguas. Cuantos

alumnos estudian por lo menos uno
de los tres idiomas?
Sean F , G y R los conjuntos de estudiantes que
Solucion.
Aleman
y Ruso, respectivamente. Utiliceestudian Frances,
mos un diagrama de Venn como se muestra en la figura y el
corolario 5.1:
n(F G R) = n(F ) + n(G) +
n(R) n(F G) n(F R)
n(GR)+n(F GR) = 65+
45+42202515+8 = 100.

Conjuntos finitos y principio de conteo

Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

Ejemplo 5.2
de 120 estudiantes de
Considere la siguiente informacion

Aleman
y Ruso
matematicas
referente al lenguaje Frances,
45 estudian Aleman,
42
que estudian: 65 estudian Frances,
y Aleman,
25 estudian
estudian Ruso, 20 estudian Frances
y Ruso, 15 estudian Aleman
y Ruso, 8 estudian las
Frances

tres lenguas. Cuantos

alumnos estudian por lo menos uno
de los tres idiomas?
Sean F , G y R los conjuntos de estudiantes que
Solucion.
Aleman
y Ruso, respectivamente. Utiliceestudian Frances,
mos un diagrama de Venn como se muestra en la figura y el
corolario 5.1:
n(F G R) = n(F ) + n(G) +
n(R) n(F G) n(F R)
n(GR)+n(F GR) = 65+
45+42202515+8 = 100.


Logica

Matematica
Sergio Solano
Sabie
Conceptos

basicos
Formas para
determinar un
conjunto
Operaciones
entre
conjuntos
Leyes del
algebra de
conjuntos
Conjuntos
finitos y
principio de
conteo

GRACIAS POR SU

ATENCION