La siguiente regla de resolución se utiliza en la programación lógica.
Derive clause (P ∨ Q) from clauses (P ∨ R), (Q ∨ ¬R)
¿Cuál de las siguientes afirmaciones relacionadas con esta regla es FALSA?
(A) ((P ∨ R) ∧ (Q ∨ ¬R)) ⇒ (P ∨ Q) es lógicamente válido
(B) (P ∨ Q) ⇒ ((P ∨ R)) ∧ (Q ∨ ¬R)) es lógicamente válida
(C) (P ∨ Q) es satisfacible si y solo si (P ∨ R) ∨ (Q ∨ ¬R) es satisfacible
(D) (P ∨ Q) ⇒ FALSO si y solo si tanto P como Q son insatisfactorio
Respuesta: (A)
Explicación: La opción (A) en sí misma es una definición de resolución.
Entonces la opción (A) es correcta.
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