Prädikatenlogik/Existenzaussage/Doppelnegation/Aufgabe

Zeige, dass in der Prädikatenlogik

ableitbar ist.