0% encontró este documento útil (0 votos)
57 vistas37 páginas

Departamento de Ingeniería E Investigaciones Tecnológicas: Universidad Nacional de La Matanza

1) El documento presenta una guía de trabajos prácticos de lógica, conjuntos y relaciones para la carrera de ingeniería de la Universidad Nacional de La Matanza. 2) El trabajo práctico 1 incluye ejercicios sobre lógica proposicional, tablas de verdad, implicaciones y equivalencias lógicas. 3) El trabajo práctico 2 contiene ejercicios sobre conjuntos como uniones, intersecciones y diferencias entre conjuntos, así como también sobre productos cartesianos.

Cargado por

Agustin Venier
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
0% encontró este documento útil (0 votos)
57 vistas37 páginas

Departamento de Ingeniería E Investigaciones Tecnológicas: Universidad Nacional de La Matanza

1) El documento presenta una guía de trabajos prácticos de lógica, conjuntos y relaciones para la carrera de ingeniería de la Universidad Nacional de La Matanza. 2) El trabajo práctico 1 incluye ejercicios sobre lógica proposicional, tablas de verdad, implicaciones y equivalencias lógicas. 3) El trabajo práctico 2 contiene ejercicios sobre conjuntos como uniones, intersecciones y diferencias entre conjuntos, así como también sobre productos cartesianos.

Cargado por

Agustin Venier
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

UNIVERSIDAD NACIONAL DE LA MATANZA

DEPARTAMENTO DE INGENIERÍA E INVESTIGACIONES


TECNOLÓGICAS

Carreras de Ingeniería

Cuatrimestral

GUÍA DE TRABAJOS PRÁCTICOS

2021
Trabajo Práctico Nº 1

Lógica

1-Sean p y q los enunciados:


P: Estamos bajo cero
q: Nieva
Escriba los enunciados siguientes usando p, q y conectores lógicos:
1.1-Estamos bajo cero y nieva
1.2-Estamos bajo cero, pero no nieva
1.3-No estamos bajo cero y no nieva
1.4-Bien estamos bajo cero o bien nieva (o ambas cosas)
1.5-Si estamos bajo cero entonces también nieva
1.6-Estamos bajo cero o nieva, pero no nieva si estamos bajo cero
1.7-Que estemos bajo cero es necesario y suficiente para que nieve

2-Escribe cada uno de estos enunciados de la forma “si p entonces q”


2.1-Nieva siempre que el viento sopla del noreste
RTA: Si sopla desde el noreste, entonces nieva
[Link]

2.2-El limonero florece si el tiempo se mantiene cálido durante una semana


2.3-Que los boquenses ganen el campeonato implica que vencieron a los pinchas
2.4-Es necesario caminar 12 Km. para llegar a la cima de la montaña
2.5-Para ser jugador de la selección nacional de football es suficiente con ser
mundialmente famoso
2.6-Si conduces más de 400 Km. seguidos, necesitarás reponer gasolina
2.7-Tu garantía es válida sólo si compraste la licuadora hace menos de 90 días

3- Construir las tablas de verdad, para cada caso indicar si es tautología,


contradicción o contingencia:
3.1 (p  q)  r
3.2 [(p  q)  p]  q
3.3 p  [¬ (p  q)]
3.4 (p q)  (p  q)
3.5 [(p  q)  (q  r)]  (p  r)
3.6 ¬ [¬ p  ¬ (q  ¬ p)]
[Link]

4- Conociendo los valores de verdad de las proposiciones simples V (p)=V(r)=V y


V (q)=V(s) = F determinar el valor de verdad de la proposición compuesta:
4.1 r  (s  p)

[Link]

4.2 (p  r)  (r   s)
4.3 s  ( p   q)

5- Para las siguientes proposiciones compuestas dar todos los posibles valores de
verdad de las proposiciones simples de modo que resulten falsas:
5.1 [(p  q)  r]  (s  t)
[Link]

