Zum Text L22.fm.3 Vorwort zur HTML-Fassung, April 2016/17 L22.fm.2 Vorwort zur HTML-Version 2002 L22.fm.1 Vorwort zur 1. Auflage, 1999 Herleitung L2.2.a.7-8 Schluss L2.2.b.9-10 Das B L2.2.c.11-14 Sätze L2.2.ca.14-16 Wahrheitswertetabelle L2.2.d.16-105 Herleitungen L2.2.da.21-39 1a bis 1k L2.2.daa.22-27 ÄquivalentSchluss L2.2.dab.28-39 Schluss mit echter eingeschränkter Prämisse L2.2.db.40-49 2a bis 2k L2.2.dc.49-59 3a bis 3k L2.2.dd.59-65 4a bis 4k L2.2.de.65-81 5a bis 5k L2.2.dea.68-73 Ungelöste Schlüsse aus Logik 1 L2.2.deb.76-81 Schlüsse, die in Logik 1 in zwei Bereiche geteilt werden mußten L2.2.df.82-91 6a bis 6k L2.2.dg.91-95 7a bis 7f L2.2.dh.95-98 8a bis 8f L2.2.di.98-102 9a bis 9f L2.2.dk.102-105 10a bis 10f L2.dl Java-Applet "Herleitung" L2.dm Wahrheitswertetabelle oder das Wahre und das Falsche in den 10 Satzuniversen L2.dn Schlusstabelle