Edición de «Final del 26/12/12 (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 8: | Línea 8: | ||
== Ejercicio 3 == | == Ejercicio 3 == | ||
Usando la correctitud de la lógica | Usando la correctitud de la lógica propocisional, demostrar que si un conjunto de fórmulas <math>\Gamma</math> es satisfacible entonces es consistente. | ||
== Ejercicio 4 == | == Ejercicio 4 == |