5.2 [p  (q  r)]  (s  t)

6-¿Cuáles son las contrarrecíproca, recíproca e inversa de las siguientes


implicaciones ?
6.1 «El equipo local gana siempre que llueve »
Implicación : Si llueve, entonces gana el equipo local
Contrarecíproca : Si el equipo local no gana, entonces no llueve
Recíproca : Si el equipo local gana, entonces llueve
Inversa : Si no llueve, entonces no gana el equipo local

[Link]

6.2 «Si nieva hoy, esquiaré mañana»

7-Comprobar la equivalencia entre la implicación y la contrarrecíproca

8-Demuestra si las siguientes proposiciones son equivalentes :


8.1. ¬p  (r ¬ q) y ¬p ¬q  ¬r

[Link]
8.2. ¬ p → ( q → r ) y q→ (pr)

9.- Simplificar las siguientes expresiones:


9.1 ¬ [¬ p  ¬ (q  ¬ p)]
9.2 ¬ [p  (¬ p  q)]
9.3 ¬ [¬ p  ¬ (q  ¬ p)]
[Link]

9.4 q  ( p  ¬ q )

[Link]

9.5 ¬q ( ¬q  ¬p )
10-Sea A = {1, 2, 3, 4} el conjunto universal. Determinar el valor de verdad de
cada enunciado:
10.1. ∀ x : x + 3 < 6
10.2. ∃ x: 2x2 + x = 15

11. Negar los siguientes enunciados:


11.1. ∃ y p(y) ⇒ ∀ x(∼ q(x))
11.2. ∃ x (∼ p(x)) ∨ ∀ x q(x)

[Link]
Trabajo Práctico Nº 2

Conjuntos

1- Siendo el conjunto universal U = {x ∈ N / 1 ≤ x ≤ 10}, A = {2, 4, 5, 8,9}, B = {2, 4,


6, 7,9} y C = {x ∈ U / x es impar} hallar los siguientes conjuntos: a) A ∪ B, b) B
∩ C, c) A – B, d) B – A, e) BC, f) A  B g) B  C

2- Siendo A =  a, b, c, a, b, , indicar, justificando cuáles de las siguientes


proposiciones son verdaderas y cuáles son falsas:
2.1 a, b A
2.2 a, b  A
2.3   a, b
2.4   A
2.5 , a, b   a, b
2.6 , a, b   A
2.7  a, , b, , c, , a, b,  = A
2.8  a, b   A
2.9  a, b, c  A
2.10  a, b, c, a, b  = A
2.11 a, b, c  A

3- Siendo A = , indicar, justificando cuáles de las siguientes proposiciones son


verdaderas y cuáles son falsas:
3.1 A
3.2  A
3.3   P(A)
3.4   P(A)
3.5 = A
3.6   P(P(A))

4- Determinar el valor de verdad:


Si A = {a, {b}} entonces:
a. {b} P(A) ;
b. { a, {b}}  P (A);
c. b  A;
d. {{b}} P (A).
e.
f.
[Link]

5- Demostrar las siguientes propiedades:



5.1. A = (A  B )  (A  B)

[Link]
− −
5.2. A  B = (A  B )  B = A  ( A  B)
[Link]

5.3. (A  B) - C = (A - C)  (B - C)
5.4. (A – C)  (C – B) = 

[Link]

6-Dar un contraejemplo para probar que la siguiente proposición es falsa


AB=AC→B=C
[Link]

7- ¿En la facultad de ingeniería hay matriculados 200 estudiantes en las


asignaturas de Matemática Discreta y Álgebra? Si en el final de febrero
aprobaron solamente matemática Discreta 80 estudiantes y 70 sólo
aprobaron Álgebra ¿cuántos estudiantes aprobaron ambas materias?

[Link]

8-De dos conjuntos A y B se sabe que |A| = 7,| AC ∩ B| = [Link] | A  B|


[Link]

9- Encontrar la fórmula que describe la parte rayada del siguiente diagrama de


