Usuario:Drodriguezp/ejercicio 3 B2

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

2.

 x+1=2
 Si x+1=2 entonces y+1=2
 Si y+1=2 entonces x=y
 Por tanto, x=y

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