Dein Beispiel ist untauglich, denn streng genommen ist auch das Trinken hier keine Notwendigkeit.
Denn diese Aussage beinhaltet nicht, dass man nicht auch durch andere Umstände ein Verdursten vermeiden könne.
Allgemein: Wenn gilt "Aus A folgt B", dann folgt daraus nicht "Aus nicht-A folgt nicht-B" sondern lediglich "Aus nicht-B folgt nicht-A".
Ich denke, genau diesen deinen logischen Fehlschluss hatte ich dir erst kürzlich erklärt, aber irgendwie hast du es
noch immer nicht kapiert.
Damit hast du nur noch einmal belegt, dass du nichts von Aussagenlogik verstehst.
Die ist unnötig, sofern man nicht glaubet. Aber eben nur dann.
Wenn man denn glaubet, muss man immer noch getaufet sein, um nicht verdammet zu werden. Kapieret?