Considere el siguiente programa lógico P
A(x) <- B(x, y), C(y)
<- B(x,x)
¿Cuál de las siguientes oraciones de primer orden es equivalente a P?
(A) A
(B) B
(C) C
(D) D
Respuesta: (C)
Explicación:
Cuestionario de esta pregunta
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