Edición de «Final del 22/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 1: | Línea 1: | ||
1) Demostrar que Gamma U {¬Phi} es inconsistente si y solo si Phi es consecuencia sintactica de Gamma. (En logica proposicional la demo). En la demo de la clase se usa un galerazo (un teorema de SP), que Santi dijo que se puede usar, o uno equivalente. | 1) Demostrar que Gamma U {¬Phi} es inconsistente si y solo si Phi es consecuencia sintactica de Gamma. (En logica proposicional la demo). En la demo de la clase se usa un galerazo (un teorema de SP), que Santi dijo que se puede usar, o uno equivalente. | ||