Está en la página 1de 11

1

Conjuntos y su relación con la lógica.

Diana Carolina Hincapié Torres

Notas del Autor

Diana Carolina Hincapié Torres, Ciencias de la Educación, Universidad del


Atlántico

La correspondencia relacionada con este texto está dirigido a Julio Romero Pabón

Ciencias de la educación, Universidad del Atlántico, Cr. 30 N° 8-49 Puerto


Colombia.

dhincapie@uniatlantico.edu.co
2

CONJUNTOS: LA RAMA CON GRANDES IMPLICACIONES EN LA CIENCIA

Cuando se habla del concepto de matemáticas, se sabe que se ha definido


como una ciencia, la cual se encarga de estudiar las relaciones entre los números
y todas las relaciones que se establecen entre ellos.

Cuando pensamos en la teoría de conjuntos, se puede hacer una aclaración de su


estado de independencia en la actualidad, la cual no se tenía para principios del
siglo XX, esto debido a sus contenidos se camuflaban con ramas que hoy día son
independientes. Estas ramas son: teoría descriptiva de conjuntos y lógica,
topología, teoría de funciones, entre otras. De lo anterior se puede inferir que
estas ramas se han complementado o retroalimentado entre si y que al estudiar la
historia de cada una de ellas implica abordar parte de la historia de las otras.

De acuerdo con Beltrán, A. (2014) Dedekind y Cantor son los personajes que se
identifican en el primer momento de los desarrollos conjuntistas. De la obra de
estos dos matemáticos se identificaron tres tendencias en los desarrollos
conjuntistas:

-Como herramienta para abordar problemas de otras ramas de las matemáticas


(especialmente la teoría de funciones, en su caso especial la representación en
series trigonométricas).

-Como fundamentadora de las matemáticas.

-Para abordar la teoría de conjuntos transfinitos. (p.83)

Cuando se piensa en conjuntos, de acuerdo con Romero (2016), entonces


relacionamos con la idea de agrupar, por esto es que los conjuntos están
relacionados con el proceso de contar y por tanto permiten resolver preguntas que
implican la noción de cantidad. (P. 48)

Basado en este juicio, ¿Cómo definiría usted lo que es conjunto?

Un conjunto es una colección de elementos con características similares


considerada en sí misma como un objeto[ CITATION Wki19 \l 9226 ]
3

Para Cantor, los conjuntos son colecciones de objetos que pueden poseer finitos o
infinitos elementos, además añadió que hay conjuntos infinitos que poseen
distintos cardinales.[ CITATION Ope19 \l 9226 ]

Este concepto que se ha tenido sobre la colección de objetos, no satisface a todos


los conjuntos, por tanto no se puede hablar de una definición formal de conjuntos.

Ahora que tenemos una idea general acerca los conjuntos, ¿Cuáles y cuantas
relaciones entre los conjuntos existen?

Dentro de las relaciones entre los conjuntos se tiene:

Subconjunto

Conjunto de elementos que tienen las mismas características y que está incluido
dentro de otro conjunto más amplio. [ CITATION Dic \l 9226 ]

Entonces se dice que un conjunto A es un subconjunto de B, lo cual se escribe


A ⊂B y se lee “A es subconjunto de B”, si todo elemento de A es elemento de B.
Esto es: x ∈ A → x ∈ B

Igualdad de conjuntos

Se dice que dos conjuntos son iguales si tienen exactamente los mismos
elementos. Una forma práctica de establecer si dos conjuntos son iguales es
determinar si se contienen el uno al otro. [ CITATION GCF \l 9226 ].

Entonces, dos conjuntos A y B son iguales si todos los elementos de A pertenecen


a B y todos los elementos de B pertenecen a A. Esto es A=B ↔ ( A ⊂ B ) ∧ ( B ⊂ A )

Ahora que conocemos las relaciones entre conjuntos, ¿Cuáles son los conjuntos
especiales?

Conjuntos especiales

Dentro de los conjuntos especiales se tienen:

Conjunto vacío
4

El conjunto vacío es aquel conjunto que carece de elementos y simboliza: {} o∅.

Conjunto Universal

El conjunto universal es el conjunto de referencia, es decir contiene a todos los


elementos de los conjuntos que intervienen en una situación dada. Este conjunto
se denota como: U

Conjunto de partes

Dado un conjunto A, entonces el conjunto de partes de A, denotado por P(A), es el


conjunto cuyos elementos son todos los subconjuntos de A.

En la lista de subconjuntos de A hay que tener en cuenta dos subconjuntos


