Edición de «Final del 05/08/13 (Lógica y Computabilidad)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 1: | Línea 1: | ||
=Ejercicio 1= | =Ejercicio 1= | ||
Línea 21: | Línea 19: | ||
2. Existe un conjunto <math>\Gamma</math> tal que <math>\Gamma \models A</math> sii A tiene universo finito. | 2. Existe un conjunto <math>\Gamma</math> tal que <math>\Gamma \models A</math> sii A tiene universo finito. | ||
3. El | 3. El conjutno <math>\Gamma</math> del ítem 1 necesariamente es infinito. |