search

IIC2213 / Syllabus-2021-1-

19 stars 2 forks source link

[Tarea 7] Formula pregunta 3 #77

Open jfuentesg26 opened 3 years ago

jfuentesg26 commented 3 years ago

Hola! Es válido que la fórmula de la pregunta 3 tenga la forma alpha(x) o debe alpha debe ser necariamente una oración? Muchas gracias!

juanreutter commented 3 years ago

Debería ser una oración, por que intuitivamente alpha(x) va a ser verdad o mentira en un punto de la medición en particular, y tu quieres que sea verdad o mentira para la medición en general (mira la parte en que defino la semantica de las expresiones, abajo de los bullets)