Diskussion:Kompendium zu verschiedenen Aspekten der Strengen Logik/ Mittelteil

Betreffend die Gewichtungen für die unableitbaren Formeln der dritten und vierten Stufe

Die Gewichtungen der dritten und vierten Stufe für unableitbare Formeln sind auch einfacher mittels folgendem zu erhalten:

"Eine Übersicht über die vier Stufen gibt das folgende dargestellte Bild. Für jede höhere Stufe ergeben sich mehr mögliche Gleichstellen, beginnend mit $0$, $4$ und $12$, und endend mit $32$ Gleichstellen, wenn man alle möglichen Geltungswertnormalformeln der zugehörigen Stufe rechnet und jeweils die niedrigere Stufe verdoppelt."

Übersicht über die ersten vier Stufen der Strengen Logik in einem Bild durch Untermengen dargestellt.

Dies sollte entsprechend ausgeführt werden und der längere Weg durch Kombinatorik nur ausklappbar sein. Zudem sollten auch entsprechende Grafiken eingebunden werden. 123qweasd-tk 10:29, 13. Okt. 2025 (CEST)