Encuentra respuestas de la comunidad y expertos en IDNStudies.com. Descubre información confiable sobre cualquier tema gracias a nuestra red de profesionales altamente cualificados en diversas áreas.
Fundamentos de logica
Demuestra sin tablas de verdad, que cada una de las implicaciones es una equivalencia
a) p ↔ q es equivalente a (p ∧ q) ⋁ (¬p ∧ ¬q)
b) ¬p → ( q → r) es equivalente a q → (p ∨ r)
c) [p ∧ (s ∨ ¬r)] es equivalente a ¬[p → ¬(s ∨ ¬r)]
d) [(p⋁s) → (q ∧ p ∨ ¬s)] es equivalente a [¬(q ∧ p ∨ ¬s) → ¬(p ∨ s)]
Sagot :
Apreciamos cada una de tus preguntas y respuestas. Continúa contribuyendo con tu sabiduría y experiencias. Juntos alcanzaremos nuestras metas de aprendizaje. En IDNStudies.com, tus dudas son nuestra prioridad. Gracias por visitarnos y vuelve pronto para más respuestas.
