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 159: | Línea 159: | ||
== Ejercicio 12 == | == Ejercicio 12 == | ||
===a)=== | ===a)=== | ||
Sea α Є Γ. Si v satisface a Γ, tambien satisface a α → α Є Con(Γ). Por lo tanto Γ | Sea α Є Γ. Si v satisface a Γ, tambien satisface a α → α Є Con(Γ). Por lo tanto Γ ≤ Con(Γ) | ||
===b)=== | ===b)=== | ||
Sea α Є Con(Γ1). Si v satisface a Γ2, tambien satisface a Γ1, luego a α → α Є Con(Γ2). Por lo tanto, Con(Γ1) | Sea α Є Con(Γ1). Si v satisface a Γ2, tambien satisface a Γ1, luego a α → α Є Con(Γ2). Por lo tanto, Con(Γ1) ≤ Con(Γ2) | ||
===c)=== | ===c)=== | ||
Sea α Є Con(Γ1) | Sea α Є Con(Γ1) | ||
Línea 171: | Línea 171: | ||
===d)=== | ===d)=== | ||
<br> | <br>≤) Sea α Є Con(Con(Γ)). Si v satisface a Con(Γ), tambien satisface a α. Si w satisface a Γ, tambien satisface a Con(Γ), luego a α → α Є Con(Γ). Por lo tanto Con(Con(Γ)) ≤ Con(Γ) | ||
<br> | <br>≥) Vale usando a) | ||
<br>→ Con(Con(Γ))=Con(Γ) | <br>→ Con(Con(Γ))=Con(Γ) | ||