Prädikatenlogik/Implikation/Existenzaussage/Aufgabe

Aus Wikiversity

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

ableitbar ist.