Edición de «Final 01/08/2017 (Paradigmas)»
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 9: | Línea 9: | ||
# Verdadero o falso: | # Verdadero o falso: | ||
## <math> \{P(x, y)\} </math> y <math> \{\lnot P(y, f(y))\} </math> no unifican | ## <math> \{P(x, y)\} </math> y <math> \{\lnot P(y, f(y))\} </math> no unifican | ||
## La Forma Normal de Skolem de <math> \forall x \forall y \exists z (P(x, z) \land \lnot P(y, z)) </math> es <math> \forall x \forall y (P(x, f(x)) \land \lnot P(y, f(y))) </math> | ## La Forma Normal de Skolem de <math> \forall x \forall y \exists z (P(x, z) \land \lnot P(y, z)) </math> es <math> \forall x \forall y \exists z(P(x, f(x)) \land \lnot P(y, f(y))) </math> | ||
## La Forma Normal de Skolem de <math> \forall x \forall y ((\exists z P(x, z)) \land (\exists z \lnot P(y, z))) </math> es <math> \forall x \forall y(P(x, f(x)) \land \lnot P(y, f(y)))</math> | ## La Forma Normal de Skolem de <math> \forall x \forall y ((\exists z P(x, z)) \land (\exists z \lnot P(y, z))) </math> es <math> \forall x \forall y(P(x, f(x)) \land \lnot P(y, f(y)))</math> | ||
# Explicar qué pasaría si re definimos (S-func) de la siguiente manera: <math> \frac{\sigma' <: \sigma \quad \tau' <: \tau}{\sigma \rightarrow \tau <: \sigma' \rightarrow \tau'} </math> | # Explicar qué pasaría si re definimos (S-func) de la siguiente manera: <math> \frac{\sigma' <: \sigma \quad \tau' <: \tau}{\sigma \rightarrow \tau <: \sigma' \rightarrow \tau'} </math> |