OPERATIVIDAD ENTRE CONJUNTOS

YENIFER XIOMARA OCAMPO

COD: 1120365076

TUTOR

SERGIO ANDRES TRUJILLO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PENSAMIENTO LOGICO MATEMATICO

CIENCIAS BASICAS COD 200611_701

ACACIAS META

1 DE OCTUBRE DE 2017
 OBJETIVO GENERAL

Identificar que es un conjunto

OBJETIVOS ESPECICIFOS

Investigar cuales son las operaciones que podemos realizar con los
conjuntos

Comprender que es un diagrama de ven y para qu sirve

Investigar que es la lgica proposicional

 INTRODUCCION

El presente trabajo es realizado con el fin de iniciarnos en el tema de la lgica

matemtica, que es una materia muy importante para cualquier clase de
profesional, ya que le brinda una serie de herramientas que le ayudaran en
cualquiera sea su profesin o problema que tenga ya sea terico o de la vida real,
ya que esta materia nos fomenta el desarrollar habilidades necesarias para poder
llegar al porqu de las cosas, y as miso poder llegar al que y cul es el problema
de las mas y as poder resolverlas
 UNION DE CONJUNTOS
La teora de conjuntos es una de las partes de la matemtica que se ha
desarrollado desde fines del siglo XIX. Ha introducido trminos como pertenencia,
inclusin, unin y otro. Su uso ha permitido indudablemente mejorar la precisin
del lenguaje en reas de conocimiento como la teora de relaciones y funciones, la
teora de las probabilidades, entre otras.

Un conjunto es cualquier agrupacin o coleccin de objetos o entidades.

Un elemento es cada uno de los objetos que constituyen un conjunto
Los conjuntos se designan o escriben generalmente con una letra mayscula.
Sus elementos se encierran entre llaves y si se trata de literales, se usan letras en
minscula. Por ejemplo, el conjunto A, que se forma por los elementos 1, 2 y 3, se
escribir de esta forma:
A= {123}
La unin de conjuntos es correspondiente la unificacin de los elementos de
dos conjuntos o incluso ms conjuntos, que pueden partiendo de esto conformar
una nueva forma de conjunto, en la cual los elementos dentro de este
correspondan a los elementos de los conjuntos originales. Cuando un elemento es
repetido, forma parte del conjunto unin una vez solamente; esto difiere de la
unin de conjuntos en la concepcin tradicional de la suma, en la cual los
elementos comunes se consideran tantas veces como se encuentren en la
totalidad de los conjuntos.
Podemos decir que la unin de conjuntos es una operacin binaria (aquella
operacin matemtica, que precisa del operador y de dos argumentos para que se
pueda calcular un valor) en el conjunto de todos los subconjuntos de un U,
Conjunto universal (Se denomina as al conjunto formado por todos los elementos
del tema de referencia) dado. Mediante la cual a cada par de conjuntos A y B de U
le es asociado otro conjunto (A U B) de U. Si A y B son dos conjuntos, la unin se
define de la siguiente forma:

AUB
La unin de A y B, es el conjunto de elementos x de U, tal que, x pertenezca a
A, o que, x a pertenezca a B.
Esta operacin tiene propiedad conmutativa, asociativa y tiene Elemento
neutro.
 Propiedades
Sean A, B y C tres conjuntos cualesquiera
A A = A (propiedad idempotente) En lgebra de conjuntos, las operaciones
de unin y tambin de interseccin de conjuntos cumplen con esta propiedad. Esto
quiere decir que la unin o interseccin de un conjunto con el mismo, resultar en
el mismo conjunto.
A B = B A (propiedad conmutativa). Si se cambia el orden de los
conjuntos, el conjunto unin no se altera.
(A B) C = A (B C) (propiedad asociativa).
(B C) A = (B A) (C A) (propiedad distributiva respecto de la
interseccin).
A (A B) = A = A (A B) (ley de absorcin).
Caso particular:
Si un conjunto est incluido en otro, la unin de ambos es el conjunto
incluyente.
Grficamente:

Por lo tanto:

Interseccin de conjuntos
La interseccin de dos (o ms) conjuntos es una operacin que resulta en otro
conjunto que contiene los elementos comunes o (repetidos) a los conjuntos de
partida o iniciales.
Cuando la interseccin de dos conjuntos es vaca, se dice que son disyuntos
y se representa S D = .

El smbolo con el que se representa la interseccin es este:

por ejemplo:
F = {Amarillo, Azul, rojo, verde. morado}
G = {verde, caf, rosado, negro, gris, rojo}
ENTONCES F G = {verde, rojo} ya que son los elementos que se repiten
en ambos conjuntos.

