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

Definition 4.1 Bearbeiten

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

Blatt 9, Aufgabe 19 Bearbeiten

Hallo, bei 9.19 fehlt eine Klammer.

Satz 12.2 Bearbeiten

Muss es hier nicht "für alle  " heißen, statt "für alle  "?