Universidad de San Carlos de Guatemala

Escuela de Ciencias Fsicas y Matemticas

Matemtica discreta
Primer semestre 2017
Catedrtico: Hugo Garca
Guatemala, 28 de febrero

PRIMER PARCIAL
Instrucciones: Resuelva los problemas que se le plantean en su cuadernillo de trabajo. Recuerde con-
signar sus respuestas con lpicero para tener derecho a revisin. La prueba tiene una duracin de 50
minutos.

Tema 1
Demuestre que el argumento ((P Q) P ) P es demostrable en lgica clsica.

25 puntos

Tema 2
Sean f : B C y g : A B. Demuestre que:

a) Si f y g son inyectivas, entonces f og es inyectiva.

b) Si f y g son sobreyectivas, entonces f og es sobreyectiva.

25 puntos

Tema 3
Demuestre que si una relacin R en un conjunto es reflexiva y transitiva, entonces Rn = R a

para todo entero positivo n.

a
Rn = Rn1 oR. La operacin o se define como M oN es la relacin de los pares (a, c) donde (a, b) M y
(b, c) N , M y N relaciones.

25 puntos

Tema 4
Demuestre que:

1. Todo conjunto parcialmente ordenado tiene un elemento maximal y un elemento minimal.

2. Toda cadena tiene un elemento mximo y un elemento mnimo.

25 puntos