Respuesta :

It is equivalent to q -> p.