Usuario:Drodriguezp/ejercicio 3 AB5

A. Simbolizar los siguientes razonamientos utilizando simbolos logicos tipicos de la aritmetica tales como +,>,<,etc., adecuadamente.

B. Escribir una deduccion completa para cada uno de los razonamietos.

5.

 Para cada x, si x + 1 = 1 entonces x es menor que 1.
 0 + 1 = 1.
 Por tanto, 0 es menor que 1.

 P(x)= x + 1 = 1
 Q(x)= x < 1
 P(e)= 0 + 1

 (1) ∀x( P(x) →  Q(x)) (Premisa)
 (2) P(e)              (Premisa)
 (3) P(e) → Q(e)       (Particularización del universal en 1)
 (4) Q(e)              (Modus ponens 2,3)