Erster Teil. Altern?re Aussagenlogik..- ? 1. Vorl?ufige Abgrenzung der Aussagenlogik.- 1. Abschnitt. Algebra der Logik..- I. Grundlegende Gesetze des Booleschen Verbandes.- ? 2. Einf?hrung.- ? 3. Der distributive Verband.- ? 4. Der Boolesche Verband.- ? 5. Erste Umformungen. K?rzungsgesetze.- ? 6. Die Elemente ? und ?.- ? 7. Die Verneinungsgesetze.- ? 8. Dualit?t.- II. Strukturelle Einblicke in die logische Algebra.- ? 9. Aussagenform. Vorl?ufiges zur Mitteilung in Fraktur.- ? 10. Die Umformungsregeln. ?quivalenzrelationen.- ? 11. Erste Nachweise durch Netzinduktion.- ? 12. Assoziate Aussagenform. Weitere Induktionsbeweise.- ? 13. Normalform.- ? 14. Ausgezeichnete Normalform.- III. Widerspruchsfreiheit, Vollst?ndigkeit und Entscheidungsdefinitheit der logischen Algebra.- ? 15. Kanonische Widerspruchsfreiheit.- ? 16. Gleichheit und ?bereinstimmung ausgezeichneter Normalformen.- ? 17. Vollst?ndigkeit.- ? 18. Entscheidungsdefinitheit.- ? 19. Gleichheitsklassen.- IV. Zus?tze zum Ausbau und zur Interpretation der logischen Algebra.- ? 20. Vorl?ufige Einf?hrung der altern?ren Implikation.- ? 21. Das Enthaltensein.- ? 22. Die Grundgesetze des Enthaltenseins.- ? 23. Das Enthaltensein als Grundrelation des Verbandes.- ? 24. Begriffslogik.- V. Algebra der ??-Logik.- ? 25. Begriffsnetz und Umformungsger?st f?r die Algebra der ??-Logik.- ? 26. Einige Herleitungen.- ? 27. Normalform und ausgezeichnete Normalreihe.- ? 28. Kanonische Widerspruchsfreiheit. Gleichheit und ?bereinstimmung ausgezeichneter Normalreihen.- ? 29. Vollst?ndigkeit und Entscheidungsdefinitheit.- 2. Abschnitt. Wertende Logik..- VI. Wahrheitswertung, Verkn?pfungsbasen.- ? 30. Einf?hrendes zum, Wahrheitswert.- ? 31. Die grundlegenden Wahrheitstafeln.- ? 32. Wahrheitsfunktionen. Wahrheitswertung.- ? 33. Die Beziehung der Wahrheitswertung zur Algebra der Logik.- ? 34. Bin?re Verkn?pfungen. Vorl?ufiges zur allgemeinen Aussagenform.- ? 35. ?bersicht ?ber die bin?ren Verkn?pfungen.- ? 36. Die Dualit?t.- ? 37. Begrlë
![Mathematische Gesetze der Logik I Vorlesungen ber Aussagenlogik [Paperback]](/itemImage/2/3/0/7/2_863914.jpg "Mathematische Gesetze der Logik I Vorlesungen ber Aussagenlogik [Paperback] xxx")