Venn, utilizando únicamente intersecciones, uniones y complementos.

[Link]
Producto Cartesiano

10-Sean los conjuntos A= {-2,-1}; B= {x  N / 1  x  3} y C= {a, b}


Hallar AxC; CxA; AxBxC; A2 ; C3

[Link]

11- Dado A = 3, 8:


11.1 Hallar P (A2)
11.2 Determinar el valor de verdad de las expresiones:
11.2.1 (3;3)  A2
11.2.2 (3;8)  P (A)
11.2.3 (3;8), (8;3) P (A2 )
11.2.4 8  P(A2 )
11.2.5   A2

[Link]

12- Dado el alfabeto V = a, b , hallar V, V0 V1, V0, V*, V+


Operaciones entre cadenas

13- Dadas las hileras x = abb e y = acd calcular las siguientes hileras y dar sus
longitudes:
a1) yR a5) y0 a8) x23y3
3
a2) R a6) x2 a9) 
i =1
xi
2
a3) xy a7) (xy)
a4 ) xy a8) yRxR

[Link]

14- Indicar el valor de verdad de cada una de las siguientes proposiciones


con V = a, b
a)   V c)   V*
b)   V d)   V+

15-Para los alfabetos V1= {2,4} y V2= {a} hallar V1*; V1+; V2*; V2+

16-Siendo el alfabeto V = {2, 4}, determinar el valor de verdad de las siguientes


expresiones.
Justificar.
16.1. λ  V 16.3. {2}  V 16.5. 242  V*
16.2. {242, 22, 44}  V+ 16.4. 22  V* 16.6. long (222) =1
[Link]

17- Sea el vocabulario V = {a, b, c} y los lenguajes L1 = {ac, ba}, L2 = {aba,


aca}; hallar:
L32, L2  L1, L2 L1, L10, L2R, L20, L1*

18-Calcular la clausura de Kleene y la clausura positiva del lenguaje nulo y del


lenguaje vacío

[Link]

19-Hallar el cardinal de L1 . L2 siendo L1= {, a} y L2= {a, b, ab}


20- Indicar el valor de verdad de cada una de las siguientes proposiciones
a)  g )  = 
b )  = 1 h ) * = 
c ) L = L = L i ) L  L*
d ) L = L =  j )   L*
e ) 0 =  k ) L = L = 
f) =
*

[Link]

Trabajo Práctico Nº 3

Relaciones

1-Enumera los pares ordenados de la relación R de A= {0,1,2,3,4} en B= {0,1,2,3}, donde (a, b)


 R si y solo si:
1.1 a=b
1.2 a+b=4
1.3 a  b
1.4 a b
1.5 mcd (a, b) =1
1.6 mcm (a, b) = 2

2- Dado A = {1, 2, 3} y B = {a, b}


2.1 ¿Cuántas relaciones se pueden definir de A en B?
2.2 Para cada una de las relaciones de A en B indicar dominio e imagen:
R = {(1; a), (2; b), (3; a), (3; b)}
S = {(2; a), (3; b)}
T = {(1; a), (2; a), (3; a)}
V= 
W=AxB

3- Sea A = {a, b, c} y B = {1, 2, 3, 4} y las relaciones R y S definida de A en B:


R = {(a; 1), (a; 2), (a; 4), (b; 4), (c; 1), (c; 2), (c; 3)}
S = {(a; 2), (a; 3), (b; 1), (b; 4), (c; 1), (c; 2)},
Hallar:R, R-1 ,S, S-1 , S  R, (R  S)-1 , R-S, S-R
4-Sean A = {a, b, c}, B = {x, y, z}, C = {a, y, b}, R  A x B, S  B x C tal que
R = {(a; y), (b; x), (b; z)}, S = {(x; a), (y; y), (z; b),(x;y),(z;y)}, hallar S o R

5- Para el conjunto A = 0, 1, 2, 3 y las relaciones definidas de A en A


