Prädikatenlogik/Existenz/Variablenumformulierung/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Ausdruck über einem erststufigen Symbolalphabet und seien Variablen. Die Variable komme in nicht und die Variable komme in allenfalls frei vor.

Dann ist

Zum Beweis, Alternativen Beweis erstellen