A =>B (A impliziert B):
A heißt hinreichend für B, B heißt notwendig für A.
Beispiel:
Wenn es regnet, sind Wolken am Himmel. Es regnet =>Wolken sind am Himmel.
Regen reicht aus, um sagen zu können, dass Wolken am Himmel sind. Wolken am Himmel sind notwendig, dass es regnen kann.
Andererseits gilt die Umkehrung nicht allgemein:
Wolken am Himmel impliziert noch lange nicht Regen. Und Regen ist daher auch nicht notwendig für Wolken, denn Wolken können auch ohne Regen am Himmel sein.