Aufgabe 11.21
Kurs:Einführung in die mathematische Logik (Osnabrück 2016)/Vorlesung 11 Prädikatenlogik/Es gibt/Implikation/Aufgabe