Visa källa för Fria och bundna variabler

Inom [[matematik]]en, och andra relaterade områden, såsom [[predikatlogik]], är en '''fri variabel''' ett ospecificerat uttryck, såsom ''x'', för vilken inga restriktioner lagts. Om några restriktioner har lagts på variabeln kallas den '''bunden'''.  Notera att ett uttryck kan innehålla både fria och bundna variabler.

Som exempel kan vi titta på definitionen av derivata:

:<math>\lim_{h\rightarrow 0}\frac{f(x+h)-f(x)}{h},</math>

Här är x en fri variabel emedan ''h'' är bunden. Värdet av detta gränsvärde beror enbart på funktionen ''f'' och variabeln ''x''. Variabeln ''h'' är betecknar ett uttryck som går mot ett bestämt värde, 0, bunden till själva formeln. Vi kan byta ut funktionen ''f'' och välja valfri punkt ''x'' att beräkna gränsvärdet i, men ''h'' är ingenting vi kan välja. Den variabeln definieras i formeln och saknar betydelse utanför den.

== Allmänna källor ==
* {{Bokref|författarlänk=Wolfgang Rautenberg|titel=Einführung in die Mathematische Logik|länk=http://www.springerlink.com/content/978-3-8348-0578-2/|Auflage=3.|utgivare=[[Vieweg+Teubner förlag|Vieweg+Teubner]]|ort=[[Wiesbaden]]|år=[[2008]]|ISBN=978-3-8348-0578-2}}
* {{Bokref
|författare=H.-P. Tuschik, H. Wolter
|titel=Mathematische Logik – kurzgefaßt
|förlag=Spektrum, Akad. Verl.
|ort=Heidelberg
|år=2002
|ISBN=3-8274-1387-7
}}



[[Kategori:Matematisk logik]]