Gegensatz zu "conditio sine qua non"

[Medicus domesticus]

die Juristen müssen logisch geschult sein, um stichhaltige Argumente vorbringen zu können

Da kam mir gerade das Lachen kurz hoch.. .., sorry Prudentius, aber das ist oft nicht der Fall. Logik und Juristen, ein Thema für sich. Juristen und Mathematik....oft wie Faust aufs Auge. Ich denke nur an die unsägliche Geschichte des OLG München..
Ich persönlich finde diese Rückgriffe, auch in der graphischen Symbolik, auf die Mathematik, unpassend. Ich bin ja als Mediziner auch Naturwissenschaftler (wenn ich allein an unsere Fächer bis zum Physikum zurückdenke: Physik für Mediziner, Chemie, Biochemie, Physiologie, später Biomathematik u.a... )

[Reisender]

Mir geht es eher um das Folgende:
A → ¬B
A
_
¬B

Man kann es durch ein Mengendiagramm veranschaulichen:
A → B
wird dargestellt durch einen Kreis A, der ganz in einem Kreis B liegt; mit Hilfsverb ausgedrückt: "A muss B sein."

Ich glaube nicht, dass das so funktioniert. Dass B immer dann der Fall ist, wenn A der Fall ist, bedeutet ja nicht, dass A immer B ist. Dass die Straße immer dann nass ist, wenn es regnet, bedeutet ja nicht, dass Regen eine nasse Strasse ist.