Lógica y Teoría de conjuntos

Universidad Nacional de Ingeniería

Facultad de Ciencias

Lógica y Teoría de conjuntos

CM1A2
INTEGRANTES(GRUPO 4):
- Torres Ayala Brayan Erick 17.5%
- Santos Felix Andre Gilmer 16.5%
- Quenta Huanaco Royer Franco 16.5%
- Lopez Flores Freddy Eduardo 16.5%
- Guerrero Romero Carlos Francisco 16.5%
- Montalvo Ponce Carlos Francisco 16.5%
PROFESORES:
- L. La Rosa
- H. Villavicencio

2018
Lógica y Teoría de conjuntos

Teoría de conjuntos
- Conjuntos parcialmente
ordenados
- Conjuntos totalmente
ordenados
- Conjuntos ordenados,
propiedades
- Definición de segmento
- Lema de Zorn
Lógica y Teoría de conjuntos

I. PARTE TEÓRICA
1. CONJUNTOS PARCIALMENTE ORDENADOS
Definición:
Un orden parcial en un conjunto A es una relación ℛ en A.
i. Reflexiva, es decir, (a,a) ∈ ℛ para todo a ∈ A.
ii. Antisimétrica, esto es, (a,b) ∈ ℛ y (b,a) ∈ ℛ implican a = b.
iii. Transitiva, es decir, (a,b) ∈ ℛ y (b,c) ∈ ℛ implican (a,c) ∈ ℛ.
Si una relación ℛ en A define un orden parcial en A, entonces (a,b) ∈ ℛ se denota por
a≾b
y se lee “ a anterior a b “.
Ejemplos:

- Sea A una familia de conjuntos. La relación definida en A por “ x es un

subconjunto de y ” es un orden parcial.
- Sea A un subconjunto de los números reales. La relación en A definida por ” x ≤
y “ es un orden parcial en A, que se llama el orden natural en A.
- Sea W = {a, b, c, d, e} , el diagrama

define un orden parcial en W de la siguiente manera: x ≼ y si x = y o si se puede

ir de x a y en el diagrama yendo en la dirección ascendente indicada. Nótese que
b ≾ a, d ≾ a y e ≾ c.
Definición:
Un conjunto A y una relación ℛ de orden parcial en A constituyen un conjunto
parcialmente ordenado.
Definición:
Dos elementos a y b de un conjunto ordenado (A, ℛ) se dicen que son comparables si
a ℛ b o b ℛ a.
Lógica y Teoría de conjuntos

Observación:
- Nótese que un conjunto parcialmente ordenado consiste en un conjunto A y una
relación de tipo particular ℛ en A; por esta razón, un conjunto parcialmente
ordenado se denota a veces como par ordenado (A, ℛ) o (A, ≾).
- En relación con los conjuntos parcialmente ordenados se emplean, además, las
notaciones siguientes:
a ≺ b significa a ≾ b y a ≠ b ; léase “ a estrictamente anterior a b “.
b ≿ a significa a ≾ b ; léase “ b supera a “.
Definición:
Dos elementos a y b de un conjunto parcialmente ordenado se dicen no comparables si
a≾b y b≾a
es decir, si ninguno de ellos precede al otro.
Teorema:
Si una relación ℛ en un conjunto A es reflexiva, antisimétrica y transitiva, entonces la
relación recíproca ℛ -1 es también reflexiva, antisimétrica y transitiva.
Es decir, que si ℛ define un orden parcial en A, entonces ℛ -1 también define un orden
parcial en A, que se llama el orden inverso.

2. CONJUNTOS TOTALMENTE ORDENADOS

