mostrar texto associado
A proposição Se x é um número par, então y é um número primo é equivalente à proposição Se y não é um número primo, então x não é um número par.