Beispiele zur Aussagenlogik
Implikation: