Usuario:Alvaro Otero/ejercicio 7

   demostrar que el siguiente razonamiento es válido
          
     [(X => Y) ^ (Y => Z)] => (X => Z)

     SOLUCION

     segun el enunciado se cumple que

     1. (X => Y) ^ (Y => Z) por hipotesis

     2. X porque x=>y es verdadera

     3. x = y es verdadera

     4. y => z es verdadera por la parte 1

     5.  y es verdadera por 4

     6. z es verdadera por 4 y 5

     7. x => z es verdadera por 6