Historial de revisiones de «Final del 17/05/18 (Lógica y Computabilidad)»

Saltar a: navegación, buscar

Selección de diferencias: marca las casillas correspondientes a las versiones a comparar y pulsa Intro o el botón de abajo.
Leyenda: (act) = diferencias con la versión actual, (ant) = diferencias con la versión anterior, m = edición menor.

  • (act | ant) 11:08 18 may 2018181.170.192.15 (discusión). . (417 bytes) (+417). . (Página creada con «=Ejercicio 1= Demostrar que si <math>\Gamma</math> conjunto de formulas de la logica proposicional tal que <math>\Gamma \subseteq FORM </math> es consistente entonces <mat...»)