Prädikatenlogik/Ableitbar/Allquantor/Fakt/Beweis/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Symbolalphabet erster Stufe, ein -Ausdruck und eine Variable. Zeige, dass genau dann gilt, wenn gilt.

Zur Lösung, Alternative Lösung erstellen