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).
(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 )