Vollfreie Variable
Vollfreie Variable bezeichnet eine Variable x in einem Ausdruck H der Prädikatenlogik, die an keiner Stelle von H quantifiziert vorkommt.
Das vollfreie Vorkommen einer Variablen x in einem Ausdruck H wird vielfach durch die Schreibweise H(x) angedeutet.
siehe auch: freie Variable, Variable (Logik)