Universidad Técnica Nacional Docente: Ana Magali Salazar Ávila

Carrera: Ingeniería del Software Puntaje total: 50 pts. Tiempo estimado 2 horas máximo
I Examen Matemática Discreta Puntos Obtenidos: _____ Nota: ______ Fecha: _______

Nombre completo: _______________________________________________ N° Identificación: ____________

Indicaciones Generales:
1. Lea cuidadosamente cada una de las indicaciones.
2. Guarde silencio, presente procedimiento de forma clara, completa, precisa y correcta, según el material del curso.
3. En cada ejercicio deben aparecer todos los pasos que le lleven al resultado correcto.
4. Todo debe aparecer en el examen. Si escribe en la Tabla 1.1 y Tabla 1.2, durante la prueba, éstas deberán ser entregadas junto
al examen (no se calificarán las anotaciones encontradas).
5. Utilice la simbología en forma completa, correcta y oportuna, según corresponda.
6. Utilice bolígrafo de tinta negra o azul indeleble, no utilice corrector ni haga tachones. Procedimiento desordenado o con
tachones o que no sea claro no se revisará.
7. Se permite el uso de la calculadora científica, no programable.
8. No se permiten hojas adicionales ni el préstamo de materiales durante la prueba.
9. No se permite el uso de computadora ni dispositivos móviles ni de accesorios tecnológicos.
10. No se permite abandonar el recinto de examen, salvo que haya finalizado la prueba.
11. Debe permanecer al menos treinta minutos con la prueba, luego de la hora de inicio.

1. (10 pts.) Niegue completamente cada una de las siguientes expresiones, en lenguaje cotidiano (puede hacer uso del
proceso simbólico, para apoyarse, pero sólo se calificará en lenguaje cotidiano).

a. “Si el conejo no corre con reloj o se cumple que si Alicia despierta el conejo corre con reloj; entonces Alicia
no despierta”

P: el conejo corre con reloj

Q: Alicia despierta [ −𝑃 ∨ (𝑄 → 𝑃) ] → −Q

Negación simbólica: [ −𝑃 ∨ (𝑄 → 𝑃) ] ∧ Q

Negación en lenguaje cotidiano: “El conejo no corre con reloj o se cumple que si Alicia despierta el conejo
corre con reloj; y Alicia despierta”

b. “El carro es verde y Mafafa no es una lagartija; todo esto se cumple si Mafafa es una lagartija o el precio de la
gasolina baja, y, Mafafa no es una lagartija o el carro es verde”

P: El carro es verde
Q: El precio de la gasolina baja
R: Mafafa es una lagartija (𝑅 ∨ 𝑄 ) ∧ (−𝑅 ∨ 𝑃) → (𝑃 ∧ −𝑅)

Negación simbólica: (𝑅 ∨ 𝑄 ) ∧ (−𝑅 ∨ 𝑃) ∧ (−𝑃 ∨ 𝑅)

Negación en lenguaje cotidiano: Mafafa es una lagartija o el precio de la gasolina baja. Mafafa no es
una lagartija o el carro es verde. El carro no es verde o Mafafa es una lagartija.
2. (10 pts.) Traduzca la siguiente expresión de lenguaje cotidiano a lenguaje lógico proposicional. Recuerde extraer las
proposiciones simples completa y correctamente.

a. “Si ocurre que o un triángulo tiene tres ángulos o un cuadrado tiene cuatro ángulos rectos, no es cierto que la
suma no sea dos ángulos rectos y los rombos no tengan cuatro ángulos rectos. Si ocurre que si los rombos
tienen cuatro ángulos rectos entonces se cumple que la suma sea dos ángulos rectos; entonces, si el círculo es
cuadrado entonces un triángulo tiene tres ángulos. El círculo es cuadrado y los rombos no tienen cuatro
ángulos rectos. Por lo tanto, se cumple que la suma sea dos ángulos rectos o un cuadrado no tiene cuatro
ángulos rectos”

P: un triángulo tiene tres ángulos

Q: un cuadrado tiene cuatro ángulos rectos
R: la suma sea dos ángulos rectos
S: los rombos tengan cuatro ángulos rectos
T: el círculo es cuadrado

(𝑃 ∨ 𝑄 → −(−𝑅 ∧ −𝑆)) ∧ ((𝑆 → 𝑅) → (𝑇 → 𝑃)) ∧ (𝑇 ∧ −𝑆) → (𝑅 ∨ −𝑄)

b. “Se cumple sólo una de dos: Pluto es un perro o Tridolfo queda calvo. Si Tridolfo queda calvo, ocurre que
Donald es un pato y Tridolfo se rasura. Luego, Tridolfo se rasura si Pluto es un perro”

P: Pluto es un perro
Q: Tridolfo queda calvo
R: Donald es un pato
S: Tridolfo se rasura

(𝑃 ∨ 𝑄) ∧ (𝑄 → 𝑅 ∧ 𝑆) → (𝑃 → 𝑆)
3. (10 pts.) Construya la tabla de verdad que represente la siguiente expresión y asigne el nombre que le corresponde.

[ (𝑃 ∨ 𝑄) ∧ (𝑃 → 𝑅) ∧ (𝑄 ∨ 𝑅) ] ∨ R

4. (10 pts.) Demuestre la validez de la siguiente expresión, mediante el uso de las equivalencias e inferencias lógicas
(debe hacer uso de la Tabla 1.1 y Tabla 1.2).
[ ( 𝑃 → 𝑄 ) ∧ ( Q → R ) ∧ ( 𝑃 ∨ ( T ∧ 𝑆 ) ) ∧ −R ] → S

1. 𝑃 → 𝑄

2. 𝑄 → 𝑅

3. 𝑃 ∨ (𝑇 ∧ 𝑆)

4. −𝑅 ∴S

5. 𝑃 → 𝑅 SH (1,2)

6. −𝑃 MT (4,5)

7. 𝑇 ∧ 𝑆 SD (3,6)

8. 𝑆 SIMPLIFICACIÓN (7)
5. (5 pts.) Identifique la ley que se aplica en cada caso para simplificar la expresión dada. Utilice la abreviatura o el
nombre completo de la ley que se encuentra en la Tabla 1.1.

[ ( —P ^ Q ) v —( Q v P ) ] ^ [ ( P v R) ^ ( P v —R ) ] JUSTIFICACIÓN

[ ( —P ^ Q ) v ( —Q ^ —P ) ] ^ [ ( P v R) ^ ( P v —R ) ] DM

[ ( —P ^ Q ) v ( —P ^ —Q ) ] ^ [ ( P v R) ^ ( P v —R ) ] Con.

[ —P ^ ( Q v —Q ) ] ^ [ P v ( R ^ —R ) ] Dis.

[ —P ^ Vo ] ^ [ P v Fo ] Inv.

—P ^ P Ne.

FO Inv.

6. (10 pts.) Utilice el Principio de Inducción Matemática para probar que la siguiente proposición es verdadera en N.