Documente Academic
Documente Profesional
Documente Cultură
Pregunta 1 (1 Pts.) Simboliza las siguientes proposiciones, definiendo primero las proposiciones.
De donde queda:
d) Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni otras violaciones de los derechos civiles.
De donde queda:
Problema 2: (1 Pts.) Enlaza cada proposicin con su formalizacin
A. (p V q) r
B. ~ (p q) ~ r
C. p (q r)
D. q (p r)
Si las estrellas emiten luz, entonces los planetas la reflejan y giran alrededor de ellas p (q r)
Las estrellas emiten luz o los planetas la reflejan y, por otra parte, los planetas giran alrededor de ellas
(p V q) r
Los planetas reflejan luz si y slo si las estrellas la emiten y los planetas giran alrededor de ellas
q (p r)
Si no es cierto que las estrellas emiten luz y que los planetas la reflejan, entonces stos no giran alrededor de ellas
~ (p q) ~ r
Problema 3: (2 Pts.) Formaliza el siguiente enunciado. Cuntas variables tiene la tautologa? tabla? Es una
Si un animal fabuloso se enfada, te quedas paralizado del susto; y si te quedas paralizado del susto, entonces no puedes sino apelar a su bondad y as no ser engullido. Por lo tanto, si un animal fabuloso se enfada, tendrs que apelar a su bondad o sers engullido.
Es una tautologa?
p V V V V V V V V F F F F F F F F V V V V F F F F V V V V F F F F
q V V F F V V F F V V F F V V F F
r V F V F V F V F V F V F V F V F
r V V V V F F F F V V V V V V V V F F F V F F F F F F F V V V V V VF VF VF VV FV FV FV FV VF VF VF VV FV FV F V FV F F F F F V V F F V V V F FF F FV V F F V VV F F F F F V V F F V VV F FF F FV V FF V VV
Podemos observar que existen valores falsos en la tabla por lo cual el enunciado NO ES TAUTOLOGIA
Problema 4: (1 Pts. c/u) Formaliza los siguientes argumentos y demuestre su validez usando el mtodo del absurdo.
a)
Si acepto este trabajo o dejo de pintar por falta de tiempo, entonces no realizar mis sueos. He aceptado el trabajo y he dejado de pintar. Por lo tanto, no realizar mis sueos.
SOLUCION:
p=V ,q=V
r=V
Analizando la proposicin atreves del mtodo del absurdo podemos demorar la validez. Por lo tanto se demuestra la validez con el mtodo del absurdo. b) Si vamos a Asia, entonces llegaremos hasta la India. Si vamos a Asia entonces, si llegamos hasta la India visitaremos Varanasi. Si vamos a India entonces, si visitamos Varanasi podremos ver el Ganges. Por lo tanto, si vamos a Asia veremos el Ganges
SOLUCION:
( p=V , q=V V V
) p=V , s=F
Usando el metodo del absurdo, concluimos lo siguiente: p=V, q=V, r=V, s=F. Ahora reemplazamos en la expresin ( ), ya que debera salir VERDADERO
PRUEBA INDUCTIVA: evaluaremos la desigualdad para P(n) es verdadera. P(n+1), debemos demostrar su validez.
Por ende:
Por lo cual podemos ver que las formula es verdadera ya que se cumple la prueba inductiva
Problema 6: (2 Pts.) Se define la relacin R sobre Z como: R = {(x, y) Z x Z / x/y = 2n, n Z} Demuestre que R es una relacin de equivalencia. SOLUCION: REFLEXIVIDAD: Cumple la reflexividad
SIMETRIA: TRANSITIVIDAD:
Problema 7: (2 Pts.)
a)
Cuantas
cadenas
pueden
formarse
mediante
las
siguientes
letras:
SOLUCION.
34650
b)
Problema 10: (3Pts.) a) Escribir las expresiones booleana para F1, F2 y F3 de la siguiente tabla en su forma normal disyuntiva (suma de productos).
ENTRADAS
SALIDAS
A 1 1 1 1 0 0 0 0
B 1 1 0 0 1 1 0 0
C 1 0 1 0 1 0 1 0
F1 0 0 1 1 0 1 1 0
F2 1 0 0 1 0 0 0 1
F3 0 0 0 1 1 1 1 1
SOLUCION:
b)
a c b d
SOLUCION:
a c b d
) (