Usuario:Drodriguezp/ejercicio 3 B1

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

1.

 Si 2 es mayor que 1, entonces 3 es  mayor que 1.  
 Si 3 es mayor que 1, entonces 3 es mayor que 0.
 2 es mayor que 1.
 Por tanto, 3 es mayor que 0
 
 P= 2 es mayor que 1
 Q= 3 es mayor que 1
 R= 3 es mayor que 0

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