Usuario:Drodriguezp/ejercicio 3 B5

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

5.

  Si x=y y y=z entonces x=z
  Si x=z entonces z=x
  x=y y y=z
  Por tanto, z=x

  P= x=y
  Q= y=z
  R= x=z
  S= z=x

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