Dagegen ist es eine wirkliche Schwierigkeit, daß das Folgen immer gebunden scheint an den || verbunden scheint mit dem Kalkül der Wahrheitsfunktionen.