especiales: el conjunto vacío ∅ y el mismo conjunto A.

Por ejemplo:

Si A={a , b , c }

Como A tienes 3 elementos el conjunto parte tendrá: 23=8 subconjuntos

P ( A )={∅ , {a } , { b } , { c } , { a , b } , { a , c } , { b , c } , {a , b , c } }

Los diagramas de Venn o de Euler son una manera esquemática de representar


los conjuntos y los conceptos anteriormente revisados. Es una herramienta
didáctica que permite visualizar las relaciones entre los conjuntos, como la
pertenencia, inclusión y las operaciones con conjuntos.

Teniendo en cuenta lo anterior, ¿Cuáles son las operaciones entre conjunto y cuál
es su relación con la lógica?

Así como los números se pueden combinar a través de operaciones como adición,
sustracción y multiplicación, los conjuntos también se pueden combinar para
obtener otros conjuntos a través de ciertas operaciones como:

 Unión de conjuntos
 Intersección de conjuntos
5

 Diferencia de conjuntos
 Diferencia simétrica de conjuntos.
 Complemento de un conjunto.

Unión de conjuntos

La unión de dos conjuntos A y B son denotados por A u B (y se lee “A unión B”) es


el nuevo conjunto, el cual está formado por los elementos que pertenecen a A o a
B o a ambos conjuntos.

Esto simbólicamente es: A u B={x ∈ A v x ∈ B }

Intersección de conjuntos

La intersección de dos conjuntos A y B, denotada por A ∩ B(y se lee “A


intersección B”) es el nuevo conjunto, el cual está formado por los elementos que
pertenecen a A y a B, es decir, por los elementos comunes.

Esto simbólicamente es: A ∩ B={ x ∈ A ∧ x ∈ B }

Diferencia de conjuntos

La diferencia de dos conjuntos A y B, denotada por A-B (y se lee “A menos B”) es


el nuevo conjunto, el cual está formado por los elementos que pertenecen a A y no
pertenecen a B.

Esto simbólicamente es: A−B={x / x ∈ A ∧ x ∉ B }

Diferencia simétrica de conjuntos

La diferencia de dos conjuntos A y B, denotada por A ⊕ B (y se lee “A diferencia


simétrica B”) es el nuevo conjunto formado por los elementos que pertenecen a A
o a B, pero no pertenecen a su intersección.

Esto simbólicamente es: A ⊕ B={x / x ∈ A v x ∈ B ∧ x ∉( A ⋂ B) }


6

Complemento de un conjunto

El complemento de un conjunto A con respecto al conjunto universal U, denotado


por A’ (y se lee “El complemento de A”) es el nuevo conjunto formado por
elementos que pertenecen al Universo U y no pertenecen a A.

Esto simbólicamente es: A' = { x / x ∈ U ∧ x ∉ A }=U −A

Adicionalmente podemos encontrar el número de elementos de un conjunto, el


cual puede establecer cuantos elementos tiene un conjunto A, siendo A un
conjunto finito. Esto quiere decir que al conjunto A se le puede asignar un número
natural, denotado por n(A), al que también se le conoce como la cardinalidad de A
y que es igual al número de elementos de A.

Por ejemplo:

Si A={1,2,3,4}, U={1,2,3,4,5,6} entonces n(A)=4 y n(U)=6

Así como la lógica, los conjuntos tienen una serie de propiedades para sus
operaciones:

Las siguientes cuatro propiedades son válidas para las operaciones de unión e
intersección: Leyes de idempotencia, leyes asociativas, leyes conmutativas y leyes
distributivas.

Otras propiedades, relacionadas con los conjuntos Universal y vacío son las leyes
de identidad, mientras que para el complemento se tienen las leyes del
complemento. Ahora para complementar la pregunta se revisara la respectiva
relación entre la lógica y los conjuntos, de acuerdo a esto se tiene que todas las
leyes del algebra de conjuntos se apoyan en el análisis lógico.

Para ello se tiene:


7

p = ser un elemento de A

q= ser un elemento de b

Conjunto Proposiciones Se lee


A ∪B p ∨q Ser de A o B
A∩B p ∧q Ser de A y B
A’ ∼p No ser de A
¿)’ ∼( p ∨ q) No ser de A ni ser de B
A'∩B' ∼ p ∧∼ q No ser de A ni ser de B
¿)’ ∼( p ∧ q) No ser de A y B
A ' ∪B ' ∼ p ∨∼ q No ser de A y B
A ⊂B p →q Si es de A entonces es de B
A ∩ B≠ ∅ p ∧q ≠ F Algunos elementos de A son
elementos de B.
A ∩ B=∅ p ∧q=F Ningún elemento de A es
elemento de B.

