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!
|
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | OTLid0001140 | ||
| 003 | MnU | ||
| 005 | 20240122145230.0 | ||
| 006 | m o d s | ||
| 007 | cr | ||
| 008 | 220219s2021 mnu o 0 0 ger d | ||
| 040 | |a MnU |b eng |c MnU | ||
| 050 | 4 | |a B72 | |
| 245 | 0 | 0 | |a forall x |b Dortmund |c Simon Wimmer |
| 264 | 2 | |a Minneapolis, MN |b Open Textbook Library | |
| 264 | 1 | |a [Place of publication not identified] |b Simpson University |c 2021. | |
| 264 | 4 | |c ©2021. | |
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 0 | |a Open textbook library. | |
| 505 | 0 | |a 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 | |
| 520 | 0 | |a 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. | |
| 542 | 1 | |f Attribution | |
| 546 | |a In German. | ||
| 588 | 0 | |a Description based on print resource | |
| 650 | 0 | |a Humanities |v Textbooks | |
| 650 | 0 | |a Philosophy |v Textbooks | |
| 700 | 1 | |a Wimmer, Simon |e author | |
| 710 | 2 | |a Open Textbook Library |e distributor | |
| 856 | 4 | 0 | |u https://open.umn.edu/opentextbooks/textbooks/1140 |z Access online version |