La palabra parcial se emplea al definir un orden parcial en un conjunto A porque algunos
elementos de A pueden no ser comparables. Si, por otra parte, cada par de elementos
de un conjunto parcialmente ordenado A son comparables, entonces el orden parcial en
A se llama orden total en A.
Definición:
Un orden total en un conjunto A es un orden parcial en A más la propiedad
a≺b , a=b o a≻b
para cualquiera dos elementos a y b de A. Un conjunto A y un orden total dado en A
constituyen un conjunto totalmente ordenado.
Ejemplo:
- El orden parcial en cualquier conjunto A de números reales (con el orden natural)
es un orden total, puesto que do números cualesquiera son comparables.
- Sea ℛ el orden parcial en V = { 1, 2, 3, 4, 5, 6 } definido por “ x divide a y “. ℛ no
es entonces un orden total en V, ya que 3 y 5 no son comparables.
Lógica y Teoría de conjuntos

3. SUBCONJUNTOS DE CONJUNTOS ORDENADOS

Suponiendo una relación ℛ que define un orden parcial en un conjunto A, o sea que
(A, ℛ) es un conjunto ordenado, sea B un subconjunto de A. Entonces el orden parcial
ℛ en A induce un orden parcial ℛ´ en B de la siguiente manera: Si a, b ∈ B entonces
(a, b ) ∈ ℛ´ , esto es, a ≾ b
como elementos de B, si, y solamente si, (a, b) ∈ ℛ, es decir, a ≾ b como elementos de
A. Se dice entonces que el conjunto ordenado ( B, ℛ´) es un subconjunto (parcialmente
ordenado) del conjunto ordenado ( A, ℛ).
Ejemplo:
- Sea W = { a, b, c, d, e } ordenado como sigue:

Entonces V = {a, d, e } con el orden

es un subconjunto del conjunto ordenado W. Pero V con el orden

no es un subconjunto del conjunto ordenado W.

4. SUBCONJUNTOS TOTALMENTE ORDENADOS

Sea A un conjunto parcialmente ordenado. Entonces, como ya se vio, el orden parcial en
A induce un orden parcial en todo subconjunto de A. Algunos de los subconjuntos de A
quedarán en realidad totalmente ordenados.
Nótese que, si A es un conjunto totalmente ordenado, todo subconjunto de A es
totalmente ordenado.
Lógica y Teoría de conjuntos

Ejemplo:
- Sea N, los números naturales, ordenado por “x es múltiplo de y “. Entonces N
no está totalmente ordenado, pues 4 y 7 no son comparables, por ejemplo.
Pero el conjunto M = { 2, 4 ,8 ,…,2n ,… } , si es un subconjunto totalmente
ordenado de N.
- Considérese el orden parcial en W = { a, b, c, d, e } definido por el diagrama

Cada uno de los conjuntos { a, c, d }, { b, d }, {b, c, e }, {a, c, e } y {a, c } es un

subconjunto de W totalmente ordenado. Los conjuntos {a, b, c } y {d, e } no son
totalmente ordenados.

5. CONJUNTOS BIEN ORDENADOS

Definición:
Sea A un conjunto ordenado tal que cada subconjunto de A tiene un primer elemento.
A se dice entonces conjunto bien ordenado.
En particular, todo conjunto A bien ordenado es totalmente ordenado. Pues si a, b ∈ A,
el subconjunto {a, b} de A tiene un primer elemento, que, por tanto, debe ser anterior
al otro, y entonces dos elementos cualesquiera de A son comparables.
Los siguientes teoremas resultan directamente de la anterior definición.
Teorema:
Todo subconjunto de un conjunto bien ordenado es bien ordenado.
Teorema:
Si A es bien ordenado y B es isomorfo a A, entonces B es bien ordenado.

6. PRINCIPIO DE INDUCCIÓN TRANSFINITA:

Dado un subconjunto S de un conjunto bien ordenado A tal que
(1) 𝑎0 ∈ 𝑆
(2) 𝑠(𝑎) ⊂ S implica 𝑎0 ∈ 𝑆
entonces 𝑆 = 𝐴.
Aquí es 𝑎0 el primer elemento de A y s(𝑎) (sección inicial de a) se define como el conjunto
de elementos de A estrictamente anteriores a 𝑎.
Lógica y Teoría de conjuntos

