CGU-NET | UGC NET CS 2015 junio – III | Pregunta 24

¿Cuál de las siguientes es verdadera?
(A) El que resuelve dos cláusulas Horn no es una cláusula Horn
(B) El que resuelve dos cláusulas Horn es una cláusula Horn
(C) Si resolvemos un objetivo G negado contra un hecho o regla A para obtener la cláusula C, entonces C tiene meta literal positiva o no nula
(D) Si resolvemos una meta negativa G contra un hecho o regla A para obtener la cláusula C, entonces C tiene una meta literal positiva o nula

Respuesta: (B)
Explicación:

El resolutivo de dos cláusulas Horn no es una cláusula Horn. Falso

El resolutivo de dos cláusulas Horn es una cláusula Horn. Verdadero

Si resolvemos un objetivo G negado contra un hecho o regla A para obtener la cláusula C, entonces C tiene un objetivo literal positivo o no nulo. Falso

Si resolvemos un objetivo negado G contra un hecho o regla A para obtener la cláusula C, entonces C tiene literal positivo o objetivo nulo. Falso

Entonces, la opción (B) es correcta.
Cuestionario de esta pregunta