Solución a Ejercicios

p representa "Se hizo el asado",
q representa "Todos vinieron a casa"
r representa "Tuvimos que comprar más vino"

& es la conjunción (el triangulito sin base)
- representa la negación (¡no se lee "menos"; se lee "no", "no es cierto que", etc.!)


¿Qué frases castellanas representan las siguientes fórmulas de la lógica proposicional?:

(i) (p ---> q)

 Si se hizo el asado, entonces todos vinieron a casa.


(ii) (-q  v r)


No todos vinieron a casa o tuvimos que comprar más vino.



(iii) (-q ---> -p)


Si no todos vinieron a casa, entonces no se hizo el asado.

(iv) -r


 No tuvimos que comprar más vino.


(v) (-q ---> -r)


Si no todos vinieron a casa, entonces no tuvimos que comprar más vino.


(vi) (-p v -q) ----> -r


Si no se hizo el asado o no todos vinieron a casa, entonces no tuvimos que comprar más vino.


(vii) -(q--->-p)


No es cierto que si todos vinieron a casa entonces no se hizo el asado.


(viii) (-p & -q)

No se hizo el asado y no todos vinieron a casa.
(Equivalentemente: Ni se hizo el asado ni todos vinieron a casa)

(ix) -(p & -q)

No es cierto que se haya hecho el asado y que no todos hayan venido a casa.