domingo, 16 de septiembre de 2012

Principios de demostraciones de validez

Esta es mi tarea 5 correspondiente a la clase de validación y verificación de Software. La tarea consistió en elegir un ejercicio del pdf logicination y resolverlo, el mio es el 4.18 sobre Fórmulas, situaciones e imágenes donde con una imagen podemos representar diferentes semánticas. 

Exercise 4.18 Consider the following picture:


Use G for the property of being a girl, H for the property of being a hat, and W for the relation of wearing (so that W xy expresses that x is wearing y). Now do the following:

(1) Give a predicate logical formula that is true for the situation in the picture.
(2) Give a predicate logical form

Ejercicio 4.18 considere la siguiente imagen, utilice:
  • G para la propiedad de ser una chica, 
  • H para la propiedad de ser un sombrero 
  • W para la relación de usando (para W(xy) expresa que x está usando y).
Ahora lo siguiente:

(1) Dar una fórmula de lógica predicada que es cierto para la situación en la imagen.

Para esta parte también utilizaremos nuevamente los cuantificadores, en este caso solo utilice uno de la siguiente manera:
  • : Todos, para todos
  • En la imagen se muestran diferentes enunciados que podrían representarse por lógica predictiva, esta es una de ellas: 
  • Todas las chicas están usando sombrero 
      x(Gx ^Hy ^Wxy)
(2) Dar una fórmula lógica predicada que es falsa por la situación en la imagen
  • Algunas chicas no usan sombrero.  
 Gx(¬Wxy->Hy )
 
 

1 comentario:

  1. (∀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.

    ResponderEliminar