Usuario:Drodriguezp/ejercicio 3 B6

B. Simbolizar cada una de las proposicicones de los conjuntos siguientes y demostrar que la conclusion (la proposicion que empieza por "Por tanto...") es consecuencia logica.

P : Premisa
PP: Modus Ponendo Ponens

6.

  Si levanta aire humedo, entonces refrescará.
  Si refresca, entonces se formaran nubes.
  Se levanta aire humedo.
  Entonces se formaran nubes.

  P= Levanta aire humedo 
  Q= Refrescará 
  R= Formaran nubes

  (1) P → Q     (P)
  (2) Q → R     (P)
  (3) P         (P)
  (4) Q         (PP, 1 y 3)
  (5) R         (PP, 2 y 4)