Considere la siguiente fórmula lógica de primer orden en la que R es un símbolo de relación binaria.
∀x∀y (R(x, y) => R(y, x))
la fórmula es
(A) satisfacible y válida
(B) satisfacible y su negación también
(C) insatisfactoria pero su negación es válida
(D) satisfacible pero su negación no es satisfactoria
Respuesta: (B)
Explicación:
Esta solución es aportada por .
Una solución más:
Esta solución es aportada por .
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