Skip to main content
book: Logik
Book
Licensed
Unlicensed Requires Authentication

Logik

Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik
Language: German
Published/Copyright: 2020
Download eBook (PDF) Download eBook (EPUB)
Become an author with De Gruyter Brill
Explore this Subject How to publish with us
De Gruyter Studium
This book is in the series
De Gruyter Studium

About this book

This book comprises a basic and advanced course. The basic course introduces into propositional and predicate logic and the reconstruction of natural language arguments. The advanced course deals with predicate logic including metalogical results about (in)completeness and (un)decidability. Numerous exercises with downloadable solutions deepen the content. The second edition offers corrections of mistakes and didactical improvements.

  • für Einführungen und für Aufbaukurse
  • bietet anfängergerechte Einführung und Heranführung an fortgeschrittene formale Logik
  • Erklärung der Zusammenhänge zwischen alternativen logischen Notationen und Techniken
  • Zahlreiche Übungsbeispiele mit Lösungen

    • Author / Editor information

    Gerhard Schurz, Heinrich-Heine-Universität Düsseldorf.

    Supplementary Materials

    Topics

    • Publicly Available

      Frontmatter

      I
      Download PDF
    • Publicly Available

      Vorwort

      IV
      Download PDF
    • Publicly Available

      Vorwort zur zweiten Auflage

      VI
      Download PDF
    • Publicly Available

      Inhaltsverzeichnis

      VII
      Download PDF
    • Teil I: Grundkurs in Aussagenlogik und elementarer Prädikatenlogik
    • Requires Authentication Unlicensed
      Licensed

      1. Allgemeine Grundlagen

      1
      Download PDF
    • Sektion A: Aussagenlogik (AL)
    • Requires Authentication Unlicensed
      Licensed

      2. Junktoren und ihre Wahrheitstafeln

      33
      Download PDF
    • Requires Authentication Unlicensed
      Licensed

      3. Aussagenlogische Sprache

      45
      Download PDF
    • Requires Authentication Unlicensed
      Licensed

      4. Aussagenlogische Semantik I: Die Wahrheitstafelmethode

      55
      Download PDF
    • Requires Authentication Unlicensed
      Licensed

      5. Aussagenlogische Semantik II: Die Reduktio ad Absurdum Methode

      71
      Download PDF
    • Requires Authentication Unlicensed
      Licensed

      6. Rekonstruktion natursprachlicher Sätze und Argumente

      89
      Download PDF
    • Requires Authentication Unlicensed
      Licensed

      7. Wichtige Regeln und Theoreme der Aussagenlogik

      113
      Download PDF
    • Requires Authentication Unlicensed
      Licensed

      8. Deduktive Methode

      123
      Download PDF
    • Sektion B: Elementare Prädikatenlogik (PL)
    • Requires Authentication Unlicensed
      Licensed

      9. Grundlagen der Prädikatenlogik

      151
      Download PDF
    • Requires Authentication Unlicensed
      Licensed

      10. Die Sprache der Prädikatenlogik

      169
      Download PDF
    • Requires Authentication Unlicensed
      Licensed

      11. Rekonstruktion natursprachlicher Sätze in der PL

      175
      Download PDF
    • Requires Authentication Unlicensed
      Licensed

      12. Deduktive Methode in der Prädikatenlogik

      185
      Download PDF
    • Teil II: Aufbaukurs in Prädikatenlogik und Metalogik
    • Sektion C: Fortgeschrittene Prädikatenlogik (inklusive Aussagenlogik)
    • Requires Authentication Unlicensed
      Licensed

      13. Äquivalenzumformungen in der Aussagen- und Prädikatenlogik

      211
      Download PDF
    • Requires Authentication Unlicensed
      Licensed

      14. Beweistheorie: Kalkülarten in Aussagenund Prädikatenlogik

      233
      Download PDF
    • Requires Authentication Unlicensed
      Licensed

      15. Modelltheorie: Semantik der Prädikatenlogik

      273
      Download PDF
    • Requires Authentication Unlicensed
      Licensed

      16. Prädikatenlogik mit Identität und Funktionszeichen (PL=)

      295
      Download PDF
    • Requires Authentication Unlicensed
      Licensed

      17. Anwendungen der PL=

      309
      Download PDF
    • Sektion D: Metalogik
    • Requires Authentication Unlicensed
      Licensed

      18. Informelle und formelle Mengenlehre

      335
      Download PDF
    • Requires Authentication Unlicensed
      Licensed

      19. Induktive Beweise und Metatheoreme der PL

      357
      Download PDF
    • Requires Authentication Unlicensed
      Licensed

      20. Korrektheit und Vollständigkeit der PL

      377
      Download PDF
    • Requires Authentication Unlicensed
      Licensed

      21. Exkurs: Metalogik und die Grenzen der PL

      393
      Download PDF
    • Requires Authentication Unlicensed
      Licensed

      Literaturverzeichnis

      419
      Download PDF
    • Requires Authentication Unlicensed
      Licensed

      Symbol- und Abkürzungsverzeichnis

      424
      Download PDF
    • Requires Authentication Unlicensed
      Licensed

      Übersicht über Definitionen, Merksätze und Abbildungen

      426
      Download PDF
    • Requires Authentication Unlicensed
      Licensed

      Sachregister

      428
      Download PDF
    • Requires Authentication Unlicensed
      Licensed

      Personenregister

      434
      Download PDF

    Publishing information
    Pages and Images/Illustrations in book
    eBook published on:
    July 20, 2020
    eBook ISBN:
    9783110697391
    Paperback published on:
    July 20, 2020
    Paperback ISBN:
    9783110697148
    Edition:
    2nd rev. ed.
    Pages and Images/Illustrations in book
    Front matter:
    12
    Main content:
    435
    Illustrations:
    15
    https://doi.org/10.1515/9783110697391
    eBook ISBN: 9783110697391
    Paperback ISBN: 9783110697148
    Keywords for this book
    Semantics; logic; metalogic; predicate logic
    Audience(s) for this book
    Scholars, institutes, libraries
    Safety & product resources
    Manufacturer information:
    Walter de Gruyter GmbH
    Genthiner Straße 13
    10785 Berlin
    productsafety@degruyterbrill.com
    Downloaded on 7.5.2026 from https://www.degruyterbrill.com/document/doi/10.1515/9783110697391/html?lang=en
    Scroll to top button