Respuestas
Respuesta dada por:
4
Respuesta:
Lógica Proposicional
[(q→p)→(r v -p)] ∧ (p ∧ r)
por le de la condicional
[-(q→p) v (r v -p)] ∧ (pvr)
[-(-q v p ) v (r v -p) ] ∧ (pvr)
por morgan
[(q∧-p) v r v-p ] ∧ (pvr)
acomodando
[((q∧-p) v -p) v r] ∧ (pvr)
por absorción
[ -p v r] ∧ ( p v r)
abstrayendo ( v r)
r v ( p ∧ -p)
obs: (p∧-p) ≡ F
luego
r v F
r
Saludos
Preguntas similares
hace 5 años
hace 5 años
hace 5 años
hace 8 años
hace 9 años
hace 9 años