Una base de conocimiento contiene solo una oración, ∃x AsHighAs (x, Everest). Considere las siguientes dos oraciones obtenidas después de aplicar la instanciación existencial.
(a) AsHighAs (Everest, Everest)
(b) AsHighAs (Kilimanjaro, Everest)
¿Cuál de las siguientes es correcta con respecto a las oraciones anteriores?
(A) Tanto la oración (a) como la oración (b) son conclusiones sólidas.
(B) Tanto la oración (a) como la oración (b) son conclusiones poco sólidas.
(C) La oración (a) es correcta pero la oración (b) no lo es.
(D) La oración (a) no es sólida pero la oración (b) sí lo es.
Respuesta: (C)
Explicación:
prueba de esta pregunta
. Comente a continuación si encuentra algo incorrecto en la publicación anterior.
Publicación traducida automáticamente
Artículo escrito por GeeksforGeeks-1 y traducido por Barcelona Geeks. The original can be accessed here. Licence: CCBY-SA