Edición de «Final del 11/12/14 (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 14: | Línea 14: | ||
Dar un conjunto de formulas <math>\Gamma</math> tal que <math>\Gamma</math> es valida sii el modelo que la satisface es infinito. | Dar un conjunto de formulas <math>\Gamma</math> tal que <math>\Gamma</math> es valida sii el modelo que la satisface es infinito. | ||
¿Existe una formula <math>\varphi</math> tal que <math>\varphi</math> es valida sii el modelo que la satisface es finito? ¿Por | ¿Existe una formula <math>\varphi</math> tal que <math>\varphi</math> es valida sii el modelo que la satisface es finito? ¿Por que ? |