Examen diciembre 2020 3b

Re: Examen diciembre 2020 3b

de Guillermo Calderon - InCo -
Número de respuestas: 0

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.