



Prepara tus exámenes y mejora tus resultados gracias a la gran cantidad de recursos disponibles en Docsity
Gana puntos ayudando a otros estudiantes o consíguelos activando un Plan Premium
Prepara tus exámenes
Prepara tus exámenes y mejora tus resultados gracias a la gran cantidad de recursos disponibles en Docsity
Prepara tus exámenes con los documentos que comparten otros estudiantes como tú en Docsity
Encuentra los documentos específicos para los exámenes de tu universidad
Estudia con lecciones y exámenes resueltos basados en los programas académicos de las mejores universidades
Responde a preguntas de exámenes reales y pon a prueba tu preparación
Consigue puntos base para descargar
Gana puntos ayudando a otros estudiantes o consíguelos activando un Plan Premium
Comunidad
Pide ayuda a la comunidad y resuelve tus dudas de estudio
Ebooks gratuitos
Descarga nuestras guías gratuitas sobre técnicas de estudio, métodos para controlar la ansiedad y consejos para la tesis preparadas por los tutores de Docsity
2025 -20 matemática discreta uc
Tipo: Exámenes
1 / 5
Esta página no es visible en la vista previa
¡No te pierdas las partes importantes!




INSTRUCCIONES : Estimad@ estudiante, resuelve cada una de las siguientes preguntas, teniendo en cuenta el planteamiento, desarrollo y respuesta. Evite borrones y manchas. Pregunta 1. Se tiene la siguiente proposición compuesta:
( p^ →^ q^ ) ^ ^ ( ^ q^ ^ r^ ) ( p^ r) a) Identifica el número de proposiciones simples, número de filas y la matriz principal. b) Desarrolla mediante una tabla de verdad, luego identifica si el resultado es una tautología, contradicción o contingencia. Resolución : (4 puntos) ( ) ( ) ( ) ( ) ( ) ( ) ( )
de proposiciones sim
v
p q q r p r ples^ de filas Matriz principal p q r (^) p q (^) q r p r v
f
v v v v f f f f f v v v f v f f
bicondic
f
ional
f v v f v v f f f v v v
v f f v f v v v v f f v v f f v v v v f f v v f f f f v v f v f f
f f v f v f f
v v v f f v f v v v f
v f
f
v
Matriz princip
f f
al v v
f
v f f
v
v v
v
f
v v v f
es
v
u
v
n
v
a
f
c
v
o
f
n
v
t
v
i
v
n
v
g
f
e
v
n
f f f
cia
v
Facultad: _________________________________ Asignatura: MATEMÁTICA DISCRETA Docente: Juan Dionisio Osores
Apellidos: _____________________________________________ Nombres: _____________________________________________ Fecha: 06 / 09 /202 5 Duración: 80 min NRC : ……………………
Pregunta 2.
Sean los conjuntos A y B iguales:
Resolución : (4 puntos)
2 2
2 2
n A
m
A y
m n B
Se cumple
a
o u
Resp
y B s n conj ntos iguales
v
ues
n
ta
llando el al
n or de
m n
n
m
Pregunta 4.
A partir de las siguientes premisas demostrar la conclusión, justificando al costado con la regla respectiva que se ha usado.
( ) ( )
1 2 3
Resolución : (4 puntos)
( ) ( )
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
condicional Morgan simplificación Ponendo Ponens simplificación Ponendo Ponens Tollendo Tollens adición condicion
Demostrar
y
y y
t q p q r p s s r p s p s p q r s r q t q t q
Luego el razonamiento lógic ,.
a o
l es válido
Pregunta 5. Demostrar la validez del siguiente razonamiento:
Si el reloj está adelantado, entonces Juan llegó antes de las diez y vio partir el coche de Andrés. Si Andrés dice la verdad, entonces Juan no vio partir el coche de Andrés. O Andrés dice la verdad o estaba en el edificio en el momento del crimen. El reloj está adelantado. Por lo tanto , Andrés estaba en el edificio en el momento del crimen.
a) Identifica y escriba las proposiciones simples (p; q; r; s; t; ...; z). (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: el reloj está adelantado. q: Juan llegó antes de las diez. r: Juan vio partir el coche de Andrés. s: Andrés dice la verdad. t: Andrés estaba en el edificio en el momento del crimen.
Formalización:
Demostración:
( )
( ) ( ) ( ) ( ) ( ) ( ) ( )
.
1 4 5 2
6 3 7 ,
:
premisas
Ponendo Ponens Simplifi
D
cación Tollendo Toll
q
ens silogismo disyunt
r
t
Lu
t
eg
p
o
emostrar p
z
y
el ra o v
r s r s
q r
s
nam
o iento lógico es á d
i i
v
y t (^) y l o
→ →