R1 = (0; 0), (1; 1) ; R2 = (0; 1), (2; 3) ; R3 = (0; 1), (1; 2), (2; 3);
R4 = (0; 1) ; R5 = (0; 1), (0; 0), (1; 1), (1; 0); R6 = (2; 2)

Hallar: R3 º R5, R5 º R3, R2 º R4 , R4 º R2 , R4 º R4 , R1 2 , R3 3

[Link]

Manejo Matricial de Relaciones

6- Calcular A B, A  B, A  B
 1 1  0 1
6.1 A=   B=  
 1 0  0 1
 1 0 1  1 0 0
   
6.2 A =  0 1 0 B =  0 1 0
   
 0 0 1  1 0 1

7 -Si A = 1, 2, 3 y B =1, 4, 6, 9


7.1. Escribir por extensión R: A → B tal que a R b  a b
7.2. Hallar la matriz de R; el dominio y la imagen de R;R por extensión y la matriz MR ;
R-1 por extensión y la matriz MR-1 .
7.3. Siendo R1= {(1; 1), (2; 9), (2; 1), (3; 1)}, R1  A x B hallar matricialmente R  R1 ;
R1  R; R- R1

8- Dado A = {1, 2, 4}, B = {2, 4, 9} y R: A→B definida por a R b  “b es múltiplo de a”


indicar:
8.1 R por extensión y la matriz MR
[Link]

8.2 R por extensión y la matriz MR


8.3 R-1 por extensión y la matriz MR-1
Calcular: __
8.4 MR v M-R
8.5 ( MR )t  M R-1

9-Representa cada una de estas relaciones en el conjunto A= {1, 2,3} mediante una matriz (con los
elementos de este conjunto listados en orden creciente)
9.1-{(1; 1), (1; 2), (1; 3)}
9.2-{(1; 2), (2; 1), (2; 2), (3; 3)}
Dibuja el dígrafo de cada una de las relaciones anteriores.

1 1 0 1
0 0 0 1
10-Sea R la relación definida en A = a, b, c, d, representada por  
1 1 1 0
 
0 1 0 1
Dar por extensión la relación R

Hallar la matriz y el dígrafo que representa a: R-1, R , R3
− −
11-Calcular R  S, R  S, R-1 , R , S-1 , S para R y S definidas por los siguientes
esquemas:

12- Dados A = 1, 2, 3, B = a, b, C = a, 4, 5, R: A → B, S: B → C con


R = (1; a), (2; b), (3; a) S = (a; a), (a; 4), hallar:
12.1 S ° R
12.2 MR
12.3 MS
12.4 M S ° R = MR  MS

13-Sea A = {1, 2, 3, 4, 5, 6} y considere la relación sobre A definida en el siguiente digrafo.


Determine:
(a) Todas las trayectorias de longitud 3.
(b) El digrafo de R3
(c) R∞.
[Link]

14- Hallar R∞ y R* para la relación R={(1;1),(2;3),(3;4)} definida en el conjunto A={1,2,3,4}

[Link]
Trabajo Práctico Nº 4

Relaciones Binarias – Propiedades

1- Sea A = 0,1.Utilizando el dígrafo, estudiar las propiedades de las siguientes relaciones:


1.1 R1 = (0; 0), (1; 1)
1.2 R2 = (0; 1), (1; 0)
1.3 R3 = (0; 0), (0; 1)
1.4 R4 = A x A

2-Sea A = 0, 1, 2, 3 Utilizando matrices, estudiar las propiedades de las siguientes relaciones:
2.1 R1 = (0; 1)
2.2 R2 = (0; 1), (0; 0), (1; 1), (1; 0)
2.3 R3 = (2; 2)
2.4 R4 = 
Resolución Parcial 2.2

[Link]

3-Dar un ejemplo de una relación en el conjunto A= {1, 2, 3,4} que:


3.1 Sea reflexiva y simétrica, pero no transitiva
[Link]

3.2 Sea simétrica y transitiva, pero no reflexiva


