Proměnná: Porovnání verzí

'''Proměnná''' je v [[logika|logice]], [[matematika|matematice]] a [[programování]] způsob [[symbol]]ické reprezentace objektů, který umožňuje zcela abstraktní manipulaci s nimi. Proměnná zastupuje libovolný myslitelný objekt z dané třídy. Manipulace s proměnnými a vztahy pro ně platné mohou být chápány jako manipulace s libovolnými objekty resp. vztahy platné pro všechny objekty. Pojem proměnné vznikl v matematice při řešení algebraických [[rovnice|rovnic]], až v moderní době se rozšířil i do jiných oborů.

 

V [[matematická logika|matematické logice]] je pojem proměnné základem veškeré [[syntaxe]]. [[Formule (logika)|Formule]] jsou definovány jako jisté výrazy obsahující proměnné. Platnost dané formule v nějakém [[model (logika)|modelu]] pak závisí na tom, jaké je zvoleno [[ohodnocení proměnných]]. Pro každé takové ohodnocení jsou proměnné interpretovány jako nějaké objekty příslušného modelu a formule v tomto ohodnocení platí, platí-li její interpretace o těchto objektech (podrobněji viz [[Tarského definice pravdy]]).