Kurs:Einführung in die mathematische Logik (Osnabrück 2021)/Forum

Aus testwiki

Version vom 23. Juli 2021, 22:38 Uhr von 2003:d3:5f01:e489:d96:df90:dc22:8831 (Diskussion) (Neuer Abschnitt →Satz 12.2)

(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Zur Navigation springen Zur Suche springen

Kurs:Einführung in die mathematische Logik (Osnabrück 2021)/Navigation Vorlage:Intro-Forum

Definition 4.1

In Definition 4.1 steht "Gamma^\vdash" (Gamma ausgeschrieben), müsste es nicht "\Gamma^\vdash" heißen?

Blatt 9, Aufgabe 19

Hallo, bei 9.19 fehlt eine Klammer.

Satz 12.2

Muss es hier nicht "für alle $n \in N$ " heißen, statt "für alle $n \in ℕ$ "?

Abgerufen von „https://de.wikiversity.beta.math.wmflabs.org/w/index.php?title=Kurs:Einführung_in_die_mathematische_Logik_(Osnabrück_2021)/Forum&oldid=1131“