3.3 Sea reflexiva, antisimétrica, pero no transitiva
3.4 Sea reflexiva, antisimétrica y transitiva

4- Dado A = a, b, c y cada una de las siguientes relaciones R: A → A, estudiar sus


propiedades e indicar cuales son de equivalencia y de orden
[Link]

5- Sea R una relación sobre A = {1, 2, 3, 4} tal que R = {(1, 1), (1, 3), (2, 4), (2, 2), (3, 3), (3, 1), (4, 2)}
Calcule la matriz MR2 y determine las propiedades de MR2 . Dibuje el digrafo para la relación R.

6- Estudiar las propiedades de cada una de las relaciones R definidas en cada uno de los
siguientes casos y clasificarlas:
6.1 x R y  x y en Z
6.2 x R y  x y en N
6.3 x R y  n (x – y) en Z, n  N
6.4 x R y  x  y en Z
[Link]

7-Sean R y S dos relaciones asimétricas, demuestre o refute que R ∪ S y R ∩ S son relaciones


asimétricas.

[Link]

8- Sean R1 y R2 dos relaciones definidas sobre A. Probar:


8.1 Si R1 y R2 son antisimétricas, entonces R1  R2 es antisimétrica en A;
8.2 Si R1 y R2 son simétricas, entonces R1  R2 es simétrica en A.

9- Si R y S son relaciones de equivalencia en A


¿Es R ° S una relación de equivalencia en A?
10-Indique el valor de verdad de las siguientes afirmaciones, demostrando o justificando correctamente:
10.1. La relación vacía definida sobre un conjunto no vacío no tiene propiedades.
10.2. Ninguna relación de equivalencia es antisimétrica
10.3. Si R, S son reflexivas → R ° S es reflexiva
Trabajo Práctico Nº 5

Relaciones de equivalencia

1-Justificar cuáles de los siguientes conjuntos son una partición de A = 1, 2, 3, 4, 5


1.1 1,2, 3,4, 5 = P1
1.2 1,2, , 3, 4,5 = P2
1.3 1,2, 3,3, 4,5 = P3
1.4 1,2, 3,4 = P4
1.5 1, 2,3, 4, 5 = P5

2-Sean el conjunto A= {1,2,3,4,5,6} y la relación R= {(1;1), (1;2), (2;1), (2;2), (3;3),


(4;4), (4;5), (5;4), (5;5), (6;6)} en A. ¿Es R una relación de equivalencia? Dar el conjunto cociente.

3-Sean A= {1, 2, 3, 4, 5, 6,7} y una relación R en el conjunto A definida por:


x R y  x-y es múltiplo de 3
Demostrar que R es de equivalencia y calcular las clases de equivalencia originadas por R.

[Link]

4-Verificar que las siguientes relaciones son de equivalencia y hallar las clases de equivalencia y el
conjunto cociente:
4.1 R  Z x Z a R b  (-1) a = (-1) b
4.2 x R y  x .y > 0 en Z - 0
[Link]

5-Sea A= {1,2,3,4,5}x {1,2,3,4,5} y sea la relación R en A definida por:


(a; b) R (c, d) si y sólo si a+b=c+d.
5.1. Demostrar que R es de equivalencia.
5.2. Determinar las clases [(1,3)], [(2,4)] y [(1,1)].
5.3. Determinar la partición de A originada por R.
[Link]

6- En el conjunto A= {15, 22, 34, 45, 68, 54,125} se define la siguiente relación de equivalencia: a≡
b (5) ↔ 5|(a-b)
Hallar las clases de equivalencia y el conjunto cociente.

7- Si A = {1, 2, 3, . . . , 10}, y la relación R definida por aRb si y solo si |a − b| es un múltiplo de 3. Si


sabemos que R es de equivalencia entonces cl(7) es
(a) ( ) {1, 3, 5, 7, 9} (b) ( ) {1, 4, 7, 10} (c) ( ) {3, 6, 7, 9} (d) ( ) {2, 4, 7, 8}

