Prädikatenlogik/Implikation/Existenzaussage/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

ableitbar ist.
Eine Lösung erstellen