Einführung in die moderne Logik

Franz von Kutschera; Alfred Breitkopf

doi:10.5771/9783495860885

Keywords

Search publication

Bibliographic data

Copyright Year: 2016
ISBN-Print: 978-3-495-47209-5
ISBN-Online: 978-3-495-86088-5
Publisher: Karl Alber, Baden-Baden
Language: German
Pages: 219
Product Type: Monograph

Titelei/Inhaltsverzeichnis No access Pages 1 - 10
1. 1.1 Der Gegenstand der Logik No access
2. 1.2 Die Bedeutung der Logik No access
3. Übungsaufgaben No access
1. 2.1 Sätze No access
2. 2.2 Negation No access
3. 2.3 Konjunktion No access
4. 2.4 Adjunktion und Kontravalenz No access
5. Übungsaufgaben No access
1. 3.1 Der Begriff des Satzoperators No access
2. 3.2 Implikation No access
3. 3.3 Äquivalenz No access
4. 3.4 Vollständige Systeme No access
5. Übungsaufgaben No access
1. 4.1 Aussagenlogische Gültigkeit No access
2. 4.2 Ein Entscheidungsverfahren für die Aussagenlogik No access
3. 4.3 Semantische Bäume No access
4. Übungsaufgaben No access
1. 5.1 Syntax No access
2. 5.2 Semantik No access
3. Übungsaufgaben No access
1. 6.1 Der Kalkül No access
2. 6.2 Beweise No access
3. 6.3 Ableitungen No access
4. 6.4 Metatheoreme No access
5. Übungsaufgaben No access
1. 7.1 Widerspruchsfreiheit No access
2. 7.2 Vollständigkeit No access
1. 8.1 Die Struktur einfacher Sätze No access
2. 8.2 Der Alloperator No access
3. 8.3 Der Existenzoperator No access
4. 8.4 Mehrfaches Quantifizieren No access
5. Übungsaufgaben No access
1. 9.1 Syntax No access
2. 9.2 Semantik No access
3. 9.3 PrädikatenlogischeWahrheit und Gültigkeit No access
4. 9.4 Grundlegende semantische Theoreme No access
5. Übungsaufgaben No access
1. Übungsaufgaben No access
1. 11.1 Widerspruchsfreiheit No access
2. 11.2 Vollständigkeit No access
1. 12.1 Der Baumkalkül No access
2. 12.2 Die Adäquatheit des Kalküls No access
3. Übungaufgaben No access
1. 13.1 Identität No access
2. 13.2 Kennzeichnung No access
3. 13.3 Funktionen No access
4. Übungsaufgaben No access
1. 14.1 Die traditionelle Definitionslehre No access
2. 14.2 Begriffsanalyse und Explikation No access
3. 14.3 Definitionsformen No access
1. 15.1 Die naive Mengenlehre No access
2. 15.2 Elementare Mengenalgebra No access
3. 15.3 Logizismus No access
4. 15.4 Antinomien No access
5. Übungsaufgaben No access
1. A.1 Lösungen der Übungsaufgaben No access
2. 1. A.2.1 Aussagenlogik No access
  2. A.2.2 Prädikatenlogik No access
3. 1. A.3.1 Aussagenlogik No access
  2. A.3.2 Prädikatenlogik No access
Bibliographie No access Pages 209 - 212
Sachregister No access Pages 213 - 218
Symbolverzeichnis No access Pages 219 - 219