8-Determinar cuál/les de estos enteros cumple con:


x ≡ 5(17).
a) 80 b) 103
c) 29 d) 122
[Link]

9-9.1. Sea R1 la relación módulo 2 y R2 la relación módulo 3, definidas sobre Z; hallar R1  R2 y el


conjunto cociente: Z  R1  R2.

[Link]

9.2 Sea R1 la relación módulo 6 y R2 la relación módulo 10, definidas sobre Z; hallar R1  R2 y el
conjunto cociente: Z / R1  R2.
10-En el lenguaje L= {aaba, aaa,bab, ,ba,bbb} se define la siguiente partición
P ={{aaba},{aaa, bab, ba},{ , bbb}}.Probar que P es partición de L y hallar la matriz de la relación de
equivalencia inducida por P

[Link]

11- Sea A = a, b, c, d, e, f, g  y P = a, b, c,d, e,f, g.Verificar que P es partición de A y hallar
la matriz de la relación R: A → A que define la partición P.

Relaciones clausuras

12-Sea A = {1, 2, 3, 4} se definen sobre A las relaciones


R = {(1, 1), (1, 2), (2, 3), (2, 4), (3, 4), (4, 1), (4, 2)}
S = {(3, 1), (4, 4), (2, 3), (2, 4), (1, 1), (1, 4)}.
Pruebe o refute:
(a) R es simétrica, si no lo es, determine la relación S(R) sobre A más pequeña que contenga a R, tal
que S(R) sí es simétrica.
(b) S es reflexiva. Si no lo es, determine la relación r(S) sobre A más pequeña que contenga a S, tal que
r(S) sí es reflexiva.
(c) Calcule (si es posible) S ◦ R y R ◦ S.

13- Sea A = {a, b, c, d, e} y la relación R  A x A tal que R = {(a; b), (a; c), (a; e),(e; d), (b; c),
(c; c), (c; d),(d; a), (d; c) }, hallar: R A ; RR-1; R2 ; R3.

14- Sea A = {1, 2, 3, 4} y las relaciones definidas sobre A:


R1 = {(1; 2), (2; 2), (2; 4), (3; 2), (3; 4), (4; 1), (4; 3)}
R2 = {(1; 1), (1; 2), (2; 3), (3; 4)}
R3 = {(1; 2), (1; 3), (1; 4), (3; 2), (3; 3), (3; 4)}
En cada caso indicar:
14.1 MR, el dígrafo de R
14.2 clausura reflexiva, clausura simétrica, clausura transitiva
14.3 MR*, el dígrafo de R*

15-Hallar en forma analítica la relación más pequeña posible que contenga a R1 = {(1; 2), (2; 4), (3; 3),
(4; 1)} y a R2 = {(1;1), (3;4), (4;3)} definidas en A= {1,2,3,4,5} y sea reflexiva; simétrica y transitiva.
¿Coincide R∞ con R*?

16-Sea el conjunto A= {(0; 0), (0; 1), (1; 0), (1; 1)} y la siguiente relación R:
( x; y ) R ( z; t )  x = 2z  y = t

Se pide:
a) Mediante el manejo matricial estudiar las propiedades reflexivas, simétrica, antisimétrica y transitiva.
b) Obtener las clausuras necesarias para que la relación sea de equivalencia.
[Link]
Trabajo Práctico Nº 6

Conjunto Ordenado

1-En el conjunto A= {0, 2, 5, 10, 11,15}, se define la relación  : x  y  x  y


1.1 Probar que (A,  ) está ordenado
1.2 Realizar el diagrama de Hasse
1.3 ¿Está totalmente ordenado? ¿Es un buen orden?

2-Sea A= {a, b} en P(A) se define  : X  Y  X Y


2.1 Probar que P(A) queda ordenado por 
2.2 Realizar el diagrama de Hasse
2.3 ¿Está totalmente ordenado? ¿Es un buen orden?

