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 214: | Línea 214: | ||
== Ejercicio 16 == | == Ejercicio 16 == | ||
<br>←) Como Γ <math>\subseteq</math> Con(Γ), α ε Γ → α ε Con(Γ) → Γ|=α | <br>←) Como Γ <math>\subseteq</math> Con(Γ), α ε Γ → α ε Con(Γ) → Γ|=α | ||
<br>→) Sup. ¬(α ε Γ). Como Γ es MC → ¬α ε Γ. Entonces Γ | <br>→) Sup. ¬(α ε Γ). Como Γ es MC → ¬α ε Γ. Entonces es de la forma Γ = Γ'U{¬α}, y ademas Γ|=α → Γ'U{¬α}|=α → Γ es inconsistente → Γ es insatisfacible (ABS) | ||
== Ejercicio 17 == | == Ejercicio 17 == |