Los conjuntos son todos los elementos que podemos separar por

caractersticas similares o arbitrarias; se pueden ejemplificar de la siguiente

forma:
Los miembros de una familia
Una coleccin de objetos
Un equipo de ftbol
Una plantilla o un rebao de ovejas
Los pasajeros de un autobs etc.
La idea o concepto de conjunto es muy antigua tambin se le conoce como
clases o agregado.
Los conjuntos se designan por letras maysculas (A, B, C,Z) y los elementos
con las letras minsculas (a, b, c,z), nmeros (1, 2, 3, 4,).
El contenido de los conjuntos se escribe dentro de llaves, parntesis o signos
de agrupacin en general [], {}, (),
Cuando un conjunto carece de elementos se le llama conjunto vaci {} o
Ejemplo de conjuntos:
Vamos a designar como A al conjunto de un equipo de ftbol al que
llamaremos blanco; y los elementos son:
{Lus, Jos, Mario, Rodrigo, Manuel, Jacinto, Pedro, Ernesto, Fausto}
Para distinguirlo como elementos del conjunto A se escribira as:
A= {Lus, Jos, Mario, Rodrigo, Manuel, Jacinto, Pedro, Ernesto, Fausto}
Como resulta muy largo de escribir el nombre de cada uno; se reducir as:
A= {xx miembro del equipo blanco}

Para aclarar que alguno de los jugadores es miembro del equipo anotaramos lo
siguiente:
Sea A= {xx es miembro del equipo blanco}
Todos los miembros del equipo blanco se llamarn (hipotticamente) n y este
nombre se le asignar a cada jugador escribindose as:
nA

Se lee n pertenece al conjunto A y por lo tanto n pertenece al equipo blanco.

Si existe un equipo azul al que designaramos como B y sus elementos como

f, decir que no pertenece al conjunto A se haran de este modo:

fA

Se lee f no pertenece al elemento A.

Estas Aqu:Hogar / Conjuntos / Pertenencia e inclusin en conjuntos

Pertenencia e inclusin en conjuntos

23/08/2014 por Lic. Maria Anglica Morena Dejar un comentario

Los conceptos de pertenencia e inclusin en conjuntos son

bien diferentes, pero por un simple tema de lenguaje, a veces se confunde. Bsicamente la
confusin viene por el lado de que en ambos casos se trata de palabras que en el habla
cotidiana se utilizan como sinnimos.
Por ejemplo es frecuente decir yo pertenezco a este grupo o yo estoy incluido en este
grupo y en ambos casos se entiende lo mismo. Pero en la terminologa tcnica o
vocabulario matemtico especfico de la teora de conjuntos, estos conceptos son bien
diferentes, a tal punto que no es correcto usar -por ejemplo- pertenencia si hablamos de
conjuntos dentro de conjuntos.
Iremos aprendiendo los conceptos paso a paso

Pertenencia e inclusin en conjuntos

Relacin de pertenencia

La relacin de pertenencia slo se da entre los elementos de un conjunto y ste. Es decir es

perfectamente correcto decir que uno o ms elementos pertenecen a un conjunto. En este
caso, nunca debe usarse la palabra inclusin, por tanto no es correcto decir que un elemento
est incluido en un conjunto.

La relacin de pertenencia tiene un smbolo especfico para el conector pertenece y para

el conector no pertenece. Veamos un ejemplo sencillo: si consideramos a V, conjunto de
las letras vocales, ste definido por extensin sera as:

V = { a, e, i, o, u }
As las cosas es correcto decir cualquiera de las siguientes afirmaciones, que escribir
tambin en lenguaje de smbolos matemticos. Pon atencin.
El elemento a pertenece a V

==> a V

El elemento f no pertenece a V ==>

f V

Relacin de inclusin

La relacin de inclusin, se da entre conjuntos y sub conjuntos. Es correcto decir que un

subconjunto est incluido en un conjunto mayor, pero no es correcto decir que un
subconjunto pertenece a un conjunto mayor.
La relacin de inclusin tiene un smbolo especfico para el conector est incluido y
para el conector no est incluido. Veamos un ejemplo sencillo en la misma lnea del
anterior: consideramos al conjunto L como el conjunto de las letras del abecedario.

