BONJOUR à toi aussi.
Dans un dictionnaire tu trouveras surement la définition de l'implication.

Si tu as A alors nécessairement tu as B.

pour le bonjour j'ai tout bêtement oublié, et j'en suis navré.
On dira BONSOIR dans ce cas.

cependant, si on a pas A et on a B, a implique B.

si tu n'as pas A et que tu as B cela prouve que A n'implique pas B (i.e. on a la négation de A implique B), tout simplement.