Fuente: Tomado de Lógica Matemática y Aplicaciones (Romero, 2016)

Ahora que se conoce sobre los conjuntos y su relación con la lógica, debemos
responder al siguiente interrogante ¿Cuál es el papel de los conjuntos en la
ciencia?

Cuando pensamos en las aplicaciones de la teoría de conjuntos en el campo de la


ciencia, pensamos en diversos ámbitos, uno de ellos es la medicina, en la
medicina cuando se desea realizar un diagnóstico a cada paciente, se hace un
análisis con respecto a la sintomatología presentada por cada paciente,
atendiendo a los síntomas que este presente, esto quiere decir que se “conjuntan”
los síntomas, y de acuerdo a esta sintomatología el medico inicia procesos de
asociación que complementa con estudios para dar un diagnostico asertivo de la
enfermedad. En este caso en particular, aunque no se use un diagrama de venn,
el medico hace uso de diagramas mentales y emite diagnósticos basándose en la
sintomatología y haciendo respectivos descartes apoyándose en los resultados de
los estudios.
8

Así como en la matemática en la modelación se encuentran datos atípicos, en la


medicina se presentan estos casos, es aquí donde aparecen las llamadas
“enfermedades huérfanas”

Una Enfermedad Huérfana o rara es aquella que afecta a un pequeño número


absoluto de personas o a una proporción reducida de la población. [ CITATION Min \l
9226 ].

Según el ministerio de salud (2013) en Colombia se considera la relación de 1 por


cada 5000 personas comprende las enfermedades raras, huérfanas y olvidadas
(Ley 1392 de 2010/Ley 1438 de 2011).

En este caso puntual, la sintomatología puede presentar confusiones en cuanto al


diagnóstico, ya que las patologías pueden ser subconjuntos, es decir no engloba
todos los componentes, sino unos particulares de esa agrupación del cuadro
clínico presentado.

De acuerdo con el Grupo Insight La aplicación de teorías físicas y matemáticas en


diferentes áreas de la medicina ha permitido establecer órdenes de aplicación
experimental, clínica y epidemiológica. En el campo de la inmunología se
desarrolló una teoría para la predicción del fenómeno de unión de péptidos al HLA
clase II, con base en la probabilidad, combinatoria y entropía, que predijo
correctamente el estado de unión o no unión de la totalidad de péptidos
estudiados, tanto teóricos, como sintéticos y naturales. (2011).

Teniendo en cuenta la relación que tienen los conjuntos con la lógica, podemos
entonces decir que:
9

Las propiedades algebraicas y las transformaciones de las sentencias son


utilizadas en la construcción de circuitos integrales (Compuertas lógicas: NOT,
AND, Or, NAND, NOR).

Dentro de la aplicación de la puerta OR, entonces tiene sus aplicaciones en el


campo industrial, por ejemplo en una planta para detectar el exceso de la
temperatura o la presión, se utiliza una puerta OR, para que produzca una señal y
el sistema pueda tomar las acciones necesitar. Entonces en este caso se evalúa si
el parámetro excede el valor seguro o es necesario realizar alguna medida de
protección.

Para las aplicaciones de AND Gate, en donde hay principalmente dos


aplicaciones; habilitar compuerta e inhibir compuerta. Habilitar compuerta significa
que se va a permitir el ingreso de datos a través de un canal e inhibir compuerta
es el proceso contrario a este, en otras palabras, rechazar los datos a través de un
canal.

Las puertas No, se conocen también como inversores, esto debido a que invierten
la salida que se les está dando y por tanto muestra el resultado inverso. Por
ejemplo, los inversores CMOS, estos se usan de forma común para la
construcción de osciladores de onda cuadrada, los cuales son usados para
generar señales de reloj. Se caracterizan principalmente porque consumen poca
energía y su interfaz es muy fácil en relación con otras compuertas lógicas.

Cuando también se analizan los circuitos, sabemos que los circuitos pueden ser
en serie o en paralelo. Entonces el circuito en serie es un circuito con
conmutadores X y Y, estos están dispuestos de tal forma que uno queda detrás
del otro. En este caso para que la corriente pueda pasar y se encienda el foco, es
necesario que ambos conmutadores estén cerrados, es decir, que ambos asuman
el valor de “1”. Solamente basta con que se abra uno de ellos, es decir que alguno
de los dos tome el valor de “0”, para que la corriente se interrumpa. Lo anterior,
quiere decir que el circuito en serie se comporta como una conjunción. [ CITATION Scr
\l 9226 ]
10

