Si la proposición [(a ∧ ~b) → d] ∨ ~ (d ∨ e) es falsa, entonces es verdad que:
a) (b ∨ a) es falsa.
b) (d ∨ a) es falsa.
c) (e → a) es falsa.
Respuestas
Respuesta dada por:
39
No hay literal d?
Esto lo puedes resolver por reducción a lo absurdo:
[(a ∧ ~b) → d] ∨ ~ (d ∨ e) = 0 para que esto sea falso tiene que darse así
(0 v 0) =0 Por lo tanto analizamos cada uno.
PRIMERO
[(a ∧ ~b) → d] =0 por ser un condicional la única forma que sea falso es así (1→0=0) ; siendo d=0
Por ello, (a ∧ ~b) =1 como es una conjunción tiene que ser 1∧1=1, entonces el valor de a =1 y b =0 (si niegas b te da 1 y se cumple)
CONTINUAMOS
~ (d ∨ e) =0 necesitamos que dentro del paréntesis sea 1 para que al negarlo nos de 0 y cumpla con la disyunción principal.
como tenemos el valor d=0, e debe ser 1
(0 v 1) = 1, negando esto es 0.
por si te perdiste:
[(a ∧ ~b) → d] ∨ ~ (d ∨ e) = 0
[(1 ∧ ~0) → 0] ∨ ~ (0 ∨ 1) = 0
[(1) → 0] ∨ ~ (1) = 0
[0] ∨ 0 = 0 y así se cumple el enunciado.
sin embargo los tres literales son verdaderos. Mira si los tienes bien copiados o te falta alguno.
Espero te sirva, cualquier duda puedes consultarme :)
Saludos
Esto lo puedes resolver por reducción a lo absurdo:
[(a ∧ ~b) → d] ∨ ~ (d ∨ e) = 0 para que esto sea falso tiene que darse así
(0 v 0) =0 Por lo tanto analizamos cada uno.
PRIMERO
[(a ∧ ~b) → d] =0 por ser un condicional la única forma que sea falso es así (1→0=0) ; siendo d=0
Por ello, (a ∧ ~b) =1 como es una conjunción tiene que ser 1∧1=1, entonces el valor de a =1 y b =0 (si niegas b te da 1 y se cumple)
CONTINUAMOS
~ (d ∨ e) =0 necesitamos que dentro del paréntesis sea 1 para que al negarlo nos de 0 y cumpla con la disyunción principal.
como tenemos el valor d=0, e debe ser 1
(0 v 1) = 1, negando esto es 0.
por si te perdiste:
[(a ∧ ~b) → d] ∨ ~ (d ∨ e) = 0
[(1 ∧ ~0) → 0] ∨ ~ (0 ∨ 1) = 0
[(1) → 0] ∨ ~ (1) = 0
[0] ∨ 0 = 0 y así se cumple el enunciado.
sin embargo los tres literales son verdaderos. Mira si los tienes bien copiados o te falta alguno.
Espero te sirva, cualquier duda puedes consultarme :)
Saludos
Preguntas similares
hace 6 años
hace 9 años
hace 9 años
hace 9 años
hace 9 años