forall x Dortmund
forall x: Dortmund is an adaptation and German translation of forall x: Calgary. As such, it is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity, the syntax of truth-functional (propositional) logic and truth-table semantics, the syntax of fir...
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | German |
| Published: |
[Place of publication not identified]
Simpson University
2021.
|
| Series: | Open textbook library.
|
| Subjects: | |
| Online Access: | Access online version |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- I Zentrale Begriffe der Logik
- II Wahrheitsfunktionale Logik
- III Wahrheitstabellen
- IV Natürliche Herleitung für die WFL
- V Die Logik erster Ordnung
- VI Interpretationen
- VII Natürliche Herleitung für die LEO
- VIII Modale Logik