∣ –  
6˙1133
Ob ein Satz der Logik angehört kann man Be berechnen, in-
69
dem man die logischen Eigenschaften des Symbols berechnet.