====== IMPLIKATION ======

- Ein Satz S1 impliziert einen Satz S2 genau dann, wenn es nicht möglich ist, S1 zu behaupten und S2 zu verneinen. (Grewendorf)