7. ELEMENTOS LÍMITE:
Un elemento b de un conjunto ordenado A se llama siguiente de un
elemento a ∈ A, y el a se llama precedente del b, si a ≺ b y no existe ningún
elemento c ∈ A tal que
𝑎 ≺𝑐 ≺ 𝑏 .
Teorema:
Todo elemento de un conjunto bien ordenado bien ordenado tiene un siguiente,
excepto el último elemento.
Definición:
Se llama elemento límite de un conjunto bien ordenado, a un elemento distinto del
primero y que no tiene precedente.

8. SEGMENTO:
Para 𝑥 ∈ 𝐴
𝑆𝑒𝑔(𝑥) ≔ {𝑦 ∈ 𝐴 ∶ 𝑦 < 𝑥}

Segmento inicial de un conjunto:

Sea A un conjunto bien ordenado. El segmento inicial Seg(𝑎) de un elemento 𝑎 ∈ 𝑆 es el
conjunto de elementos donde 𝑎 estrictamente superior a ellos.
𝑆𝑒𝑔(𝑎) = {𝑥 | 𝑥 ∈ 𝐴, 𝑥 < 𝑎}
Nota: s(a) es un subconjunto de A

9. ISOMORFISMOS ENTRE CONJUNTOS BIEN ORDENADOS Y SUS

SUBCONJUNTOS:
Teorema:
Sea A un conjunto bien ordenado, sea B un subconjunto de A y sea la función 𝑓: 𝐴 → 𝐵
un isomorfismo de A en B entonces para todo 𝑎 ∈ 𝐴,
𝑎 ≾ 𝑓(𝑎)
Las importantes propiedades que siguen de los conjuntos bien ordenados son
consecuencias del teorema anterior.
i. Si dos conjuntos A y B son isomorfos, existe un único isomorfismo de A en B
ii. Un conjunto bien ordenado no puede ser isomorfo a una de sus secciones
iniciales.
Lógica y Teoría de conjuntos

10. COMPARACIÓN DE CONJUNTOS BIEN ORDENADOS

Sean A y B bien ordenados; entonces A es más corto que B, A es isomorfo a B o A es más

largo que B
 Si 𝒜 es una familia de conjuntos bien ordenados no isomorfos dos
a dos, existe un conjunto 𝐴 ∈ 𝒜 que es más corto que cualquier
otro conjunto de 𝒜
Ejemplo:
Sean los dos conjuntos finitos y bien ordenados
𝐴 = {𝑎1 , … , 𝑎𝑛 } y 𝐵 = {𝑏1 , … , 𝑏𝑚 }
Si 𝑛 < 𝑚. A es isomorfo a la segmento inicial {𝑏1 , … , 𝑏𝑛 }

11.AXIOMA DE ELECCIÓN:
El axioma de elección es fundamental para la matemática y, en particular para la teoría
de conjuntos. Este axioma de apariencia inocente, tiene como consecuencia algunos de
los resultados más poderosos e importantes de la matemática.
Axioma de elección:
El producto cartesiano de una familia no vacía de conjuntos no vacíos, no es vacío.
También:
Axioma de elección:
Hay una función de elección para toda familia no vacía de conjuntos no vacíos.
El axioma de elección es equivalente al siguiente postulado:
Postulado de Zermelo:
Sea { Ai }i∈𝐼 una familia no vacía de conjuntos disjuntos no vacíos. Existe entonces un
subconjunto B de ∪i∈𝐼 Ai tal que la intersección de B y cada conjunto Ai consta de un
elemento.
Lema de Zorn:
El lema de Zorn es uno de los más importantes instrumentos de la matemática, es una
consecuencia del axioma de elección. El lema de Zorn establece la existencia de cientos
tipos de elementos, si bien no se da ningún procedimiento constructivo para hallar tales
elementos.
- Sea A un conjunto no vacio parcialmente ordenado tal que todo subconjunto
totalmente ordenado tiene un mayorante en A. A contiene entonces un
elemento matximal por lo menos.
Lógica y Teoría de conjuntos

