Question

Traduzca al lenguaje simbólico la proposición compuesta: "David consigue dinero y se compra el libro, sólo si cambia su cheque. Pero si no cambia el cheque, no puede pagar sus deudas. Por lo tanto, David compra el libro y paga sus deudas".

Answer 1

La traducción a lenguaje simbólico de la proposición es:

{ [ (A ∧ B) ← C ] ∧ (¬C → ¬D) } → (A ∧ D)

A: David consigue dinero

B: David se compra un libro

C: Cambia su cheque

D: Paga sus deudas

Recuerda: Debes identificar los conectores lógicos en el párrafo dado.

Luego de identificar las variables identificamos los conectores:

David consigue dinero y se compra el libro, sólo si cambia su cheque. Pero si no cambia el cheque, no puede pagar sus deudas. Por lo tanto, David compra el libro y paga sus deudas".

y : ∧  

si: ←

no: ¬

Por lo tanto: →