Universidad Jos Carlos Maritegui

TEMA IV

1. lgebra de conjuntos
El lgebra de conjuntos define las operaciones, reglas y propiedades que podemos
aplicar con los conjuntos.

1.1 Operaciones
Unin : La unin de 2 conjuntos A y B es el conjunto de todos los
elementos que pertenecen a A, a B o a ambos.
Interseccin : La interseccin de 2 conjuntos A y B es el conjunto
de todos los elementos que pertenecen tanto a A como a B.
Complemento absoluto : El complemento de un conjunto A es el
conjunto de todos los elementos del conjunto universal U que NO
pertenecen a A.
Diferencia o complemento relativo : La diferencia de B sobre A es el
conjunto de todos los elementos de A que no pertenecen a su vez a B.

1.2 Propiedades
Idempotencia: y
Asociativa: y
Conmutativa: y
Distributiva: y
Conjunto Universal: y
Conjunto Vaco: y
Complementariedad: y
Involutiva:
Ley de Morgan: y

1.3 Diagramas de Venn - Euler

Se llaman crculos eulerianos o diagramas eulerianos a los crculos
mediante los cuales se represente la inclusin de una subclase en otra. La
elaboracin de estos crculos por Venn en sus conocidos diagramas constituye
la base para su gran difusin en los ltimos cien aos, pero los diagramas
eulerianos comenzaron ya a popularizarse, segn indica el propio Venn, a
comienzos del siglo XIX, desde el Grundriss der historischen Logik, de Krause
(1803). Ello no significa que haya habido una clara transmisin de un texto a
otro, y, por lo tanto, que pueda hablarse de una historia del empleo de tales
diagramas. Lo ms probable es que fueran usados por varios lgicos
independientente. Los propios Venn y Augustus de Morgan indican, por
ejemplo, que descubrieron el esquema de Euler antes de haberlo visto usado
en ninguna parte."

1.4 Diagrama de Euler

Se conoce con el nombre de diagrama de Euler la representacin grfica por
medio de la cual se muestra que todos los miembros de una clase A, son
miembros de otra clase, B..

23
 Universidad Jos Carlos Maritegui

"Las Lettres une Princesse d'Allemagne de Leonhard Euler, escritas en 1761

y publicadas en San Petersburgo en 1768, han de ser asimismo mencionadas
entre las obras que de algn modo contribuyeron a la lgica matemtica
durante el siglo XVIII. Aquellas de las cartas que se ocupan de lgica no
aspiran a la elaboracin de ningn clculo, por ms que Euler fuera por su
parte un gran matemtico. Pero contribuyeron a popularizar el recurso de
Leibniz a analogas geomtricas con vistas a la ilustracin de relaciones, por lo
que habran de ejercer algn influjo sobre diversos pensadores del siguiente
siglo. En particular, dicho recurso atraera la atencin sobre la interpretacin
extensional - o en trminos de clases - de los enunciados generales, pues
Euler representaba (o, mejor dicho, ilustraba) las cuatro formas aristotlicas del
enunciado por medio de tres relaciones entre figuras cerradas de acuerdo con
el siguiente esquema:

(Lettres une Princesse d'Allemagne, carta CIII, p. 101)

donde "algn" tiene el sentido de "algunos, pero no todos". Si para la verdad de

cualquier enunciado afirmativo universal es necesario que algo conectado con
el trmino-sujeto sea una parte de algo conectado con el trmino-predicado, es
obvio que ese algo ha de ser la extensin.

En la versin euleriana de la lgica, el cometido principal de las figuras

espaciales es tornar intuitivamente evidentes los principios de la silogstica y en
ningn caso se pretende acometer un inventario de todas las posibles
relaciones de extensin. Pero, cincuenta aos ms tarde, el matemtico
francs J. D. Gergonne vendra a desarrollar a partir de la obra de Euler - una
nueva teora que cabra describir como una especie de infraestructura de la
silogstica."

1.5 El principio de la dualidad

La utilizacin de este teorema reduce el trabajo de forma considerable en la
demostracin de propiedades. En cada una de las propiedades enunciadas
anteriormente sobre lgebra de conjuntos, para cada par de proposiciones
duales slo se necesita demostrar una de ellas y recurrir a este teorema para
quede establecida la demostracin de la otra proposicin del par.

El teorema anterior est basado en el siguiente principio:

El principio de dualidad: Si ciertos axiomas implican sus propios duales,

entonces el dual de cualquier teorema que sea consecuencia de los axiomas,
es tambin consecuencia de los axiomas. Pues dado cualquier teorema y su
demostracin, el dual del teorema se puede demostrar del mismo modo
empleando el dual de cada paso de la primera demostracin.

24
Universidad Jos Carlos Maritegui

Dualidad :
Principio til ( en realidad no se trata de una regla) :
Y = A B equivale a = +
Y = A + B equivale a =

25