Die in der Vorlage vorhandene fachlich falsche Bündelung von freier und unabhängiger Variable habe ich entfernt. Wenn, dann müssen freie und gebundene Variable gemeinsam behandelt werden. Und das sollten wir dem Artikel "Variable (Logik)" überlassen und die Begriffe freie wie gebundene Variablen im Artikel vermeiden. Warum, wieso weshalb kann bei Bedarf ergänzt werden. Fazit : Fachlichen Fehler beseitigt und Unnötiges, ja sogar missverständliches beseitigt. -- KaliNala 14:22, 26. Okt. 2013 (CEST)