Usuario:Drodriguezp/ejercicio 3 AB5

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda

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

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

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)