Usuario:Alvaro Otero/ejercicio 4

  Demostrar que el razonamiento directo es válido

  El razonamiento directo esta dado por 

  (p ^ (p=>q)) => q demostramos que esta es una tautologia

    p  q  p=>q   p^(p=>q)     (p^(p=>q))=>q

    v  v    v      v                     v

    v  f    f      f                     v 

    f  v    v      f                     v

    f  f    v      f                     v

 como el resultado son todos verdadero entonces es una tautología y por la tanto el razonamiento es válido