chiusura

Enciclopedia della Matematica (2013)

chiusura


chiusura (in logica) procedimento di inserimento delle variabili libere di una formula nel campo di azione di un quantificatore (universale o esistenziale) in modo da ottenere una nuova formula in cui esse compaiono come variabili legate (→ formula chiusa).

Vocabolario
chiusura
chiusura s. f. [lat. tardo clusūra, per clausūra, der. di cludĕre, claudĕre «chiudere»]. – 1. a. L’atto del chiudere o del venir chiuso, il fatto di essere chiuso, anche nel sign. fig. di cessazione, termine, conclusione e sim.: ch. di...
otturatóre
otturatore otturatóre agg. e s. m. [der. di otturare]. – In genere, che ottura, che chiude; più spesso, nome di congegni o formazioni che hanno funzione di chiusura. In partic.: 1. In anatomia: muscoli o., nome di due muscoli (o. interno...