L = { a, b, c, d, e. x, y, z }
As las cosas es correcto decir cualquiera de las siguientes afirmaciones, que escribir
tambin en lenguaje de smbolos matemticos. Pon atencin.
El subconjunto V (de las volcales) est incluido en L
VL
El subconjunto G (letras griegas) no est incluido en L
GL

Tambin es usual en estos casos otro concepto: incluye a. Pondr un ejemplo en relacin
precisamente al ejemplo que acabamos de utilizar:
El conjunto L incluye al conjunto V ==> L V
Ambos tipos de relacin, es decir pertenencia e inclusin, tienen algunas propiedades que
estudiaremos en un prximo post. Te invito a estar pendiente porque iremos desarrollando
toda una serie sobre este tema, que culminar con la propuesta de algunos ejercicios sobre
conjuntos, algunos sencillos y otros complejos, siempre aportando las soluciones para que
puedas evluar por ti mismo cmo te has desempeado en cada uno de ellos.
Imagen: divertinajes
- See more at: http://matematicasmodernas.com/pertenencia-e-inclusion-enconjuntos/#sthash.aQLJ7DdK.dpuf

Igualdad de conjuntos[editar]

Conjunto de personas. El conjunto de personas mostrado en la imagen, A, tiene 8miembros. Este

conjunto puede representarse mediante llaves o mediante un diagrama de Venn. El orden de las
personas en A es irrelevante.

Un conjunto est totalmente determinado por sus elementos. Por ello, la igualdad de conjuntos
se establece como:
Propiedad de la extensionalidad
Dos conjuntos A y B que tengan los mismos elementos son el mismo conjunto, A = B.
Esta propiedad tiene varias consecuencias. Un mismo conjunto puede especificarse de
muchas maneras distintas, en particular extensivas o intensivas. Por ejemplo, el conjunto A de
los nmeros naturales menores que 5 es el mismo conjunto que A, el conjunto de los nmeros
1, 2, 3 y 4. Tambin:
B = {verde, blanco, rojo} = {colores de la bandera de Mxico}
C = {a, e, i, o, u} = {vocales del espaol}
D = {Palos de la baraja francesa} = {, , , }
El orden en el que se precisan los elementos tampoco se tiene en cuenta para
comparar dos conjuntos:
B = {verde, blanco, rojo} = {rojo, verde, blanco}
C = {a, e, i, o, u} = {e, i, u, a, o}
Adems, un conjunto no puede tener elementos repetidos, ya que un
objeto solo puede o bien ser un elemento de dicho conjunto o no serlo. Se
da entonces que, por ejemplo:
{1, 2} = {1, 2, 1}

En ausencia de alguna caracterstica adicional que distinga los 1

repetidos, lo nico que puede decirse del conjunto de la derecha es
que 1 es uno de sus elementos.

Conjunto vaco[editar]
Artculo principal: Conjunto vaco

El conjunto que no contiene ningn elemento se llama el conjunto vaco y se denota por o
simplemente {}. Existe un nico conjunto vaco, ya que lo nico que distingue a un conjunto
son sus elementos.

Conjunto universal
En matemticas, principalmente en teora de conjuntos y lgica de clases, un conjunto
universal es un conjunto formado por todos los objetos de estudio en un contexto dado. Por
ejemplo, en aritmtica los objetos de estudio son los nmeros naturales, por lo que el conjunto
universal para este caso puede ser el conjunto de los nmeros naturales N. Al conjunto
universal tambin se le denomina conjunto referencial, universo del discurso o clase
universal, segn el contexto, y se denota habitualmente por U o V.
La eleccin de un conjunto universal se hace por conveniencia, para establecer una distincin
clara entre los objetos matemticos, todos ellos en el conjunto universal; y los conjuntos
formados por dichos objetos, todos ellos subconjuntos del conjunto universal. Escogido un
conjunto universal, para cada conjunto de objetos existe sucomplementario, que contiene
todos los elementos que no estn en dicho conjunto.
En teora de conjuntos, los objetos matemticos estudiados incluyen a los propios conjuntos.
El conjunto universal abarcara entonces no slo objetos simples como nmeros, sino tambin
conjuntos de nmeros, conjuntos de conjuntos de nmeros, etc. Sin embargo, en este caso
suponer la existencia de un conjunto universal lleva una contradiccin conocida como
la paradoja de Russell.
Veamos un ejemplo mas claro:
Sean los conjuntos:
E = { mujeres } F = { hombres }
Existe otro conjunto que incluir a los conjuntos E y F, que sera el conjunto U :
U = {seres humanos }
Grficamente se representa por medio de un rectngulo tal como se observa a continuacin.
Veamos otro ejemplo:
Sean los conjuntos:
A = { aves } B = { peces } C = { gatos } D = { perros }
Existe aqu otro conjunto que incluir a los conjuntos A, B, C y D y que ser el conjunto U.
U = { animales }
Grficamente se puede representar por un rectngulo tal como podemos ver a continuacin.

