5.46
Wenn man die logischen Zeichen richtig einführte, so hätte man damit auch schon den Sinn aller ihrer Kombinationen eingeführt; also nicht nur „p∨q“ sondern auch schon „~(p∨~q)“ etc. etc. Man hätte damit auch schon die Wirkung aller nur möglichen Kombinationen von Klammern eingeführt. Und damit wäre es klar geworden, dass die eigentlichen allgemeinen Urzeichen nicht die „p∨q “, „(∃x).fx“, etc. sind, sondern die allgemeinste Form ihrer Kombinationen.