Prädikatenlogik/Existenzaussage/Doppelnegation/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass in der Prädikatenlogik

ableitbar

ist.
Eine Lösung erstellen