Esto quiere decir que para que la corriente pueda pasar y se encienda el foco, es
necesario que los conmutadores X y Y, estén cerrados. Basta con que uno solo
este abierto para que se vea interrumpida y no pueda encenderse el foco.
Entonces si ambos están cerrados asumen el valor de 1, y si están abiertos
asumen el valor de 0.

El circuito en paralelo es un circuito con dos conmutadores X y Y, los cuales están


dispuestos de tal manera que uno queda al lado del otro. En este caso, para que
la corriente pase y se encienda el foco, basta solo con que uno de los dos
conmutadores este cerrado. Ahora, para que la corriente se interrumpa se
necesita que los conmutadores estén abiertos. Esto quiere que el circuito en
paralelo se comporta igual que la disyunción. En consecuencia, para que la
corriente pase y el foco se encienda es suficiente con que alguno de los dos esté
cerrado. La corriente se interrumpe solamente en el caso de que los dos
conmutadores estén abiertos. Entonces si ambos conmutadores están cerrados,
asumen el valor de 1, mientras que si ambos están abierto, entonces asumen el
valor de 0. [ CITATION Scr \l 9226 ]

Teniendo en cuenta esto, es posible construir circuitos para formulas conjuntivas o


disyuntivas, además se pueden simplificar a través de las reglas lógicas. Por
ejemplo, algunas equivalencias usadas en la construcción de circuitos son: De
Morgan, Implicación material, Equivalencia material, Distribución, Tautología,
Absorción.

De acuerdo a los anteriores ejemplos que son algunas de las muchas aplicaciones
que tiene la teoría de conjuntos en la ciencia, se puede inferir que la teoría de
conjuntos permite realizar la diferenciación de elementos que son particulares con
respecto a un conjunto general a través de las operaciones que se realizan entre
los conjuntos como la unión, la intersección, la diferencia y la diferencia simétrica.

Referencias bibliográficas
11

Beltrán, A. (2014). La teoría de conjuntos en el periodo Entreguerras: la internacionalización de la


matemática polaca a través de Fundamenta Mathematicae y Sierpinski. Tesis de
doctorado. Universidad Autónoma deBarcelona. Obtenido de:
https://www.tesisenred.net/bitstream/handle/10803/285109/acb1de1.pdf?
sequence=1&isAllowed=y

Diccionario de Google. (s.f.). Obtenido de https://www.google.com/search?sxsrf=ACYBGNR00-


lKJ7zj6d85Fe57uxbfRkBELQ
%3A1569617043693&source=hp&ei=k3SOXYnlJ8Xy5gLDwZaADw&q=subconjunto+&oq=su
bconjunto+&gs_l=psy-
ab.3..0i131j0i20i263j0l8.735.2521..2643...0.0..0.165.1652.0j11......0....1..gws-wiz.......35

GCF Aprende libre. (s.f.). Los Conjuntos - Relación de igualdad. Obtenido de


https://edu.gcfglobal.org/es/los-conjuntos/relacion-de-igualdad/1/

Ministerio de Salud. (s.f.). Cuentadealtocosto.org. Obtenido de


https://cuentadealtocosto.org/site/index.php/9-patologias/24-enfermedades-huerfanas/?
template=cuentadealtocostocontenido

OpenMid. (29 de Marzo de 2019). Georg Cantor, el hombre que descubrió distintos infinitos.
Obtenido de https://www.bbvaopenmind.com/ciencia/matematicas/georg-cantor-el-
hombre-que-descubrio-distintos-infinitos/

Rodriguez,J., Prieto, S., Bernal, P., Perez, C., Correa, C., Vitey, S. (2011) TEORÍA DE CONJUNTOS
APLICADA A POBLACIONES DE LEUCOCITOS, LINFOCITOS Y CD4 DE PACIENTES CON VIH.
Predicción de linfocitos T CD4, de aplicación clínica. Grupo Insight – Universidad Militar
Nueva Granada. Obtenido de: http://www.scielo.org.co/pdf/med/v19n2/v19n2a02.pdf

Romero, J. (2016). Lógica matemática y aplicaciones. Universidad del Atlántico.

Scribd. (s.f.). Obtenido de https://es.scribd.com/doc/313196239/Logica-1

Wkipedia. (23 de Septiembre de 2019). Wikipedia. Obtenido de


https://es.wikipedia.org/wiki/Conjunto

También podría gustarte