search

IIC2213 / Syllabus-2021-1-

19 stars 2 forks source link

[Tarea 7] Dudas enunciado #73

Open VicenteMerino opened 3 years ago

VicenteMerino commented 3 years ago
  1. Hola profe, tengo una par de dudas. En la pregunta 1 dice:

image

Sin embargo aquí se omite las constantes, que por definición un vocabulario es la unión de constantes y relaciones por lo que si se omiten no estoy seguro de como interpretarlo. Me imagino que aquí las constantes vienen a ser d1,...,dn

  1. Me cuesta un poco entender que quiere decir las expresiones e. Si no lo estoy interpretando mal solo vienen a representar un lenguaje que cumple con las reglas descritas en el enunciado y que debe ser usado para responder la pregunta 3. Pero para efectos de definir la estructura o el vocabulario no deberían incidir mucho o si?
fprebolledo commented 3 years ago

Me sumo a vicente, no entiendo mucho la gracia de las expresiones ni la sintaxis en la que deberíamos escribir las restricciones de precalentamiento

juanreutter commented 3 years ago

  1. El vocabulario no tiene constantes. No entiendo bien la duda, pero si me ayudan la proceso (hay vocabularios solo con constantes, otros solo con relaciones, otros con ambas, este solo tiene relaciones).

  2. Creo que era un buen ejercicio, si van a tener que mostrarme como se define ese lenguaje usando lógica, que trataran de usar el lenguaje para expresar algunas cosas primero, solo para que se aseguren que parsearon todo bien. Para @fprebolledo: la sintaxis es la de los primeros bullets de la tarea. La gracia de estas expresiones es que te permiten expresar cosas que pasaron después de otra sin saber mucho de lógica (cosas así realmente se usan en lenguajes de stream, pero son mas complejas si)

juanreutter commented 3 years ago

Una cosa @VicenteMerino: las constantes NO son d1,...,dn. Estos van a ser los elementos de las estructuras, y como expliqué en clases, la lógica de primer orden nunca menciona explícitamente los elementos (por que la idea es que funciona para cualquier set de elementos con dominio D y conjuntos menor, TH, TA, HB, HA y no para un d1,...,dn en particular como ocurría con la lógica de proposiciones.

lewebe commented 3 years ago

Hola @juanreutter , entonces es como dice @VicenteMerino cuando pregunta si el lenguaje de expresiones "e" debe ser usado solamente para la pregunta 3 y no para definir la estructura (pregunta 1) y una fórmula satisfacible ssi... (pregunta 2)?

juanreutter commented 3 years ago

tal cual como lo dices, la 1 necesita solo la parte de las mediciones (y mas bien solo por lo conceptual) y la 2 tampoco necesita saber de las expresiones.