II. APORTE TEÓRICO ADICIONAL

 REPRESENTACION DE CONJUNTOS ORDENADOS: DIAGRAMAS DE HASSE

Una relación de orden, como cualquier otra relación en un conjunto A, puede ser
representada mediante un dígrafo, pero en el dígrafo de una relación de orden, hay
muchas aristas que no es necesario representar, ya que es seguro que están ahí debido
a las propiedades de la relación. El diagrama de Hasse (Helmut Hasse, 1898-1979)
suprime esas aristas para ganar en simplicidad y claridad. Se obtiene en tres pasos:
1. Como la relación es reflexiva, cada elemento tiene un bucle, por lo que se pueden
eliminar.
2. Como la relación es transitiva, se eliminan todas las aristas que puedan ser
obtenidas por transitividad.
3. Por último, se colocan los vértices de manera que la dirección de las aristas sea
de abajo hacia arriba y se eliminan las flechas de las aristas.
Ejemplo
Construcción del diagrama de Hasse del conjunto ordenado (A,|) a partir de su
dígrafo:

(1)

(2) (3)
Lógica y Teoría de conjuntos

 PRIMERO Y ÚLTIMO ELEMENTOS

Sea A un conjunto ordenado .El elemento a ∈ A se dice primer elemento de A si,
para todo x ∈ 𝐴,
a≾x
es decir, si a es anterior a todos los elementos de A. Análogamente , un elemento
de b ∈ A se dice último elemento de A , si para todo x ∈ 𝐴,
x≾b
es decir, b es posterior a todos los elementos de A.

 ELEMENTOS MAXIMAL Y MINIMAL

Sea A un conjunto ordenado. Se dice que un elemento a ∈ A es maximal si
a≾x implica a = x
Es decir, a es un elemento maximal si no hay en A ningún elemento posterior a
‘a’ en sentido estricto. Análogamente ,se dice que un elemento b∈A es minimal
si
x≾b implica b = x
esto es, si ningún elemento de A es estrictamente anterior a b.
 CONJUNTOS ISOMORFOS
Un conjunto ordenado A es isomorfo a un conjunto ordenado B, lo que se denota
por
A≃B
Si existe una función f:A → B inyectiva y sobreyectiva y que tiene la propiedad
de que, para cualesquiera elemento a, a’ ∈ A,

a < a’ si, y solo si, f(a) < f(a’)

La función f se dice aplicación isomorfa o isomorfismo de A en B.

 ORDEN HEREDADO O INDUCIDO:

Si (𝐴, ≤𝐴 ) es ordenado y B es un subconjunto de A, entonces (𝐵, ≤𝐵 ) es
ordenado, donde
∀𝑎, 𝑏 ∈ 𝐵: 𝑎 ≤𝐵 𝑏 ⇔ 𝑎 ≤𝐴 𝑏
≤𝐵 se dice ser el orden inducido por ≤𝐴 en B. Así por ejemplo, los conjuntos de los
números naturales, enteros y racionales son ordenados con los correspondientes
ordenes inducidos por el orden usual de ℝ
 COTA SUPERIOR:
Sea (𝐴, ≤) un conjunto ordenado y B está incluido en A y 𝑥 ∈ 𝐴
𝑥 es una cota superior si ∀𝑏 ∈ 𝐵: 𝑏 ≤ 𝑥
Lógica y Teoría de conjuntos

 COTA INFERIOR:
Sea (𝐴, ≤) un conjunto ordenado y B está incluido en A y 𝑥 ∈ 𝐴
𝑥 es una cota inferior si ∀𝑏 ∈ 𝐵: 𝑥 ≤ 𝑏
 MÁXIMO DE UN CONJUNTO:
