Usuario:Drodriguezp/ejercicio 3 AB12

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]

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)