Edición de «Final del 22/12/14 (Lógica y Computabilidad)»
De Cuba-Wiki
Revisión del 16:08 22 dic 2014 de 190.194.153.24 (discusión) (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 ...»)
Advertencia: estás editando sobre una revisión antigua de esta página. Si la publicas, se perderá cualquier otro cambio realizado desde esa revisión.
Advertencia: no has iniciado sesión. Tu dirección IP se hará pública si haces cualquier edición. Si inicias sesión o creas una cuenta, tus ediciones se atribuirán a tu nombre de usuario, además de otros beneficios.