A: ich bin morgen gesund B: ich gehe mit euch ins Kino A => B (Wenn ich morgen gesund bin, dann gehe ich mit euch ins Kino.)

Die Implikation ist richtig, wenn A und B zutreffen. Die Implikation ist falsch, wenn A zutrifft (ich bin morgen gesund), aber B (ich gehe mit euch ins Kino) nicht zutrifft. Soweit so logisch... Wieso aber ist die Implikation richtig, wenn A nicht zutrifft unabhängig vom Zustand von B? Also, wenn ich bin morgen nicht gesund und gehe ins Kino oder auch nicht, dann soll die Aussage auch wahr sein. Aber das stimmt doch nicht. Niemand weiß, ob ich wirklich ins Kino gegangen wäre, wenn ich gesund gewesen wäre...

Welches Fach ist das und wieso gilt die Prämisse?