Sea (𝐴, ≤) un conjunto ordenado y B está incluido en A y 𝑥 ∈ 𝐴
𝑥 es el máximo de un conjunto si 𝑥 ∈ 𝐵 y es una cota superior de 𝐵
 MÍNIMO DE UN CONJUNTO:
Sea (𝐴, ≤) un conjunto ordenado y B está incluido en A y 𝑥 ∈ 𝐴
𝑥 es el máximo de un conjunto si 𝑥 ∈ 𝐵 y es una cota inferior de 𝐵
 SUPREMO DE UN CONJUNTO:
Sea (𝐴, ≤) un conjunto ordenado y B está incluido en A y 𝑥 ∈ 𝐴
𝑥 es el supremo de B si x es la mínima de las cotas superiores de B
 ÍNFIMO DE UN CONJUNTO:
Sea (𝐴, ≤) un conjunto ordenado y B está incluido en A y 𝑥 ∈ 𝐴
𝑥 es el ínfimo de B si x es la máxima de las cotas inferiores de B
 NÚMEROS ORDINALES
Un número ordinal un representante del tipo de orden de un conjunto bien ordenado.
De este modo, los ordinales clasifican todos los posibles conjuntos bien ordenados.
- Dado un conjunto bien ordenado A. la familia 𝜆 de los conjuntos bien ordenados
isomorfos a A se llama numero ordinal de A y se escribe:
𝜆 = 𝑜𝑟𝑑(𝐴)
- El numero ordinal de cada uno de los conjuntos bien ordenados

𝜙, {1}, {1,2}, {1,2,3}, …

Se denota por 0, 1, 2, 3,…, respectivamente y se dice número ordinal finito. El
numero ordinal de los números naturales se denota por
𝜔 = 𝑜𝑟𝑑(ℕ)
 Desigualdades y números ordinales
- Si 𝜆 𝑦 𝜇 son dos números ordinales, y si A y B son dos conjuntos bien ordenados
tales que 𝜆 = 𝑜𝑟𝑑(𝐴) 𝑦 𝜇 = 𝑜𝑟𝑑(𝐵) podemos decir que

𝑖. 𝜆 < 𝜇 si A es más corto que B

Lógica y Teoría de conjuntos

𝑖𝑖. 𝜆 = 𝜇 si A es isomorfo a B
𝑖𝑖𝑖. 𝜆 > 𝜇 si A es más largo que B
𝑖𝑣. 𝜆 ≤ 𝜇 si 𝜆 < 𝜇 o 𝜆 = 𝜇
𝑣. 𝜆 ≥ 𝜇 si 𝜆 > 𝜇 o 𝜆 = 𝜇
Adición ordinal
- Sean 𝜆 𝑦 𝜇 dos números ordinales tales que 𝜆 = 𝑜𝑟𝑑(𝐴) 𝑦 𝜇 = 𝑜𝑟𝑑(𝐵),
siendo A y B disjuntos. Entonces
𝜆 + 𝜇 = 𝑜𝑟𝑑(𝐴; 𝐵)
a. La operación de adición en los números ordinales no es conmutativo.
"𝜆 + 𝜇" 𝑛𝑜 𝑠𝑖𝑒𝑚𝑝𝑟𝑒 𝑒𝑠 𝑖𝑔𝑢𝑎𝑙 𝑎 "𝜇 + 𝜆"
b. La operación de adicion en los números ordinales es asociativo.
(𝜆 + 𝜇) + 𝜈 = 𝜆 + (𝜇 + 𝜈)
c. El ordinal 0 es el elemento aditivo neutro.
𝜆+0= 0+𝜆 =𝜆
Multiplicación ordinal
- Sean 𝜆 𝑦 𝜇 dos números ordinales tales que 𝜆 = 𝑜𝑟𝑑(𝐴) 𝑦 𝜇 = 𝑜𝑟𝑑(𝐵),
siendo A y B disjuntos. Entonces
𝜆𝜇 = 𝑜𝑟𝑑({𝐴𝑥𝐵})

