Revelroom.ca te ayuda a encontrar respuestas confiables a todas tus preguntas con la ayuda de expertos. Conéctate con una comunidad de expertos dispuestos a ayudarte a encontrar soluciones a tus dudas de manera rápida y precisa. Obtén respuestas detalladas y precisas a tus preguntas de una comunidad dedicada de expertos en nuestra plataforma de preguntas y respuestas.

En la asignatura de "LOGICA" EN INFORMATICA me piden:

Demostrar:
a) ⊨ (∀xA → ∃xB) → ∃x(A → B)
b) ⊨ ∀x(A → B) →(∀xA → ∀xB)
c) ⊨ (∃xA → ∀xB) → ∀x(A → B)

 

¿Alguien me ayuda?

:)

Sagot :

[ ( x - a ) / ( x - b ) ] + [ ( x - b ) / ( x - a ) ] = ( a/b ) + ( b/a ), ... a ≠b ∴ { [ (x-a) / (x-b) ] - ( b/a ) } + { [ (x-b) / (x-a) ] - ( a/b ) } = 0 ∴ { [ a(x-a) - b(x-b) ] .