Question

dadas las siguientes proposiciones elizabeth cumple con sus obligaciones

Answer 1

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.