Edición de «Práctica 7 (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 42: | Línea 42: | ||
==Ejercicio 07== | ==Ejercicio 07== | ||
===a)=== | ===a)=== | ||
===b)=== | ===b)=== | ||
Sup. que es posible. Tomemos Γ={φ1,φ2,φ3,..}. Sea φ' = "El dominio es finito". Entonces si tomamos por ej. {φ1,φ2}U{φ'}, es satisfacible ya que hay modelos que lo hacen valido. | Sup. que es posible. Tomemos Γ={φ1,φ2,φ3,..}. Sea φ' = "El dominio es finito". Entonces si tomamos por ej. {φ1,φ2}U{φ'}, es satisfacible ya que hay modelos que lo hacen valido. |