Usuario:Alvaro Otero/ejercicio 2

  Demostrar que p <=> q es equivalente a (p v q) => (p^q)

  p  q   p<=>q    pvq   p^q    (pvq)=>(p^q)

  v  v     v       v     v          v

  v  f     f       v     f          f

  f  v     f       v     f          f

  f  f     v       f     f          v

           1                        2

 como las columnas 1 y 2 son iguales entonces las dos proposiciones son equivalentes