Usuario:Drodriguezp/ejercicio 3 AB1

De Wikilibros, la colección de libros de texto de contenido libre.

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]

1.

 Para cada y, si y es menor que 9, entonces y es menor que 10.
 4 + 4 es menor que 9.
 Por tanto, 4 + 4 es menor que 10.
 P(y)= y < 9
 Q(y)= y < 10
 P(c)= 4 + 4 < 10
 
 (1)∀y,( P(y) → Q(y))      (Premisa)
 (2)P(c)                   (Premisa)
 (3)P(c)  →  Q(c)          (Particularizacion universal en 1 y 2)
 (4)Q(c)                (Modus Ponendo Ponens 2 y 3)