Edición de «Práctica 6: Árboles del Cálculo de Predicados (Lógica y Computabilidad)»
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 32: | Línea 32: | ||
==Ejercicio 02== | ==Ejercicio 02== | ||
==Ejercicio 03== | ==Ejercicio 03== | ||
Lo que nos piden ver es que si ⊨''φ'' entonces ⊨(∀''x'')''φ'' (la ida de la ''clausura universal''). Esto es lo mismo que ver que ⊨(''φ''→(∀''x'')''φ''). | Lo que nos piden ver es que si ⊨''φ'' entonces ⊨(∀''x'')''φ'' (la ida de la ''clausura universal''). Esto es lo mismo que ver que ⊨(''φ''→(∀''x'')''φ''). |