6˙1133
Ob ein Satz der Logik angehört kann man berechnen, indem
69
man die logischen Eigenschaften des Symbols berechnet.