0 Daumen
191 Aufrufe

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

Avatar von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community