Wir können eine Wenn-Dann Aussage als Implikation auffassen:

"Wenn es nachts ist, dann ist die Katze schwarz" bzw. "Es ist nachts" \(\Rightarrow\) "Katze ist schwarz."

Diese Folgerung ist immer wahr, wenn es nicht nachts ist, denn darüber wurde keine Aussage getroffen. Sie ist auch dann wahr, wenn es nachts ist und die Katze schwarz. Nur in dem Fall, dass es nachts ist und die Katze nicht schwarz ist, ist die Folgerung falsch.

Im Venn-Diagramm ist nur die Schnitfläche von nacht und Katze nicht schwarz in der Farbe für falsch, die anderen drei Flächen sind inder Farbe für wahr.