Segundo Control

Curso: Estructuras Discretas I - 2016 II

Nombre: ...............................................................................................................................

1. (5 puntos) Formalice el enunciado usando lgica de predicados. Formalice cada oracin en una lnea diferente.

D = Seres Vivos
Las perros que ladran a algn nio que se porte bien no lo muerden. Cualquier perro que
muerda a algn nio al que no ladre podra estar en peligro. "Miedoso" es un perro que no
muerde a ningn nio que se porte bien y que sea dueo de algn perro rabioso; adems,
ningn nio que se porte bien es dueo de "Miedoso". Pobre "Miedoso"! Por lo tanto, "Miedoso"
podra estar en peligro.

1
2. (5 puntos) Determine la validez del siguiente argumento usando reglas de inferencia y leyes lgicas. Para
obtener puntaje completo indique las reglas que est usando.

D = Personas
Patricio es estudiante y empleado. Todos los empleados cobrarn su sueldo y su aguinaldo.
Luego, aguien cobrar su sueldo.

2
3. (5 puntos) Sea =Enteros, = {|2 8 + 15}, = {|2 9 + 20} y = {|2 11 + 28}. Cuntos
subconjuntos propios tiene ()? Cuntos subconjuntos propios tiene ()?. Qu es ()?.
Para obtener puntaje completo muestre el procedimiento de su solucin.

3
4. (5 puntos) Demuestre usando las propiedades de conjuntos que () =