Einfuhrung in die angewandte Logik / von Theodor G. Bucher.

Format:

Book

Author/Creator:

Bucher, Theodor G.

Series:

Sammlung Göschen

Sammlung Goschen ; 2231

Sammlung Göschen ; 2231

Language:

German

Subjects (All):

Logic.

Logic, Symbolic and mathematical.

Physical Description:

1 online resource (536 p.)

Edition:

2. erw. Aufl.

Place of Publication:

Berlin : Walter de Gruyter, 1998.

Language Note:

German

Summary:

Keine ausführliche Beschreibung für "Einführung in die angewandte Logik" verfügbar.

Contents:

Frontmatter

0. Logik und Wahrheit

1. Einige Grundbegriffe der naiven Mengenlehre

2. Die Aussagenlogik. 2.1 Die Formalisierung von Aussagen

2. Die Aussagenlogik. 2.2 Die Formalisierung von Aussagenverknüpfungen

2. Die Aussagenlogik. 2.3 Klammerregeln

2. Die Aussagenlogik. 2.4 Die Wahrheitsfunktionen

2. Die Aussagenlogik. 2.5 Die Auswertung der Wahrheitsfunktionen

2. Die Aussagenlogik. 2.6 Die Deduktion

2. Die Aussagenlogik. 2.7 Konjunktive Normalform

2. Die Aussagenlogik. 2.8 Annahmen

2. Die Aussagenlogik. 2.9 Reduktion von Funktoren

2. Die Aussagenlogik. 2.10 Polnische Notation

2. Die Aussagenlogik. 2.11 Theorie und Metatheorie

3. Die aristotelische Logik

4. Der elementare Prädikatenkalkül

5. Die Relationen

6. Modallogik

Anhang: Wahrheitsmatrizen der Modallogik

Lösungen. Teil 1

Lösungen. Teil 2

Ausgewählte Bibliographie

Verzeichnis der logischen Zeichen

Sachverzeichnis

Regeln

Notes:

Description based upon print version of record.

Includes bibliographical references and index.

Description based on online resource; title from PDF title page (publisher's Web site, viewed 08. Jul 2019)

ISBN:

9783110812787

3110812789

OCLC:

794664398