Prädikatenlogik/Implikation/Existenzaussage/Aufgabe

Aus Wikiversity
Wechseln zu: Navigation, Suche

Im Kalkül der Prädikatenlogik sei ableitbar. Zeige, dass dann auch

ableitbar ist.
Eine Lösung erstellen