Universal closure

In logica matematica e più in particolare in una teoria del primo ordine si chiama chiusura universale di una formula ben formata in cui sono variabili libere, la formula ottenuta premettendo un quantificatore universale su ogni variabile libera. Ad esempio la chiusura universale della formula è data dalla formula ma la situazione può essere molto più complessa, ad esempio la chiusura universale di che ha solamente come variabile libera, è data da La chiusura universale trasforma una formula aperta in una formula chiusa. rdf:langString