CONJUNTOS AJENOS
Estos conjuntos se conocen en la literatura con varios nombres, ajenos, disjuntos o mutuamente
excluyentes, la definicin de este tipo de conjunto es simple:
A y B son conjuntos ajenos, disjuntos o mutuamente excluyentes, si no tienen elementos en
comn.
La definicin anterior aplica para todos los elementos, de esta forma se puede decir que si un
conjunto contiene a un elemento, necesariamente el otro conjunto no lo contiene.
Para ejemplificar el concepto, se tiene:

Es fcil de observar que ningn elemento del conjunto A est contenido en el conjunto B y que de
igual manera se cumple que ningn elemento del conjunto B est contenido en el conjunto A. Por
tanto A y B son ajenos entre s.
Los conjuntos:

Al observar los conjuntos M y D, tienen un elemento en comn que es el elemento r, por tanto M y
D no son conjuntos ajenos.

Observa que el conjunto D se define como por comprensin como

pero en su representacin por extensin solamente se coloca un elemento e.

Esto es importante de resaltar, ya que no tiene sentido que en un conjunto se
numeren dos veces el mismo elemento, es ms, no es correcto hacerlo.

Conjunto Potencia
"El conjunto de todos los subconjuntos de un conjunto"
Ejemplo: Si tenemos un conjunto {a,b,c}:
* Entonces un subconjunto podra ser {a} o {b}, o {a,c}, y as
sucesivamente,
* y {a,b,c} es tambin un subconjunto {a,b,c}
* y y el conjunto vaco {} es tambin un subconjunto de {a,b,c}
Entonces todos los subconjuntos juntos haran el Conjunto Potencia:
P(S) = { {}, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c} }

Cuntos subconjuntos
Fcil! Si el conjunto original tiene
tendr

n elementos, el conjunto potencia

elementos

Ejemplo: en el ejemplo {a,b,c} de arriba hay tres elementos (a,b y c, claro).

As que el conjunto potencia tendr 23 = 8, y as es!

Notacin
El nmero de elementos de un conjunto se suele escribir |S|, as que ahora escribimos:

|P(S)| = 2n
Ejemplo: cuntos elementos tiene el conjunto potencia de S={1,2,3,4,5}?
Bien, S tiene 5 elementos, as que:

|P(S)| = 2n = 25 = 32
Vers en un momento porqu el nmero de elementos es una potencia de 2.

Interseccin de conjuntos

La interseccin de A y B es otro conjunto A Bque contiene slo los elementos que pertenecen tanto
a A como a B.

En teora de conjuntos, la interseccin de dos (o ms) conjuntos es una operacin que

resulta en otro conjunto que contiene los elementos comunes a los conjuntos de partida. Por
ejemplo, dado el conjunto de los nmeros pares P y el conjunto de
loscuadrados C de nmeros naturales, su interseccin es el conjunto de los cuadrados
pares D :

En otras palabras: As, por ejemplo, si A = { a, b, c, d, e} y B = { a, e, i, o},

entonces la interseccin de dichos conjuntos estar formada por todos los
elementos que estn a la vez en los dos conjuntos, esto es: A B = { a, e}
La interseccin de conjuntos se denota por el smbolo por lo que D = P C.
Ejemplo.

Sean A = {5, , , c} y B = {, c, 0, , 5, R}. Entonces la interseccin es A B = {5, c}.

Sean los conjuntos de nmeros naturales C = {n: n es una potencia de 2} y D = {n: n es

un cubo}. Su interseccin esC D = {n: n es una potencia de 2 y un cubo} = {n: n es una
potencia de 2 cuyo exponente es mltiplo de 3} = {8, 64, 512, ...}.

