Edición de «Final 13/12/2016 (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 56: | Línea 56: | ||
a. Es cierto que las clausulas {P(x,f(y)}, {P(y,y} no se pueden refutar ya que no unifican ? | a. Es cierto que las clausulas {P(x,f(y)}, {P(y,y} no se pueden refutar ya que no unifican ? | ||
b. Te daban dos formulas y decian que una era la Skolem de la otra. | b. Te daban dos formulas y decian que una era la Skolem de la otra. | ||
c. Dada G la Skolem de F. | c. Dada G la Skolem de F. |