TALLER DE LÓGICA PROPOSICIONAL

  

      1.       Sean p = "Luis lee la Prensa ", q = "Luis lee el Mundo" y r = " Luis lee el Universal". Escriba cada una de las siguientes proposiciones en forma simbólica.

      a)      Luis lee la Prensa o el Mundo, pero no el Universal.

Respuesta: (p v q) →r 

      b)    Luis lee la Prensa y el Mundo, pero no lee la Prensa y el Universal.

Respuesta: (p^q)→ ~(p^r)

      c)       No es cierto que Luis lee la Prensa pero no el Universal.

Respuesta: ~p → ~r

      d)      No es cierto que Luis lee el Universal o e! Mundo pero no la Prensa.

Respuesta: ~(r v q) → ~p