UNLaM - Departamento de Ingeniería e Investigaciones Tecnológicas

Matemática Discreta -1028 1erParcial-2016

Apellido y Nombre: ________________________________ D.N.I:_____________

Las respuestas sin justificación se considerarán como no contestadas

PARA APROBAR EL EXAMEN ES NECESARIO TENER EL 50% DE LOS ITEMS
CORRECTOS
E-1 E-2 E-3 E-4 E-5 Nota

Martes Mañana __________________________________________________Tema 1

Ejercicio Nº 1
1.1. Sean los siguientes conjuntos: O= {1, {1}}; Q = {1,2}; R= {3, {{5}}}; S= {1}.
Indicar, justificando, el valor de verdad de las siguientes proposiciones:
a) 5 O b) {2,{1}}  P(Q) c) {{{5}}}  R d) { S } O
1.2. Se tiene que r es una proposición verdadera y que p y q son proposiciones
cualesquiera. Por medio de una tabla de verdad determine si la proposición
[(p →q)  (¬ p → r ) ] → (q ∨ r) es una tautología, contradicción o contingencia.

Ejercicio Nº 2
Considerar el conjunto A= {2, 4, 6, 8,1} y las relaciones R y S definidas en A, dadas
por a S b↔ a = 2 b y R = { (2;4),(6;8),(4;4),(8;4),(4;2),(1;6)}
3.1. Hallar (S  R)-1; estudiar sus propiedades y clasificarla. Escribir un contraejemplo
para las propiedades que no cumpla (S  R)-1. Justificar.
3.2. Hallar la matriz y el dígrafo de R*

Ejercicio Nº 3
3.1. Sea A = {1, 2, 3}. Definimos en el conjunto de partes de A, P (A), la relación binaria:
X R Y si y sólo si card(X) = card(Y)
Hacer el dígrafo de la relación y hallar las clases de equivalencia y el conjunto cociente.
3.2. Dadas las relaciones R1={(1;1),(2;3),(3;1),(3;9)}y R2={(2;2),(3;2),(1;1),(2;3),(3;3)}
definidas en el conjunto A={1,2,3 }. Hallar la Partición determinada por la relación de
equivalencia y probar que es Partición. Justificar.

Ejercicio Nº 4
4.1. Se considera el conjunto A = {1, 2, 3, 4} y en él, la relación de orden
 = {(4; 4), (4; 3), (4; 2), (4; 1), (3; 3), (3; 2), (3; 1), (2; 2), (2; 1), (1; 1)}. Hacer el diagrama
de Hasse ; hallar el máximo y mínimo de (A, y para el subconjunto {1,2, 3} hallar
las cotas superiores e inferiores y supremo e ínfimo.
4.2. ¿El conjunto A con el orden establecido es red?¿Es un álgebra de Boole?
Justificar.

Ejercicio Nº 5
Determinar el valor de verdad de las siguientes proposiciones. Justificar
5.1. 
5.2.  = 0
UNLaM - Departamento de Ingeniería e Investigaciones Tecnológicas
Matemática Discreta -1028 1erParcial-2016
Apellido y Nombre: ________________________________ D.N.I:_____________

Las respuestas sin justificación se considerarán como no contestadas

PARA APROBAR EL EXAMEN ES NECESARIO TENER EL 50% DE LOS ITEMS
CORRECTOS
E-1 E-2 E-3 E-4 E-5 Nota

Martes Mañana __________________________________________________Tema 2

Ejercicio Nº 1
1.1. Sean los siguientes conjuntos: H= {1, {1}}; O = {8,4, {5}}; T= {{1}}. Indicar,
justificando, el valor de verdad de las siguientes proposiciones:
a) 1 H b) {8}  P(O) c) {4,{5}}  O d) { } T
1.2. Se tiene que r es una proposición falsa y que p y q son proposiciones cualesquiera.
Por medio de una tabla de verdad determine si la proposición
[(p →q)  (¬ p → r ) ] → (q ∨ r) es una tautología, contradicción o contingencia.

Ejercicio Nº 2
Considerar el conjunto A= {12, 4, 6, 8,1} y las relaciones R y S definidas en A, dadas
por a S b↔ a = 2 b y R = { (12;4),(6;8),(4;4),(8;4),(4;12),(1;6)}
3.1. Hallar (S  R)-1; estudiar sus propiedades y clasificarla. Escribir un contraejemplo
para las propiedades que no cumpla (S  R)-1. Justificar
3.2. Hallar la matriz y el dígrafo de R*

Ejercicio Nº 3
3.1. Sea A = {4, 5, 6}. Definimos en el conjunto de partes de A, P (A), la relación binaria:
X R Y si y sólo si card(X) = card(Y)
Hacer el dígrafo de la relación y hallar las clases de equivalencia y el conjunto cociente.
3.2. Dadas las relaciones R1={(1;1),(2;3),(3;1),(3;9)}y R2={(2;2),(3;2),(1;1),(2;3),(3;3)}
definidas en el conjunto A={1,2,3 }. Hallar la Partición determinada por la relación de
equivalencia y probar que es Partición. Justificar.

Ejercicio Nº 4
4.1. Se considera el conjunto A = {a, b, c, d} y en él, la relación de orden
 = {(d; d), (d; c), (d; b), (d; a), (c; c), (c; b), (c; a), (b; b), (b; a), (a; a)}. Hacer el diagrama de
Hasse ; hallar el máximo y mínimo de (A, y para el subconjunto {b, c, d} hallar las
cotas superiores e inferiores y supremo e ínfimo.
4.2. ¿El conjunto A con el orden establecido es red?¿Es un álgebra de Boole?
Justificar.

Ejercicio Nº 5
Determinar el valor de verdad de las siguientes proposiciones. Justificar
5.1. =
5.2.  = 1