0% encontró este documento útil (0 votos)
81 vistas6 páginas

Evaluación de Matemática Discreta 2024

El documento presenta 5 preguntas de un examen de Matemática Discreta. Cada pregunta contiene un problema lógico que debe resolverse mediante tablas de verdad, esquemas moleculares u otras técnicas, y justificarse con reglas lógicas. El documento proporciona instrucciones para los estudiantes y una resolución detallada para cada pregunta.

Cargado por

edwin soto
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)
81 vistas6 páginas

Evaluación de Matemática Discreta 2024

El documento presenta 5 preguntas de un examen de Matemática Discreta. Cada pregunta contiene un problema lógico que debe resolverse mediante tablas de verdad, esquemas moleculares u otras técnicas, y justificarse con reglas lógicas. El documento proporciona instrucciones para los estudiantes y una resolución detallada para cada pregunta.

Cargado por

edwin soto
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

NOTA

Consolidado I - Evaluación de Desarrollo – 2024 – 10


Facultad: _________________________________ Apellidos: _____________________________________________
Asignatura: MATEMÁTICA DISCRETA Nombres: _____________________________________________
Docente: Juan Dionisio Osores Fecha: 06/04/2024 Duración: 80 min NRC: ………………………..

INSTRUCCIONES: Estimad@ estudiante, resuelve cada una de las siguientes preguntas, teniendo
en cuenta el planteamiento, desarrollo y respuesta. Evite borrones y manchas.

Pregunta 1.

Luego de desarrollar la siguiente proposición compuesta, mediante una tabla de verdad;


indica la cantidad de valores falsos que resulta en su matriz principal.

  p  ( p → q )   (  q  p )
Resolución: (4 puntos)

  p  ( p → q )   (  q  p ) Esquema molecular

# de proposiciones simples = 2 → # de filas = 22 = 4


p q  p  (p →  q )   ( q  p)
v v f f v f f f f v v
v f f f v v v f v v v
f v v v f v f f f f f
f f v v f v v v v v f
4 5 1 3 2 9 6 8 7

matriz principal : f f f v contingencia


# de valores falsos = 3
Pregunta 2.

Se tiene el siguiente circuito:

El costo de instalación de cada llave es de S/ 13. ¿En cuánto se reducirá el costo de la


instalación, si se reemplaza este circuito por su equivalencia más simple?

Resolución: (4 puntos)

 p   q  (  p  q )  ( p  q )   p  Esquema Molecular

1.   p  (  q  p )   (  p   q ) absorción
2.  p  (  p  q ) absorción
3. p absorción
Luego :
• costo al inicio = 7 13 = 91 soles
• costo al final = 113 = 13 soles
Hallando la reducción :
• R = 91 − 13 → R = 78 soles
Pregunta 3.

Simplifica el siguiente esquema molecular, haciendo uso de las leyes lógicas:

 
  p    ( q  r )  (  q  r )    ( p → q )

Resolución: (4 puntos)

 
  p    ( q  r )  (  q  r )    ( p → q ) Esquema molecular

 
1.   p  (  q   r )  (  q  r )    (  p  q ) Morgan; condicional
2.    p  (  q   r )   ( p  q ) idempotencia; Morgan
3.  p  ( q  r )   ( p  q ) Morgan
4. ( p  q )  r   ( p  q ) asociativa
5. pq absorción
Respuesta : p  q
Pregunta 4.

Demostrar la validez del siguiente razonamiento:

Si sigue lloviendo, entonces el río crecerá. Si sigue lloviendo y el río crece, entonces el
puente será arrastrado por las aguas. Si la continuación de la lluvia hace que el puente
sea arrastrado por las aguas, entonces no será suficiente un solo camino para toda la
ciudad. O bien un solo camino es suficiente para toda la ciudad o bien los ingenieros han
cometido un error. Por tanto, los ingenieros han cometido un error.

a) Identifica y escriba las proposiciones simples (p; q; r; s; t; ...). (1 punto)


b) Formalizar el enunciado en premisas y conclusión. (1 punto)
c) Demuestra la validez, haciendo uso de las reglas de la inferencia. (2 puntos)

Resolución: (4 puntos)

Proposiciones simples:
p: continúa lloviendo.
q: el río crece.
r: el puente es arrastrado por las aguas.
s: un solo camino es suficiente para toda la ciudad.
t: los ingenieros han cometido un error.

Formalización:
1. p → q 

2. ( p  q ) → r 
 premisas
3. ( p → r ) → s 
4. s  t 

t  conclusión
Demostración:

Demostrar : t
1. p → q 

2. ( p  q ) → r 
 premisas
3. ( p → r ) → s 
4. s  t 

5. p → ( p  q) (1) absorción
6. ( p → r) ( 2 ) y ( 5) Silogismo hipotético puro
7. s ( 3) y ( 6 ) Ponendo Ponens
8. t ( 4) y ( 7) Silogismo disyuntivo
Luego, el razonamiento lógico es válido.
Pregunta 5.

A partir de las siguientes premisas demostrar la conclusión, justificando al costado con la


regla respectiva que se ha usado.

P1 : ( p  q ) → ( r  s )
P2 :  p → ( t → t )
P3 :  r
C: t

Resolución: (4 puntos)
Demostrar :  t
P1 : ( p  q ) → ( r  s )
P2 :  p → ( t → t ) premisas
P3 :  r

4.  r  s ( 3) adición
5.  ( p  q ) (1) y ( 4 ) Tollendo Tollens
6.  p  q ( 5) Morgan
7. p ( 6) simplificación
8. t → t ( 2) y ( 7) Ponendo Ponens
9.  t  t (8) condicional
10. t (9) idempotencia.
Luego, el razonamiento lógico es válido.

También podría gustarte