Edición de «Parcial de Lógica Verano 2017 (LyC)»
De Cuba-Wiki
Revisión del 00:00 16 nov 2017 de Berocs (discusión | contribs.) (En el ejercicio 4, cambia Gamma_1 C Gamma_2 por Gamma_2 C Gamma_1. Esto es porque en la solución subida se resuelve el enunciado como si estuviese escrito eso, y le pusieron bien, haciendo parecer como que el enunciado decía originalmente eso.)
Advertencia: estás editando sobre una revisión antigua de esta página. Si la publicas, se perderá cualquier otro cambio realizado desde esa revisión.
Advertencia: no has iniciado sesión. Tu dirección IP se hará pública si haces cualquier edición. Si inicias sesión o creas una cuenta, tus ediciones se atribuirán a tu nombre de usuario, además de otros beneficios.