Prädikatenlogik/Existenzaussage/Doppelnegation/Aufgabe

Aus Wikiversity
Wechseln zu: Navigation, Suche

Zeige, dass in der Prädikatenlogik

ableitbar.

ist.
Eine Lösung erstellen