3- En N se define la relación  en la siguiente forma: x  y  x y


3.1 Probar que es un orden en N. ¿Queda Z ordenado por ?
3.2 Dibujar el diagrama de Hasse de la relación de divisibilidad para los siguientes conjuntos
A={1,2,3,4,6};B={3,5,7.13,16,17};C={2,3,5,10,11,15,25};D={1,3,9,27,81}

[Link]

3.3 Indicar cuáles son órdenes totales y cuáles son buenos órdenes.

4-Hacer el diagrama de Hasse de los siguientes conjuntos ordenados: ( D6, | ); ( D8, | ); ( D12, | ) y
( D30,  ).Determinar cuáles son ordenes totales y cuáles son bien ordenados. Justificar.
[Link]

5-Sean ( D3,  ) y (P(A),  ) , A={ a,b },conjuntos ordenados,


5.1-Probar que  definida por (a, B)  (c, D)  a c  B  D ordena al conjunto D3 x P(A)
5.2- Dibujar el diagrama de Hasse para ( D3 x P(A),  )
5.3-¿Está D3 x P(A) totalmente ordenado?
[Link]

6-Para cada uno de los conjuntos ordenados del ejercicio 3.2 hallar los elementos maximales; los
elementos minimales, ¿hay máximo?, ¿hay mínimo? y los átomos.

7-7.1 Sea D = 1, 2, 3, 4, 5, 6, 7, 8 ordenado como sigue

Hallar los elementos maximales y minimales; ¿Hay máximo? ¿Hay mínimo?


Enumerar los subconjuntos de 3 elementos que estén bien ordenados
Considerar el subconjunto B= {4, 5,6} y hallar cotas superiores e inferiores de B
¿Hay supremo para B? ¿Hay ínfimo para B?

7.2 En A = a, b, c, d, e, f, g ordenado como sigue:


Hallar maximales; minimales; primer elemento; último elemento; átomos y el subconjunto de mayor
cardinal que esté bien ordenado de A
Considerar B = c, d, e y hallar cotas superiores e inferiores, ínfimo, mínimo, supremo, máximo de B
8- Sobre D44 definir una relación de orden amplio no lineal; b) para el subconjunto {4, 22} indicar las
cotas inferiores, superiores, ínfimo, y supremo, de ser posible; c) para el subconjunto {2, 22, 44}
determinar si es bien ordenado, justificar.

[Link]

9- Sea el conjunto A = {(0;0), (1;0), (2;0), (3;0), (0;1), (1;1), (2;1), (3;1), (0;2), (1;2), (2;2), (3;2)}
y sea la relación (a; b)  (c; d) si y sólo si a  c y b  d
9.1 Probar que  es una relación de orden.
9.2 Realizar el diagrama de Hasse
9.3 Determinar (si existen) las cotas inferiores, las cotas superiores, el supremo, el ínfimo, el
máximo y el mínimo del subconjunto B = {(1;1), (1;2), (2;1)}.

Red

10- Determinar si el conjunto con la relación dada es retículo:


10.1 A = a, b, c, d, f
10.2 A = a, b, c, z, u 

11-11.1 Sea D30 = x  N / x  30, probar ( D30,  ) con a  b  a b, es red, dibujar el diagrama
de Hasse,
11.2 ¿( D12, | ) es red?

12-Sea B = {a, b}, probar ( P(B),  ) es red.

13-¿Cuáles de los siguientes subconjuntos de N son retículo con el orden definido por
a  b  a b ? ¿Por qué?

a) {5, 10, 15, 30}; b) {1, 3, 7, 15}; c) {2, 3, 5, 6, 10, 30};


Trabajo Práctico Nº 7

Álgebra de Boole

