Description |
1 online resource |
Series |
Open textbook library |
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 |
Summary |
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 first-order (predicate) logic with identity and first-order interpretations, formalizing German in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as the syntax and (Kripke-)semantics of modal logic. The book is provided in PDF and in LaTeX source code. A booklet with solutions for all exercises in the book is available |
Notes |
Attribution |
|
In German |
|
Description based on print resource |
Subject |
Humanities -- Textbooks
|
|
Philosophy -- Textbooks
|
Form |
Electronic book
|
Author |
Wimmer, Simon author
|
|
Open Textbook Library, distributor.
|
|