Da die Tautologien, z.B. ⊢p ⌵ ~p, ja doch nicht die Funktion gewöhnlicher Sätze haben so ist nicht einzusehen, warum wir nicht ◇◇◇ Sätze mit noch ˇganz andern Funktionen verwenden sollen. // mit noch weit verschiedenen Funktionen verwenden sollen. //