dadas las siguientes proposiciones elizabeth cumple con sus obligaciones
Respuestas a la pregunta
Dadas las proposiciones sobre Elizabeth, la traducción literal de
a → ¬ [b → (¬c ∨ d)] es:
Si Elizabeth cumple con sus obligaciones, entonces no es cierto que, si aprueba el examen, en consecuencia, no se va de vacaciones o trabaja.
La proposiciones son:
a: Elizabeth cumple con sus obligaciones.
b: Elizabeth aprueba el examen.
c: Elizabeth se va de vacaciones.
d: Elizabeth trabaja.
e: Elizabeth no come.
Si revisamos por partes las proposiciones y ponemos en negrita los conectores lógicos, tenemos:
¬c ∨ d = no se va de vacaciones o trabaja
b → (¬c ∨ d) = si aprueba el examen, en consecuencia, no se va de vacaciones o trabaja.
Finalmente:
a → ¬ [b → (¬c ∨ d)] = Si Elizabeth cumple con sus obligaciones, entonces no es cierto que, si aprueba el examen, en consecuencia, no se va de vacaciones o trabaja.