A = {a, b, c, d, e} y B = {a, e, i, o}
 En el diagrama de venn, los elementos de interseccin de escriben en el
medio de los dos diagramas. y solo se escriben una vez.
Un ejemplo ms.
B = {Luis, Ins, Ana, Beto} y N = {Ana, Pardo, Beto}

A = {3, 5, 7,9}
B = {1, 2, 3, 4,5}
C = {4, 5, 6, 7,8}

A B = {3, 5}
A C = {5, 7}
B C = {4, 5}
C A = {4, 5}
Complemento de un Conjunto
Para trabajar el complemento de conjuntos debemos recordar que existen
conjuntos universales que son los que engloban a tienen mayor nmero de
elementos, es decir que es aquel que se usa como referencia para formar otros
conjuntos, y se representa con la letra U.
El complemento de u conjunto X se forma con los elementos que le hacen
falta al conjunto X para ser igual al conjunto universal. Esto de representa con Ac.
EJEMPLO:

como se puede observar en el ejemplo anterior el conjunto universal est

representado por la letra U y el subconjunto con la letra A
U = {1, 3, 5, 7, 9,11}
A = {1, 3, 5,7} por lo tanto
Ac = {9,11} que son los elementos que le hacen falta al conjunto A para ser
igual al conjunto U

El mismo ejercicio representado en diagramas de Venn.

 Veamos otro ejemplo:

U = {11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21}
A = {17, 18}
B = {11, 12, 13}
Por lo tanto:
Ac = {11, 12, 13, 14, 15, 16, 19, 20, 21} que son los elementos que le hacen
falta al conjunto A para ser igual al conjunto U
Bc = {14, 15, 16, 19, 20, 21} que son los elementos que le hacen falta al
conjunto B para ser igual al conjunto U
En lgica proposicional y lgebra de Boole, las leyes de De Morgan123 son un par
de reglas de transformacin que son ambas reglas de inferencia vlidas. Las
normas permiten la expresin de las conjunciones y disyuncionespuramente en
trminos de va negacin.
Las reglas se pueden expresar en espaol como:
La negacin de la conjuncin es la disyuncin de las negaciones.
La negacin de la disyuncin es la conjuncin de las negaciones.
o informalmente como:
"no (A y B)" es lo mismo que "(no A) o (no B)"

y tambin,
"no (A o B)" es lo mismo que "(no A) y (no B)"
Las reglas pueden ser expresadas en un lenguaje formal con dos
proposiciones P y Q, de esta forma:
~( ^ ) (~)(~)
~( ) (~)^(~)
donde:
es el operador de negacin (NO)
^ es el operador de conjuncin (Y)
V es el operador de disyuncin (O)
es un smbolo metalgico que significa "puede ser
reemplazado en una prueba lgica"
Entre la aplicaciones de las normas se incluyen la simplificacin
de expresiones lgicas en programas de computacin y diseo de circuitos
digitales. Las leyes de De Morgan son un ejemplo de concepto ms
general de dualidad matemtica.

Notacin formal
La regla de la negacin de la conjuncin se puede escribir en la subsiguiente
notacin:
~( ^ ) (~)(~)
La negacin de la regla de disyuncin se puede escribir como:
~( ) (~)^(~)

En forma de regla: negacin de la conjuncin

~(^ )
~ ~
Y la negacin de la disyuncin
~( )
~ ^ ~
y se expresa como una tautologa verdad-funcional o teorema de lgica
proposicional:
~( ^ ) (~ ~)
~( ) (~ ^ ~)
 donde P, y Q son proposiciones expresadas en algn sistema formal.

Forma de sustitucin
Normalmente, las leyes de De Morgan se muestran en forma compacta como
se muestran arriba, con la negacin de la salida de la izquierda y la de las
entradas a la derecha.
Conjuncin
La conjuncin de dos proposiciones es equivalente a la negacin de la
disyuncin de los trminos negados
^
~(~ ~)
Disyuncin
La disyuncin de dos proposiciones es equivalente a la negacin de la
conjuncin de la negacin de P y la negacin de Q

~(~ ^ ~)

Negaciones de operadores en las conjunciones y disyunciones

Conjuncin con P negada
La conjuncin de la proposicin P negada y la preposicin Q es equivalente a
la negacin de la disyuncin de P y la negacin de Q
~^
~( ~)

Conjuncin con Q negada

La conjuncin de la proposicin P y la preposicin Q negada es equivalente a
la negacin de la disyuncin de la negacin de P y Q
^ ~
~(~ )

Conjuncin tanto de P como de Q negadas

