Eine erste Erweiterung der strikten Logik

Zusammenfassung

Die strikte Logik war so angelegt, daß nicht zu jeder Schlußregel die zugehörige implikative Form beweisbar ist (vgl. die ‚abschließende Bemerkung‘ S. 432). In § 164 wurde vorausschauend angemerkt, daß die zu den Schlußregeln R11 bis R13 gehörigen implikativen Formen nicht ohne Erweiterung des bisherigen Axiomensystems der Formen St1–10 herleitbar seien. Dasselbe gilt auch für eine Reihe weiterer, inzwischen hergeleiteter Schlußregeln. Es seien hier zunächst einmal die implikativen Formen zu R11 und zu den ersten beiden in der Aufgabe von S. 439 angeführten Schlußregeln herausgegriffen.