tag:blogger.com,1999:blog-1112902010781786887.post7973519448626865280..comments2012-11-20T07:52:06.174-08:00Comments on Verificación y Validación de Software: Principios de demostraciones de validezVanessa Salazar Lópezhttp://www.blogger.com/profile/00988402238600705967noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-1112902010781786887.post-78351252336307360432012-09-18T08:12:50.425-07:002012-09-18T08:12:50.425-07:00(∀g ∃h G(g) ^ H(h) ^ W(g, h)) ^ (∀h ∃g G(g) ^ H(h)...(∀g ∃h G(g) ^ H(h) ^ W(g, h)) ^ (∀h ∃g G(g) ^ H(h) ^ W(g, h)) sería una opción para una expresión verdadera: todas las chicas llevan sombreros y cada sombrero está puesta en una chica; en la tuya falta la y del segundo cuantificador universal. En tu segunda frase imagino que quieres decir ∃g G(g) ^ ∀ h ¬W(g, h) que sería "hay una chava que no lleva puesto ningún sombrero". Te quito un punto por el error de la primera y dos puntos por la confusión de la segunda, que ahora dice, con algunos errores de sintáxis, "existe una chava para la cual el que no tenga algo puesto significa que ese algo es un sombrero", con cuantificación faltante para y. 7 pts.Elisahttps://www.blogger.com/profile/18352845640659510670noreply@blogger.com