Kurs:Einführung in die mathematische Logik/Aussagenlogik/Variablenbelegung/Ableitbarkeit/Fakt/Faktreferenznummer

Aufgabe 5.28 (Einführung in die mathematische Logik (Osnabrück 2021))