Usuario:Drodriguezp/ejercicio 3 AB10

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]

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))