Obtén soluciones a tus preguntas en Revelroom.ca, la plataforma de Q&A más rápida y precisa. Experimenta la conveniencia de obtener respuestas precisas a tus preguntas gracias a una comunidad dedicada de profesionales. Explora miles de preguntas y respuestas proporcionadas por una amplia gama de expertos en diversas áreas 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?
:)
Demostrar:
a) ⊨ (∀xA → ∃xB) → ∃x(A → B)
b) ⊨ ∀x(A → B) →(∀xA → ∀xB)
c) ⊨ (∃xA → ∀xB) → ∀x(A → B)