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”.
Respuestas
[(p ∧ q→r] ∧ [(¬r→¬o)]→ p∧o : “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”.
Definición de preposiciones simples:
p: David consigue dinero
q: se compra el libro
r: cambia su cheque
o: puede pagar sus deudas
Lenguaje natural de la exposición formal
p ∧ q↔ r: David consigue dinero y se compra el libro, sólo si cambia su cheque
(¬r→¬o)→ p∧o: Pero si no cambia el cheque, no puede pagar sus deudas. Por lo tanto, David compra el libro y paga sus deudas
[(p ∧ q→r] ∧ [(¬r→¬o)]→ p∧o : “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”.