Prädikatenlogik/Existenz/Variablenumformulierung/Fakt
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
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