Usuario:Drodriguezp/ejercicio 6-3

Ejercicio 3

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.

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.

 (1) ∀y( y < 9 → y < 10)  (Premisa)
 (2) 4+4 < 9              (Premisa)
 (3) 4+4 < 9   → 4+4 < 10 (Particularizacion universal 1 y 2)
 (4) 4+4 < 10            (Modus Ponendo Ponens 2 y 3)

2.

  Para cada x, si x es mayor que cuatro, entonces x es mayor que 3.
  Uno mas uno no es mayor que 3.