La conjuncin de la proposicin P y Q negadas es equivalente a la negacin
de la disyuncin de P y Q
~ ^ ~
~( )

Disyuncin con P negada

La disyuncin de la proposicin P negada y la preposicin Q es equivalente a
la negacin de la conjuncin de P y la negacin de Q
~
~( ^ ~)

Esta forma tambin es equivalente al implica de la negacin del trmino P y la

negacin del trmino Q
 ~( )
~(~ )
Disyuncin con Q negada
La disyuncin de la proposicin P y la preposicin Q negada es equivalente a
la negacin de la disyuncin de la negacin de P y Q
~
~(~ ^ )
Disyuncin tanto de P como de Q negadas
La disyuncin de la proposicin P y Q negadas es equivalente a la conjuncin
de la disyuncin de P y Q
~ ~
~( ^ )
Esto pone de relieve la necesidad de invertir tanto en las entradas como en las
salidas, as como tambin cambiar el operador, haciendo una sustitucin.

Teora de conjuntos y el lgebra de Boole

En la teora de conjuntos y el lgebra de Boole, a menudo se indica como
"Intercambio de Unin e interseccin bajo la complementacin", 4 que puede ser
expresado formalmente como:
=
=
que puede ser expresado formalmente como:
donde:
A es la negacin de A, la lnea alta est escrita sobre las trminos
que se niegan
es el interseccin operador (Y)
es el operador unin (O)

La forma generalizada es:

donde I es un conjunto indexado, posiblemente incontable.

Se puede recordar la ley de De Morgan, en notacin de conjunto,
mediante la regla nemotcnica "romper la lnea, cambiar el signo".

OPERATIVIDAD ENTRE CONJUNTOS

En uno de los cursos de Administracin de Empresas de la UNAD, se propone
hacer un estudio de mercadeo; para lo cual Luisa quiere estudiar el mercadeo de
la literatura, es as que, toma como antecedentes los libros ms vendidos en el
ao 2016. Selecciona tres de ellos y aun grupo de 144 personas les pregunta cul
o cules libros compraran, obteniendo los siguientes datos: 20 compraran los tres
libros seleccionados que son Harry Potter, Yo antes de ti y el laberinto de los
espritus; 16 slo compraran el de Harry Potter; 37 slo compraran el de yo antes
de ti; 40 slo pagaran por laberinto de los espritus; 24 personas en total
afirmaron gustarles a la vez el libro de Harry Potter y yo antes de ti; 28 personas
en total manifestaron gusto por Harry Potter y laberinto de los espritus a la vez; y
32 personas en total expresaron querer comprar a la vez yo antes de ti y el
laberinto de los espritus. Un pequeo grupo de personas manifestaron no sentir
gusto por la lectura; con el uso del Diagrama de Venn por favor determinar
cuntos de ellos no muestran gusto por la lectura.

7 personas no muestran gusto por la lectura.

20 personas se encuentran en la interseccin de los 3 crculos.

16 personas van en la zona del crculo perteneciente a Harry Potter donde no hay
interseccin, ya que a ellos slo les gusta este libro.

37 personas van en la zona del crculo perteneciente a Yo antes de ti donde no

hay interseccin, ya que a ellos slo les gusta este libro.

40 personas van en la zona del crculo perteneciente al Laberinto de los

espritus donde no hay interseccin, ya que a ellos slo les gusta este libro.

Para determinar la cantidad de personas que se encuentran en las intersecciones

faltantes se debe restar la cantidad de personas que afirman gustarle los dos
libros a 20 (que es la cantidad de personas que compraran los 3 libros). De esta
manera se obtiene:

24 - 20 = 4

28 - 20 = 8

32 - 20 = 12

Al sumar todas las personas representadas en el diagrama de Venn se tiene la

cantidad total de personas que leen:

16 + 37 + 40 + 20 + 4 + 8 + 12 = 137

Si en total son 144, se obtiene mediante la resta la cantidad de personas que no

muestran gusto por la lectura

144 - 137 = 7

7 personas no muestran gusto por la lectura.

 Con el objetivo de resaltar las tradiciones colombianas se ha encuestado a un
grupo de 271 personas con relacin al gusto por el sobrero tpico de Colombia y
se han seleccionado tres clases, el sobrero aguadeo, el sombreo vueltiao y el
sombrero suaza. Se obtuvo la siguiente informacin: un total de 71 personas les
gusta el sombrero aguadeo, un total de 145 personas muestran afinidad por el
uso del sombrero vueltiao y un total de 127 personas dicen tener gusto por el
sombrero suaza; 5 personas muestran gusto por los tres tipos de sobrero; 12
dicen gustarles a la vez slo el aguadeo y el vueltiao; 24 que slo les gusta a la
vez el aguadeo y el suaza; 38 muestran gusto slo por el vueltiao y el suaza a la
vez; otras 12 personas dicen no gustarles ninguno de los sombreros mencionados.
Determinar con el uso del Diagrama de Venn cuantos slo les gusta el sombrero
aguadeo, cuntos slo les gusta el sombrero vueltiao y cuntos slo les gusta le
sombrero suaza.