Sean los conjuntos de nmeros pares e impares. Su interseccin es el conjunto

vaco , ya que no existe ningn nmero natural que sea par e impar a la vez.

Cuando la interseccin de dos conjuntos es vaca, se dice que son disjuntos:

Dos conjuntos A y B se dicen disjuntos si su interseccin es el conjunto vaco:

Unin de conjuntos

La unin de los conjuntos A y B es otro conjunto A B que contiene todos los elementos de A y de B.

En la teora de conjuntos, la unin de dos (o ms) conjuntos es una operacin que resulta en
otro conjunto, cuyos elementosson los elementos de los conjuntos iniciales. Por ejemplo, el
conjunto de los nmeros naturales es la unin del conjunto de los nmeros pares positivos P y
el conjunto de los nmeros impares positivos I:

La unin de conjuntos se denota por el smbolo , de modo que por

ejemplo, N = P I.
Ejemplo.

Considerando los conjuntos de nmeros naturales C = {n: n es un nmero primo} y D =

{m: m es un nmero compuesto}. Su unin es entonces , ya que el nico nmero natural que
no es ni primo ni compuesto es (por definicin) 1.

En la unin de conjuntos, los elementos repetidos slo aparecen una vez, pues los conjuntos
no pueden tener elementos repetidos:n 1

Funcin booleana
Este artculo o seccin necesita referencias que aparezcan en una publicacin acreditada,
como revistas especializadas, monografas, prensa diaria o pginas de Internet fidedignas. Este
aviso fue puesto el 30 de enero de 2011.
Puedes aadirlas o avisar al autor principal del artculo en su pgina de discusin
pegando: {{subst:Aviso referencias|Funcin booleana}} ~~~~

En matemticas, una funcin booleana es una funcin cuyo dominio son

las palabras conformadas por los valores binarios 0 1 ("falso" o "verdadero",
respectivamente), y cuyo codominio son ambos valores 0 y 1.
Formalmente, son las funciones de la forma : Bn B, donde B = {0,1} y n un entero no
negativo correspondiente a la aridad de la funcin.
ndice
[ocultar]

1 Modos de representacin
o

1.1 Algebraica

1.2 Por tabla de verdad

1.3 Numrica

1.4 Grfica

2 Mtodos de simplificacin
o

2.1 Algebraico

2.2 Mapa de Karnaugh

2.3 Numrico de Quine-McCluskey

3 Funciones incompletas

4 Forma cannica

4.1 Minitrmino

4.2 Maxitermino
5 Vase tambin

Modos de representacin[editar]
Existen distintas formas de representar una funcin lgica, entre las que podemos destacar
las siguientes:

Algebraica

Por tabla de verdad

Numrica

Grfica

El uso de una u otra, como veremos, depender de las necesidades concretas en cada
caso.

Algebraica[editar]
Se utiliza cuando se realizan operaciones algebraicas. A continuacin se ofrece un
ejemplo con distintas formas en las que se puede expresar algebraicamente una misma
funcin de tres variables.
a) F = [(A + BC) + ABC] + ABC
b) F = ABC + ABC + ABC + ABC
c) F = (A + B + C)(A + B + C)(A + B + C)(A + B + C)
d) F = BC + AB
e) F = (A + B)(B + C)
f) F = [(BC)(CB) (AB)]
g) F = [(A + B) + (B + C)]
La expresin a) puede proceder de un problema lgico
planteado o del paso de unas especificaciones a lenguaje
algebraico. Las formas b) y c) reciben el nombre expresiones
cannicas: de suma de productos (sum-of-products, SOP, en
ingls), la b), y de productos de sumas (product-of-sums,
POS, en ingls), la c); su caracterstica principal es la
aparicin de cada una de las variables (A, B y C) en cada
uno de los sumandos o productos.

Por tabla de verdad[editar]

Artculo principal: Tabla de verdad

