Diferencia entre revisiones de «Final del 22/11/14 (Lógica y Computabilidad)»
De Cuba-Wiki
(Página creada con «1) Demostrar que Gamma U {¬Phi} es inconsistente si y solo si Phi es consecuencia sintactica de Gamma. (En logica proposisional la demo). En la demo de la clase se usa un ...») |
(Página blanqueada) |
||
Línea 1: | Línea 1: | ||