Barrapunto

Te equivocas, eso sólo ocurre en una doble implicación (del tipo "si y sólo si..."), en una implicación simple la falsedad del antecedente no infiere nada en absoluto. Distinto es si niegas la conclusión. A saber:

A -> B. Ésto es lo mismo que decir que ¬B -> ¬A.

Osea, la forma directa de una implicación equivale a su contrarrecíproca y la forma contraria de una implicación equivale a la recíproca.

Perdón por el off-topic pero viernes noche+examenes son una combinación peligrosa :P