Aufgabe:
Zeigen Sie, dass {∀x Q(x) → P(y)} |< ∀x Q(x) → P(y) im Hilbertkalkül für Prädikatenlogik
Dabei sei |< das Zeichen für Herleitbarkeit.
Problem/Ansatz:
Hatte die Idee das ganz vielleicht mit Generalisierung und Deduktion auf Axiom 1 zurückzuführen, dann bleibt aber links noch eine Aussage stehen oder mit Deduktion, so dass sowas wie aus A folgt A dran steht rechts von dem herleitbarzeichen und A folgt A haben wir ja in der Vorlesung für das Hilbert Kalkül in der Prädikatenlogik gezeigt.
Vielen Dank und Liebe Grüße
