InformáticaBásico1 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?

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? : ).

En resumen

[ (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) ].

Mejor respuesta

Osm08ataqui
3

[ (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) ].