Una tabla de verdad contiene todos los valores posibles de una funcin lgica dependiendo
del valor de sus variables. El nmero decombinaciones posibles para una funcin de n
variables vendr dado por 2n. Una funcin lgica puede representarse algebraicamente de
distintas formas como acabamos de ver, pero slo tiene una tabla de verdad. La siguiente
tabla corresponde a la funcin lgica del punto anterior.
La forma ms cmoda para ver la equivalencia entre una tabla de verdad y una expresin
algebraica es cuando esta ltima se da en su forma cannica. As, la funcin cannica de
suma de productos (o forma cannica disyuntiva)
F = ABC + ABC + ABC + ABC
nos indica que ser 1 cuando lo sea uno de sus
sumandos, lo que significa que tendr por lo tanto cuatro
combinaciones que lo sern (010 para ABC, 100 para
ABC, 101 para ABC y 110 para ABC) siendo el resto de
combinaciones 0. Con la funcin cannica de producto
de sumas (o forma cannica conjuntiva) se puede
razonar de forma anloga, pero en este caso observando
que la funcin ser 0 cuando lo sea uno de sus
productos.
Tambin es fcil obtener la tabla de verdad a partir de la
funcin simplificada, pero no as a la inversa.
todo de Suma de Productos (SDP)
La suma de productos de una funcin lgica es la suma de los mintrminos correspondientes a
las lneas de la tabla de verdad para las que la funcin produce una salida igual a 1. La funcin
obtenida es la suma de productos.
Ejemplo
Obtener la suma de productos para la funcin lgica de la tabla 2.3.1.

Lnea

Funcin de salida F1

Tabla 2.3.1.Tabla de verdad para la funcin lgica F1

La funcin puede ser expresada conformando un trmino mnimo por cada combinacin de
variables que producen un 1 en la funcin para luego obtener la suma de todos los trminos. La
funcin lgica para la tabla 2.3.1 se determina expresando las combinaciones 010, 100, 101 y
111 como A'BC', AB'C', AB'C y ABC:
F1= A,B,C( 2,4,5,7)= A'BC' + AB'C' + AB'C + ABC.
Cada mintrmino de la funcin anterior representa una compuerta AND de tres entradas y la
implementacin de la funcinzes posible a travs de la aplicacin de la operacin OR a las salidas
de las cuatro compuertas AND. Por tanto, el nmero total de compuertas AND depender del
total de mintrminos de la expresin. El circuito se muestra en la figura 2.3.1.

Figura 2.3.1. Circuito lgico para la funcin lgica F 1.

En una suma de productos se cumple la igualdad de la funcin al valor lgico 1 si al menos uno
de sus trminos productos es igual a 1.
Ejemplo
Obtener la suma de productos para la funcin lgica de la tabla 2.3.2.

F2

Tabla 2.3.2.Tabla de verdad de la funcin F2.

En la tabla de verdad existen dos condiciones para las cuales la salida es 1. Estas son las
siguientes:
1.

La primera se presenta cuando A es Bajo(0) y B es Alto(1). El resultado 1 de esta

condicin se puede expresar como el producto lgico:
AB

2.

La segunda condicin se presenta cuando A es 1 y B es 0. Esta condicin ocasiona un

resultado 1, si el producto lgico es:
AB

Como cualquiera de estas 2 condiciones hace que la salida sea 1, entonces la funcin lgica que
los representa es la suma lgica de los productos anteriores:
F2= AB + AB = A B
La representacin de la funcin anterior con compuertas OR y AND se muestra en la figura 2.3.2.

DIAGRAMAS DE VENN
Un Diagrama de Venn es una representacin grfica, normalmente valos o crculos,
que nos muestra las relaciones existentes entre los conjuntos. Cada valo o
crculo es un conjunto diferente. La forma en que esos crculos se sobreponen entre
s muestra todas las posibles relaciones lgicas entre los conjuntos que representan.
Por ejemplo, cuando los crculos se superponen, indican la existencia de subconjuntos
con algunas caractersticas comunes.
1.-Observa que en nuestro caso usamos cuadrados en lugar de crculos, esto lo
hacemos para facilitar los clculos en nuestra aplicacin. A continuacin tienes un
ejemplo de un diagrama.

2.- Fjate que hay tres zonas en el diagrama: Una donde solo hay elementos de A,
otra donde solo hay elementos de B, y una tercera donde estn los elementos
comunes a ambos conjuntos.
3.- Coloca en cada zona los elementos de los conjuntos A y B que se muestran.
4.- Representa en tu cuaderno tres diagramas que hayas logrado realizar
correctamente. (Diagrama y conjuntos por extensin)