Usuario:Drodriguezp/ejercicio 3 AB2

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]

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)