Usuario:Alvaro Otero/ejercicio 27

  DEMOSTRAR QUE P<=>Q IMPLICA LOGICAMENTE A P=>Q

 SOLUCION

 (p<=>q)=>(p=>q)  <=>   [(p=>q)^(q=>p)] => (p=>q)
                       
                  <=>   ~[(p=>q)^(q=>p)] v (p=>q)

                  <=>   [~(p=>q)V~(q=>p)] v (p=>q)

                  <=>    V v (p=>q)

                  <=>    V 

como la proposición es verdadera esntoces el razonamiento es válido