«Si X, entonces Y a menos que Z» esté representado por cuál de las siguientes fórmulas en lógica proposicional?
(A) (X ∧ Y) → ¬ Z
(B) (X ∧ ¬ Z) → Y
(C) X → (Y ∧ ¬ Z)
(D) Y → (X ∧ ¬ Z)
Respuesta: (B)
Explicación : Si X entonces Y está representado por X → Y una condición más es a menos que Z, se incluirá en X, entonces X entonces Y a menos que Z esté representado por (X ^ ¬Z) → Y.
Entonces, la opción (B) es correcto.
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