variabile libera

variabile libera

variabile libera in logica, variabile che compare in una formula ben formata di un linguaggio logico e che ha in essa almeno una occorrenza libera, cioè al di fuori del campo d’azione di ogni quantificatore che compare nella formula. Per esempio nella formula ∀y(y = 0) ⇒ (x = 0) la variabile x è libera perché non è legata alla presenza del quantificatore universale ∀, il quale si riferisce invece alla variabile y che, pertanto, è vincolata.