Die Axiomatisierung der implikativkonjunktiven Deduktionstheorie. (Q2610752)

Es wird bewiesen: Jede wahre Formel \(\mathfrak{A}\) des Aussagenkalküls, in welcher außer Variablen nur das Implikations- und das Konjunktionszeichen auftreten, ist mittels der Einsetzungs- und Abtrennungsregel aus folgenden vier voneinander unabhängigen Formeln ableitbar (``\textit{Cpq}'' bzw. ``\textit{Kpq}'' bedeuten ``\textit{wenn p, so q}'' bzw. \textit{p und q}''): (1) \textit{CCCpqCrsCtCCspCrp}, (2) \textit{CKpqq}, (3) \textit{CKpqp}, (4) \textit{CpCqKpq}. Der Beweis erfolgt durch Induktion in bezug auf die Anzahl \(n\) der \(K\)-Zeichen, die in \(\mathfrak{A}\) auftreten. Für \(n=0\) ist, wie \textit{Lukasiewicz} schon früher gezeigt hat, die Formel \(\mathfrak{A}\) aus (1) allein ableitbar.