mostrar texto associado

A negação da proposição P→Q é logicamente equivalente à proposição ~P→~Q.