Einführung in die moderne Logik Cover Image

Book

Einführung in die moderne Logik / Franz von Kutschera, Alfred Breitkopf.

Kutschera, Franz von. (Author). Breitkopfმ, Alfred. (Co-Autor.).

Record details

ISBN: 3495472096
Physical Description: 1-193 S.
Edition: 6. Auflage.
Publisher: Freiburg/München : verlag Karl Alber , 1992.

Content descriptions

Formatted Contents Note:

1. Gegenstand und Bedeutung der Logik -- 2. Sätze und Satzverbindungen --3. Satzoperatoren -- 4. Aussagenlogische Schlüssel -- 5. Syntax und Semantik der Aussagenlogik -- 6. Eine axiomatische Theorie der Aussagenlogik -- 7. Widerspruchsfreiheit und Vollständigkeit -- 8. Namen, Prädikate und Quantoren -- 9. Syntax und Semantik der Prädikatenlogik -- 10. Eine axiomatische Theorie der Prädikatenlogik -- 11. Widerspruchsfreiheit und Vollständigkeit deraxiomatische Theorie L -- 12. Der Kalkül der semantischen Tafeln -- 13. Erweiterungen der Prädikatenlogik -- 14. Definitionen -- 15. Mengenlehre -- Lösung der Aufgaben -- Beweise -- Liste einfacher logischer Gesetze -- Bibliographie -- Symbolverzeichnis -- Sachregister.