a. La operación de multiplicación en los números ordinales no es

conmutativo.

"λμ" 𝑛𝑜 𝑠𝑖𝑒𝑚𝑝𝑟𝑒 𝑒𝑠 𝑖𝑔𝑢𝑎𝑙 𝑎 "𝜇𝜆"

b. La operación de multiplicación en los números ordinales es
asociativo.

𝜆(𝜇𝜈) = (𝜆𝜇)𝜈

c. La operación de multiplicación en los números ordinales es

distributiva a la izquierda con respecto a la adición

𝜆(𝜇 + 𝜈) = 𝜆𝜇 + 𝜆𝜈

a. El ordinal 1 es el elemento multiplicativo neutro

1𝜆 = 𝜆1 = 𝜆
Lógica y Teoría de conjuntos

III. EJERCICIOS
1) La relación en N, los números naturales, definida por “ x divide a y “ es un
orden parcial.
a. Insertar el símbolo correcto, ≺, ≻ o II ( no comparable), entre cada par
de números:
i. 2_____8
ii. 18____24
iii. 9_____3
iv. 5_____15
b. Decir si cada uno de los siguientes subconjuntos de N es totalmente
ordenado:
i. {24, 2, 6}
ii. {3, 15, 5}
iii. {15, 5, 30}
iv. {2, 8, 32, 4}
v. {1, 2, 3, …}
vi. {7}

SOLUCIÓN:

a. i. Porque 2 divide a 8, 2 es anterior a 8, o sea 2 ≺ 8.

ii.18 no divide a 24 , y 24 no divide a 18 ; asi, 18 II 24.
iii. Como es divisible por 3, entonces, 9 ≻ 3.
iv. Como 5 divide a 15, entonces, 5 ≺ 15.

b. i. Puesto que 2 divide a 6, el cual divide a 24, el conjunto es totalmente

ordenado.
ii. Como 3 y 5 no son comparables, el conjunto no es totalmente ordenado.
iii. El conjunto es totalmente ordenado porque 5 divide a 15, el cual divide a 30.
iv.El conjunto es totalmente ordenado porque 2≺4≺8≺32
v.El conjunto no es totalmente ordenado, pues 2 y 3 no son comparables.
vi.Cualquier conjunto formado por un solo elemento es totalmente ordenado.
Lógica y Teoría de conjuntos

2) Demostrar que si A es un conjunto bien ordenado, B es un subconjunto de A

y 𝑓: 𝐴 ⟶ 𝐵 es un isomorfismo de A en B, entonces, para todo 𝑎 ∈ 𝐴, 𝑎 ≤
𝑓(𝑎).

SOLUCIÓN:

Definimos un conjunto P 𝑃 = {𝑥 | 𝑓(𝑥) < 𝑥} Si P es vacío el teorema es

cierto. Si P es diferente del vacío y como A es bien ordenado entonces P tiene
un primer elemento 𝑝0 con esto nos damos cuenta que 𝑝0 ∈ 𝑃 y esto implica
que 𝑓(𝑝0 ) < 𝑝0 y como 𝑓 es un isomorfismo
⟹ 𝑓(𝑝0 ) < 𝑝0 𝑖𝑚𝑝𝑙𝑖𝑐𝑎 𝑓(𝑓(𝑝0 )) < 𝑓(𝑝0 )
En consecuencia 𝑓(𝑝0 ) ∈ 𝑃 . Pero 𝑓(𝑝0 ) < 𝑝0 𝑦 𝑓(𝑝0 ) ∈ 𝑃 está en
contradicción con 𝑝0 ser el primer elemento en consecuencia suponer que P
es distinto del vacío nos llevó a una contradicción. Por lo tanto P es el vacío
y el teorema es cierto.

