Elementare Aussagenlogik
Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare Prädikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universität München entstanden. Es basiert auf der Überzeugung, daß für Studierende der Informatik nicht nur ein anderer Aufb...
| Main Authors: | , |
|---|---|
| Format: | eBook |
| Language: | German |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1991, 1991
|
| Edition: | 1st ed. 1991 |
| Series: | Mathematik für Informatiker
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- I. Natürliches Begriffsfeld
- 1. Aussagen und Aussagenverbindungen
- 2. Aussageformen
- 3. Syntax der Aussageformen
- II. Wertverlauf
- 4. Tautologien und erfüllbare Aussageformen
- 5. Äquivalenz und Ordnung von Aussageformen
- 6. Die selbständige Rolle der Subjunktion
- III. Funktionale und Algebraische Aspekte
- 7. Aussagenlogische Funktionen
- 8 Repräsentantensysteme
- 9 Algebra der Aussageformen
- 10. Programmiersprachen: Fallunterscheidungskalkül
- IV. Formale Reduktionen
- 11. Auswertung und Teilauswertung „von außen“
- 12. Normalformen
- 13. Adjunktive und konjunktive Normalformen
- 14. Kanonische Normalformen
- 15. Die Resolventenmethode
- 16. Die Methode des Widerspruchs
- V. Formale Ableitungen
- 17. Gewinnung von Schlußregeln
- 18. Ableitungssysteme für Tautologien
- 19. Ableitungssysteme für Folgerungen
- 20. Kompaktheit
- VI. Modale Aussagenlogiken
- 21. Die Sprache der Modallogiken
- 22. Semantik modaler Logiken
- 23. Dimodale Logiken
- 24. Multimodale Logiken
- Hinweise zur Lösung der Aufgaben
- Aussagenlogische Operationen
- Tautologien
- Schlußregeln für Tautologien
- Schlußregeln für Folgerungen
- Modallogische Regeln und Gesetze
- Literatur und Quellen
- Namen- und Sachverzeichnis