1. (Mathématiques) Variable utilisée par un mutificateur.
2. (Programmation informatique) Variable associée à une valeur et un espace de stockage.
3. En mathématiques, et dans d'autres disciplines comprenant des langages formels dont la logique mathématique, une variable libre ou variable parlante est une notation qui spécifie à quelles places dans une expression mathématique une substitution peut avoir lieu. Cette idée est liée à celle de marque substitutive (un symbole qui sera plus tard remplacé par une chaîne de caractères), ou de caractère joker qui tient lieu de symbole non spécifié, qui s'oppose à la notion de variable muette ou variable liée.
4. En mathématiques, et dans d'autres disciplines comprenant des langages formels dont la logique mathématique, une variable libre est une notation qui spécifie à quelles places dans une expression une substitution peut avoir lieu. Elle s'oppose à la notion de variable muette (encore appelée variable liée).