Hallo,
kann man eine Formel, die zusätzlich zu den gebundenen Variablen eine freie Variable enthält, in Pränexform bringen?
Denn die Skolemform darf ja nur gebundene Variablen enthalten.
Also was ist, wenn die Ausgangsformel eine freie Variable enthält?
Danke, Gruß Jan

in der bpf dürfen freie variablen vorkommen (10.6)
nur für die skolemform müssen die freien variablen gebunden werden - und das mit satz 10.12

Kleiner Zusatz, steht aber auch im Skript.
Es darf nur nicht sein, dass eine Variable einmal frei und einmal gebunden in der Formel vorkommt