Sur certains sous-systèmes de la logique positive classique. (Q2595474)

Es seien \(F_1\), \(F_{2}\),\dots, \(F_{r}\) beliebige Funktoren (d. h. Zeichen für Wahrheitsfunktionen); \(S(F_1, F_2,\dots, F_r)\) bzw. \(L(F_1, F_2,\dots, F_r)\) bezeichne die Menge aller bzw. der identischen Formeln, die sich aus Wahrheitswertsveränderlichen mit Hilfe von \(F_{1}\), \(F_2\), \dots, \(F_{r}\) bilden lassen. Implikation, Äquivalenz, Disjunktion und Konjunktion wird der Reihe nach mit \(C\), \(E\), \(A\), \(K\) bezeichnet (Klammerfreie Schreibweise nach \textit{Łukasiewicz}). Dann werden ohne Beweis folgende Sätze ausgesprochen: (a) die Formeln (1) \(CCCpqCrsCtCCspCrp\), (2) \(CEpqCpq\), (3) \(CEpqCqp\), (4) \(CCpqCCqpEpq\) bilden ein Axiomensystem für \(L(C, E)\); (b) die Formeln (1)-(4) und (5) \(ECCpqqApq\) bilden ein Axiomensystem für \(L(C, E, A)\); (c) die Formern (1)-(5) und (6) \(EKpqECpqp\) bilden ein Axiomensystem für \(L(C, E, A, K)\). Die Beweise sollen auf folgenden Hilfssätzen über Normalformen beruhen: (d) jede Formel \(\alpha \in S(A)\) ist deduktionsgleich in bezug auf (1)-(5) einer Formel entweder von der Form \(A^{r-1}\prod\limits_{i=1}^{r}Ap_iq_i\), oder von der Form \(A^{r-1}\prod\limits_{i=1}^{r-1}Ap_iq_iAp_rAq_rq_{r+1}\); (e) jede Formel \(\alpha \in S(C, E, A)\) bzw. \(\alpha \in S(C, E, A, K)\) ist deduktionsgleich in bezug auf (1)-(5) bzw. (1)-(6) einer Formel von der Form \(E^{s-1}\prod\limits_{i=1}^{s}\alpha _i\) mit \(\alpha _i\in S(A)\); (f) jede Formel \(\alpha \in S(C, E)\) ist deduktionsgleich in bezug auf (1)-(4) einer Formel von der Form \(E^{s-1}\prod\limits_{i=1}^{s}\alpha _i\) mit \(\alpha _i\in S(C)\). Hierbei steht, falls \(F\) einen Funktor und \(\alpha _1\), \(\alpha _2\),\dots, \(\alpha _n\) Formeln bedeuten, \(F^n\) für \(\underset{n}{\underbrace{FF\ldots F}}\) und \(\prod\limits_{i=1}^{n}\alpha _i\) für \(\alpha _1\alpha _2\dots \alpha _n\). Entsprechende Sätze für \(S(E, A)\) werden ausgesprochen, aber ohne Angabe eines Axiomensystems.