Usuario:Alvaro Otero/ejercicio 5

 Demostrar que p<=>~q no implica lógicamente a p=>q

  contruimos la proposición (p=>~q)=> (p=>q) y demostramos que no es una tautologia.

 p  q  ~q   p=>q    (p=>~q)    (p=>~q) =>(p=>q)

 v  v   f    v         f               f  

 v  f   v    f         v               v

 f  v   f    v         v               v

 f  f   v    v         v               v

El resultado no es una tautología por lo tanto la el razonamiento es falso.