Lo que sugiere que se debe reservar la implicación sólo a los casos en que la condición - A - es siempre verdadera