Kurs:Einführung in die mathematische Logik (Osnabrück 2021)/Aussagenlogische Tautologie/Prädikatenlogische Ersetzung/Allgemeingültig/Aufgabe/Aufgabereferenznummer