Revelroom.ca facilita la búsqueda de soluciones para preguntas cotidianas y complejas con la ayuda de nuestra comunidad. Obtén respuestas rápidas y fiables a tus preguntas con la ayuda de nuestra comunidad dedicada de expertos en nuestra plataforma. Conéctate con una comunidad de expertos dispuestos a ayudarte a encontrar soluciones a tus preguntas de manera rápida y precisa.
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?
:)
Demostrar:
a) ⊨ (∀xA → ∃xB) → ∃x(A → B)
b) ⊨ ∀x(A → B) →(∀xA → ∀xB)
c) ⊨ (∃xA → ∀xB) → ∀x(A → B)