Usuario:Drodriguezp/ejercicio 3 B3

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

3.

  Si x+0=y entonces x=y 
  x+0=y 
  Si x=y entonces x+2=y+2
  Por tanto, x+2= y+2
 
  P= x+0=y
  Q= x=y
  R= x+2=y+2

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