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

Es sei $S$ ein Symbolalphabet erster Stufe, $\alpha$ ein $S$-Ausdruck und $x$ eine Variable. Zeige, dass $⊢\alpha$ genau dann gilt, wenn $⊢\mathrm{\forall }x\alpha$ gilt.

Zur Lösung, Alternative Lösung erstellen