En la solución dice:
Lema1 (Para todo Gamma) incluído en Prop, Cons (Gamma) es teoría.
(Propiedad vista en el curso).
¿En que parte está esto? no lo he encontrado.
Gracias
[Julio2012][Ej.4] Demostración de parte a.
Número de respuestas: 2
En respuesta a Andres Sebastian Bentos Gomez
Re: [Julio2012][Ej.4] Demostración de parte a.
de Fernando Carpani -
Hola.
OK... no está en las transps como propiedad propiamente dicha... y sin embargo, la definición de Teoría, dice:
teoría sii 
... y con eso alcanza...
Si quieren es una versión de 
...
Saludos
FDO.
En respuesta a Fernando Carpani
Re: [Julio2012][Ej.4] Demostración de parte a.
Gracias por la respuesta.
andrés