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

Aus Wikiversity

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 "?