Eine elementare Bemerkung über die Struktur logischer Formeln. (Q577752)

Bedient man sich im Aussagenkalkül der klammerlosen Schreibweise von \textit{Łukasiewicz}, indem man Aussagen mit kleinen lateinischen Buchstaben \(p\), \(q,\ldots\), \(Cpq\) gleichbedeutend mit ``\(p\) impliziert \(q\)'' und \(Np\) gleichbedeutend mit ``Non \(p\)'' schreibt, so wird jede Aussage eine geordnete Menge von \(C\), \(N\) und kleinen Buchstaben. Es gilt dann der folgende, vom Verf. bewiesene Satz: Damit eine endliche geordnete Menge \(\mathfrak M\) von \(C\), \(N\) und kleinen Buchstaben eine Aussage darstelle, ist notwendig und hinreichend, daß folgende Bedingungen erfüllt sind: 1) \(\mathfrak M\) enthält genau einen kleinen Buchstaben mehr als Symbole \(C\). 2) Jeder echte (d. h. nicht alle Elemente enthaltende) Anfangsabschnitt der geordneten Menge \(\mathfrak M\) enthält mindestens so viele \(C\) wie kleine Buchstaben. 3) Das letzte Element von \(\mathfrak M\) ist kein \(N\).