Usuario:Drodriguezp/ejercicio 3 B4

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.[editar]

P : Premisa
PP: Modus Ponendo Ponens

4.

  Si x>y y y>z entonces x>z
  x>y y y>z
  Si x>z entonces x>10
  Por tanto, x>10

  P= x>y 
  Q= y>z 
  R= x>z
  
  (1) P ^ Q → R (P)
  (2) P ^ Q     (P)    
  (3) R → S     (P)
  (4) R         (PP, 1 y 2)
  (5) S         (PP, 3 y 4)