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