Otro problema lógico

Supongamos que tenemos dos proposiciones cualesquiera.

¿Es necesario que una implique a la otra?