Edición de «Práctica 4 (LyC Verano)»
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 204: | Línea 204: | ||
== Ejercicio 15 == | == Ejercicio 15 == | ||
===a)=== | ===a)=== | ||
===b)=== | ===b)=== | ||
Sup. que no es maximal. Entonces hay una formula α tal que al agregarla no se pierde la consistencia. Sup. que ¬α ε Γ, con lo cual Γ|=¬α. Pero entonces si tomamos ΓU{α}, se cumple que ΓU{α}|=¬α, con lo cual no es consistente -> Γ no es satisfacible (ABS) | Sup. que no es maximal. Entonces hay una formula α tal que al agregarla no se pierde la consistencia. Sup. que ¬α ε Γ, con lo cual Γ|=¬α. Pero entonces si tomamos ΓU{α}, se cumple que ΓU{α}|=¬α, con lo cual no es consistente -> Γ no es satisfacible (ABS) |