3) Demostrar que un conjunto bien ordenado no puede ser isomorfo a un

segmento inicial suyo.

SOLLUCIÓN:

Sea A un conjunto bien ordenado y 𝑓: 𝐴 → 𝑠(𝑎) es un isomorfismo de A en

uno de sus segmentos iniciales. Entonces 𝑓(𝑎) ∈ 𝑠(𝑎). Por tanto
𝑓(𝑎) < 𝑎
Lo que contradice lo demostrado en el ejercicio (1) en conclusión A no puede
ser isomorfo a uno de sus segmentos iniciales.
Lógica y Teoría de conjuntos

IV. APLICACIONES
A. Lista de aplicaciones
Debido a que los temas presentados son meramente abstractos, las aplicaciones, o
mejor dicho su utilidad se ven reflejadas en la construcción de Definiciones siguientes o
herramienta de pruebas de algunos teoremas importantes en cursos avanzados de
matemáticas.

1. Conjunto bien ordenados

Interpretando la definición de conjunto bien ordenado, será bien ordenado si cualquier
subconjunto no nulo podemos encontrar su elemento menor.

 Principio de buena ordenación

En cualquier conjunto de números naturales A ⊆ N distinto del conjunto
vacío, A ≠ ∅, existe un mínimo, es decir, un número n ∈ A menor o igual que
cualquier número de A.

2. Lema de Zorn
De la definición de dicho lema Todo conjunto parcialmente ordenado no vacío en el que
toda cadena (subconjunto totalmente ordenado) tiene una cota superior, contiene al
menos un elemento maximal.
 Considerando este lema y su forma equivalente, como axioma de elección, se
usara para demostrar una estructura algebraica ideal:
“Todo anillo R con unidad contiene un ideal maximal.”

3. Conjuntos parcial y totalmente ordenados

Dentro de los conjuntos parcialmente ordenados (B,+,*) llamado algebra de Boole, un
conjunto dotado de operaciones binarias de suma y producto.
Sea B={0,1} y las operaciones (+) y (*) definidas:

+ 1 0 * 1 0

1 1 1 1 1 0

0 1 0 0 0 0
Lógica y Teoría de conjuntos

donde la relación de orden parcial ℛ** en B:

1) a ℛ a para cualquier a en B (Reflexiva)
2) a ℛ b y b ℛ a implica que a=b (Antisimétrica)
3) a ℛ b y b ℛ c implican a ℛ c (Transitiva) para
*) a+b=sup {a, b} *) a*b=inf {a, b}

B. Desarrollo de la aplicación
Puertas lógicas
Generalmente son dispositivos electrónicos que tienen funciones booleanas. Pueden
sumar, multiplicar, negar, etc. en función de las propiedades lógicas que posean.

La herramienta fundamental para el análisis y diseño de circuitos digitales es el Álgebra

Booleana. Esta álgebra es un conjunto de reglas matemáticas (similares en algunos
aspectos al álgebra convencional), pero que tienen la virtud de corresponder al
comportamiento de circuitos basados en dispositivos de conmutación (interruptores, re
levadores, transistores, etc). Es posible construir circuitos digitales llamados
compuertas lógicas que con diodos, transistores y resistencias conectados de cierta
manera hacen que la salida del circuito sea el resultado de una operación lógica básica
sobre la entrada.

La aplicación directa del álgebra booleana es utilizada en muchas ramas de ingeniería

como es la mecánica, electrónica, hidráulica, etc.
Lógica y Teoría de conjuntos

V. BIBLIOGRAFÍA
[1]Lipschutz. 1991.Teoria de conjuntos y temas afines. Chile. McGraw-Hill.
[2]http://www.eco.uc3m.es/docencia/matematicasi/adjuntos/relaciones_
de_orden.pdf
[3]http://www.cartagena99.com/recursos/alumnos/apuntes/TeoriaRelaci
onesOrden.pdf