Zum Lewisschen Aussagenkalkül. (Q2624154)

\textit{C. I. Lewis} gab ein Axiomensystem für die Grundzeichen \(p\cdot q\;(q\text{ und }q)\), \(\sim p\;(\text{nicht }p)\), \(U(p)\;(p\text{ ist unmöglich})\). Ein \(U\)-Zeichen in einer Formel \(\mathfrak F\) soll einem anderen übergeordnet heißen, wenn das zweite in der mit dem ersten beginnenden Teilformel von \(\mathfrak F\) enthalten ist. Eine nur aus Grundzeichen und Variablen aufgebaute Formel, die \(U\)-Zeichen enthält, in der aber kein \(U\) einem anderen übergeordnet ist, soll vom ersten Grade heißen. Verf. gibt ein Verfahren an, das darüber entscheidet, ob eine Formel ersten Grades aus den \textit{Lewis}schen Axiomen ableitbar ist oder nicht.