Examen diciembre 2020 3b

Examen diciembre 2020 3b

de Santiago Nicolas Diaz Conde -
Número de respuestas: 1

Buenas quería consultar si hay un error en la letra del examen de diciembre de 2020 en la parte 3b, ya que el bosquejo de la prueba en la letra es para una derivación distinta a la de la letra  (marcado en rojo), o hay algún concepto que estoy entendiendo mal? No faltarían mas pasos? Aplicando Ri4?

En respuesta a Santiago Nicolas Diaz Conde

Re: Examen diciembre 2020 3b

de Guillermo Calderon - InCo -

Hola Santiago:

La prueba es correcta con respecto a lo que plantea la letra.

El error está en el primer subrayado en rojo. Ahí debería aparecer lo mismo que aparece más arriba en la letra del examen:

  • \ldots \vdash (\exists x) P(x) \to (\forall y) P(y)

Gracias por avisar. Vamos a corregir la solución a la brevedad.