Prädikatenlogik/Ausdrücke/Substitution/Quantor/Bemerkung

Die sonderbare Bedingung in Definition im Quantorenfall mit der „Hilfsvariablen“ bedeutet insbesondere: Wenn in keine der Variablen frei vorkommt, so ist die Indexmenge der „relevanten Variablen“ leer und damit auch die Menge der „relevanten Terme“. In diesem Fall kommt auch nicht in dieser Menge vor und somit ist als Hilfsvariable zu nehmen, und es ist

nach Aufgabe.