Contribuciones del usuario 190.194.153.24
De Cuba-Wiki
Para 190.194.153.24 discusión registro de bloqueos registros
22 dic 2014
- 16:0816:08 22 dic 2014 difs. hist. +630 N Final del 22/12/14 (Lógica y Computabilidad) 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 ...»
- 16:0716:07 22 dic 2014 difs. hist. 0 Lógica y Computabilidad →Finales
- 16:0616:06 22 dic 2014 difs. hist. −630 Final del 22/11/14 (Lógica y Computabilidad) Página blanqueada última
- 16:0616:06 22 dic 2014 difs. hist. +630 N Final del 22/11/14 (Lógica y Computabilidad) 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 ...»
- 16:0116:01 22 dic 2014 difs. hist. +113 Lógica y Computabilidad →Finales