Usuario:Drodriguezp/ejercicio 3 AB12

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.

12.

  Ningun triangulo congruente a ABC es equilatero.
  Solo los triangulos congruentes a ABC son congruentes a DEF.
  El triangulo GHI es equilatero.
  Por tanto, el triangulo GHI no es congruente a DEF.

  P(x)= x es un triangulo congruente a ABC
  Q(x)= x es equilatero.
  R(x)= x es congruente a DEF.
  Q(e)=  triangulo GHI

 (1)  ∀x( ￢P(x) → ￢Q(x))  (Premisa)
 (2)  ∀x(P(x) → R(x))     (Premisa)
 (3)  Q(e)                (Premisa)
 (4)  ￢P(e) → ￢Q(e)       (Paricularizacion del universal en 1 y 3)
 (5)