El siguiente enunciado proposicional es
(P → (Q v R)) → ((P ^ Q) → R)
(A) satisfacible pero no válido
(B) válido
(C) una contradicción
(D) ninguna de las anteriores
Respuesta: ( A)
Explicación: Creamos la tabla de verdad para el enunciado dado S como:
Una fórmula es satisfactoria si hay al menos una asignación para la cual es verdadera. Claramente, esta fórmula es satisfactoria ya que hay 7 asignaciones para las que es verdadera.
Una fórmula es válida si es verdadera para todas las asignaciones, lo que no es el caso aquí.
Por lo tanto, la opción (A) es correcta.
Comente a continuación si encuentra algo incorrecto en la publicación anterior.
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