A 30 personas slo les gusta el sombrero Aguadeo.

A 60 personas slo les gusta el sombrero Vueltiao.
A 90 personas slo les gusta el sombrero Suaza.

5 personas se representan en la interseccin entre los 3 conjuntos.

12, 24 y 38 se representan en las intersecciones entre slo los 2 conjuntos

respectivos de cada gusto.

Si en total a 71 personas les gusta el sombrero aguadeo entonces se determina

la cantidad de personas que slo les gusta este sombrero as:

71 - 12 - 24 - 5 = 30 personas

Si en total a 145 personas les gusta el sombrero vueltiao entonces se determina la

cantidad de personas que slo les gusta este sombrero as:
145 - 12 - 38 - 5 = 90 personas

Si en total a 127 personas les gusta el sombrero suaza entonces se determina la

cantidad de personas que slo les gusta este sombrero as:

127 - 38 - 24 - 5 = 60 personas

Comprobamos el total de personas encuestadas:

30 + 90 + 60 + 5 + 12 + 24 + 38 + 12 = 271 personas en total.

ENUNCIADOS DE FALACIAS
Los llamados ojos binicos son un avance cientfico que brinda grandes
beneficios para pacientes ciegos. Lo afirma el Doctor Francs Jos-Alain Sahel,
quien dirige en Pars el Instituto de la Visin, un centro de investigacin del
hospital oftalmolgico Quinze-Vingts
La falacia es un argumento en apariencia correcto, pero que en realidad no
sigue las reglas lgicas.

En este caso, la falacia sera si alguien interpretara que el hecho de que la

afirmacin es realizada por una persona que tiene un gran prestigio por ser
Director de un centro de investigacin importante.

El hecho de que la afirmacin sea hecha por este prestigioso investigador no es

un argumento en s. No explica el hecho. Un argumento vlido tiene que partir de
premisas (hechos) ciertos, es decir evidencias, y seguir las reglas de la lgica.

Sin evidencias cientficas, el enunciado no constituye un argumento vlido, y el

hecho de que tenga apariencia de vlidos lo hace una falacia.

Este tipo de falacia, en que se hace uso del prestigio del emisor dando la
apariencia de ser una argumentacin, sin dar razones vlidas, se llama falacia ad
verecundiam.
 CONCLUSIONES

Luego de haber realizado el presente trabajo he podido concluir lo siguiente

Un conjunto es una agrupacin de cosas con caractersticas similares, las

cuales es posible aplicarles ciertas propiedades u operaciones, adems los
conjuntos nos sirven par aun sion fin de usos, como para organzar mejor las cosas

Las operaciones que podemos realizar entre conjuntos son 5, unin,

interseccin, complemento., diferencia, y diferencia simtrica, cada una con sus
caracertisticas y propiedades propias, que las diferencian de las demas

El diagrama de ven es la herramienta que tenemos para poder representar

grficamente un conjunto
 BIBLIOGRAFIA

Guerrero, S. L. M. (2005). "Fundamentos de los Conjuntos en Matemticas". En ProQuest

ebrary (Ed). Matemticas. Sus fundamentos en secuencia ptima. (pp. 24 34). Crdoba,
Argentina: El Cid Editor. Recuperado
de: http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=24&docID=100
75782&tm=1489706755797
Operaciones entre conjuntos

Snchez, H. R. (2014). "Conjuntos". En ProQuest ebrary (Ed) lgebra. (pp. 2- 30). Mxico,
D.F., Mxico: Larousse - Grupo Editorial Patria. Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=15&docID=110461
69&tm=1489706134764

Gonzles, T. L., & Saavedra, M. (2009). "Teora de Conjuntos". En ProQuest ebrary (Ed).
Aciertos matemticos 11: serie para la educacin media. (pp. 20 -24). Bogot, Colombia:
Educar Editores S.A. Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=21&docID=103452
86&tm=1489708381971

Argoty, L. (2015).Teora de conjuntos. Recuperado de

http://erenriquez.net/largoty/Ova02MD/

Chvez, C. P. (2000). Compendio de lgica. : Larousse - Grupo Editorial Patria. Pginas

163-166. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=178&docID=11046
000&tm=1492520104862