Eine Wetterregel, die immer stimmt

Eine “Wetterregel”
„Kräht der Hahn am Mist, ändert sich das Wetter oder es bleibt
wie es ist.
 
x[1] … der Hahn kräht am Mist
x[2] … das Wetter ändert sich

image

c ist eine Funktion der Liste der Wahrheitswerte WT, diese entsteht aus der Produktmenge WxW. Mit listify() verwendelt man  eine Menge in eine Liste. c ist eine Aussagenverknüpfung, die offenbar immer wahr ist. Man nennt so etwas Tautologie.