1. CONOCIMIENTOS PREVIOS SBRE ALGEBRA DE CONJUNTOS QUE SE CORRELACIONAN Y SUSTENTAN
AL DIAGRAMAR Y SIMBOLIZAR UNA PROPOSICIÓN CATEGÓRICA EN LÓGICA
MATEMÁTICAS LÓGICA: A equivale a S y P a B
Conjuntos A y B Colección de objetos con una Clases S y P
propiedad en común
Conjunto vacío φ ={ } Sin elementos Clase sin miembros o elementos
Formado por todos los Clase de los miembros que no
elementos de interés en un son S ni P.
Conjunto U problema. Acotado por un No está acotado, abarca toda
Universal rectángulo especie que no sea de la clase S
y ni de P.
Formado por los elementos que Productos de las clases S y P:
Unión {
A ∪B = x ∈ A o x ∈B } pertenecen a A o pertenecen
a B.
SP , SP , SP , SP
Intersección {
A∩B = x /x ∈ A y x ∈B } Formado por los elementos
comunes a A y B
Todos los S que son P : SP
Conjuntos ajenos. No hay S que sean P:
A∩B =φ No hay elementos en común en La clase SP no tiene elementos.
Intersección vacía los conjuntos A y B
Subconjunto A⊂B Todo elemento de A pertenece Todos los S son P
también a B
Resta (diferencia) A − B = { x / x ∈ A, x ∉ B} Elementos de A que no Los S que no son P : SP
de A menos B pertenecen a B
B − A = { x / x ∈ B, x ∉ A} Elementos de B que no Los P que no son S : SP
Resta (diferencia) pertenecen a A
de B menos A
A∆B = ( A − B ) ∪ (B − A) Elementos de A que no Los S que no son P
Resta Simétrica pertenecen a B unidos con los
unidos con los P que no son S
elementos de B que no
pertenecen a A
Ac Elementos que pertenecen a U La clase de los elementos que no
Complemento del
pero que no pertenecen a A son S: S
conjunto A
( A ∪ B )c Los elementos de U que no Todas las cosas que no son S ni
Complemento de
pertenecen ni a A ni B. P : SP
la unión de los
conjuntos A y B