Usuario:Drodriguezp/ejercicio 3 AB10

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.

10.

  Para cada x, si x es mayor que 2, entonces x + 2 es mayor 2.
  Para cada x, si x + 1 es mayor que 2, entonces x + 2 es mayor que 2.
  Por tanto, 2 + 2 es mayor que 2.

  P(x)= x > 2
  Q(x)= x + 2 > 2
  R(x)= x + 1 > 2

  (1)∀x(P(x) → Q(x))
  (2)∀x(R(x) → Q(x))