Ich unterstütze ja den einen oder die andere Studierende:n mal bei Themen wie Logik, Statistik und Aufbau von schriftlichen Arbeiten. Aktuell geht es um logische Fehlschlüsse, insbesondere die fehlerhafte Umkehr von A → B zu ¬A → ¬B. 

Bleibt man hier im Bereich der formalen Logik, ist das zwar nachvollziehbar, aber nicht sehr anschaulich. Deutlich weniger wissenschaftlich, dafür aber eingängiger ist der folgende Witz, der das Problem recht klar zeigt.

Zwei Personen treffen sich in der Bar. Fragt der eine

A: Was machst denn von Beruf?

B: Ich bin Logiker! 

A: Was ist das denn?

B: Ich erklär's mal an nem Beispiel. Hast Du ein Aquarium?

A: Jo!

B : Dann hast sicher auch Fische?

A: Klar.

B: Wenn Du Fische hast, dann magst sicher auch Tiere?

A: Klar

B: Wenn Du Tiere magst, dann würdest sie sicher auch nicht quälen?

A: Natürlich nicht.

B : Siehst du, so kann ich schlussfolgern, dass Du gut zu Tieren bist. Reine Logik!

A: Wow, das ist ja cool!

Am Abend trifft A einen Bekannten (C). 

A: Ich hab heute nen Logiker getroffen!

C: Logiker? Was ist denn das?

A: Ich erklär's Dir. Hast Du ein Aquarium?

C: Nö, warum?
A: Du TIERQUÄLER!!!

Es zeigt sich hier recht klar, dass aus einer Negierung der Antezedenz keine Negierung der Conclusio folgt. Durch die Absurdität prägt es sich auch recht gut ein. Und man kann im weiteren Verlauf auf entsprechende Fehler mit einem "Du TIERQUÄLER!!!" reagieren, was deutlich abwechslungsreicher ist, als stumpf auf die Verletzung der formalen Logik hinzuweisen.