1-Para cada uno de los siguientes conjuntos ordenados, definir, si es posible, dos operaciones binarias
de modo de obtener un retículo algebraico
1.1 (P(A), ) ,A={1,2}
1.2 (D30 , )
1.3 (, 1 ) siendo a 1 b  a.b = a
. 0 1
0 0 0
1 0 1
2- 2.1 Dado (N, mcm, mcd) retículo algebraico:
2.1.1 Calcular: 18.35, (74.24) + 5
2.1.2 Resolver: 6.x = 2; 8 + x = 24
2.2 En el retículo (D30, mcm, mcd):
2.2.1 Resolver: 10 + x = 30; 10. x = 5
2.2.2 Calcular: 2 + 30, 6. 10, 6 + 15, 6. 30

3-Calcular los complementos de cada elemento de las siguientes redes:


3.1 (D30 , )
3.2 (D 12, )
3.3 A= {a, b, c, d, f}

4-¿Cuáles de las siguientes redes son distributivas?


4.1 (D30, mcm, mcd)
4.2 (P(A),,), A= {1,2}
4.3 A= {1, 2, 3, 4, 5, 6, 7,8}
4. A= {a, b, c, d, e, f, g}

5- ¿Cuáles de los retículos de los ejercicios 1 y 3 son Álgebras de Boole?

6- Sea el retículo algebraico (D182, mcm, mcd):


6.1. ¿Es álgebra de Boole? Realizar el diagrama de Hasse.
6.2. Indicar los elementos neutros correspondientes a cada operación,
6.3. El complemento para cada elemento,
6.4. Los átomos

7-Sea (D40;|) conjunto ordenado.


7.1. Realizar el diagrama de Hasse. Hallar los elementos maximales, minimales,
máximo, mínimo, cotas superiores, cotas inferiores, supremo, ínfimo del subconjunto S= {2,4,8,20}
7.2. ¿Es red? En caso de ser red ¿es Álgebra de Boole? Justificar

8- Dado el conjunto A = {a, b, c, d, e} completar la tabla de : A2 → A y definir la operación


: A2 → A para que (A, ,  ) sea una red, indicar justificando adecuadamente si es álgebra de Boole.

  a b c d e
a b c d e
b e e e
c e e
d e
e

9- Definir un isomorfismo entre:


9.1. ( D30 ,  ) y ( D42 ,  )
9.2. ( D6 ,  ) y ( P(A),  ) con A = {a, b}
9.3. B = {e, f, g}; (P(B), , ) y ( D182 , )

10-En el lenguaje L = {010, 110, 0100, 0001, 0000111, 1100011, 00000}, se define la siguiente
relación de orden: w1  w2  w1 = w2  el número de ceros de w1 es menor al de w2
10.1. Hacer el diagrama de Hasse. Hallar los elementos maximales, minimales, máximo
, mínimo, cotas superiores, cotas inferiores, supremo, ínfimo del subconjunto
S= {010, 0001, 0100,0000111}.
10.2.¿Es (L,) un orden total ?Justificar.
10.3. ¿(L,) es red? En caso de no ser red, eliminar la menor cantidad de palabras para que sea red y
Álgebra de Boole. Justificar

11-Considerar la red ( D132 , | )


11.1. Hacer el diagrama de Hasse. Hallar los elementos maximales, minimales, máximo
, mínimo, cotas superiores, cotas inferiores, supremo, ínfimo del subconjunto
S= {2, 4, 6, 12,22}
11.2. ¿Es ( D132 , | ) un orden total ?Justificar. En el caso de no ser un orden total encontrar uno
formado por cuatro elementos o más.
11.3. Indicar los complementos ¿La red ( D132 , | ) es Álgebra de Boole? Justificar.
11.4. Resolver o calcular: 11  4; (3  12)  44 ; 4  x = 132

12- Sea el Álgebra de Boole (D210,|) y sea TB ={ {a}, {b},{c},{d}}el conjunto de los átomos del álgebra
de Boole (B,  ) .Se define un isomorfismo f: D210 → B / f(2)={b}; f(3)={c}; f(5)={d}; f(7)={a}.
¿Cuáles serán las imágenes de 6 y 105?

También podría gustarte