Usuario:Drodriguezp/ejercicio 3 AB2

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.

2.

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

  P(x)= x > 4
  Q(x)= x > 3
  R(u)= ￢(1 + 1 > 3)
  
  (1) ∀x( P(x) → Q(x))   (Premisa)
  (2) P(u)               (Premisa)
  (3) P(u) → Q(u)        (Particularización del universal en 1)       
  (4) Q(u)               (Modus ponens 2,3)