• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X

variabile legata

Enciclopedia della Matematica (2013)
  • Condividi

variabile legata


variabile legata o variabile vincolata, in logica, variabile che compare in una formula ben formata di un linguaggio logico e le cui occorrenze si trovano nel campo d’azione di un quantificatore che abbia, come indice, tale variabile. Per esempio, nella formula ∀x(x = y) la variabile x è legata al quantificatore universale ∀ perché compare nella formula (x = y) che è il campo d’azione del quantificatore e questo ha proprio x come indice. La variabile y è invece libera perché non è vincolata da alcun quantificatore. Cambiando il nome di una variabile legata non cambia il significato della formula in cui essa compare: scrivere ∀x(x > 0) oppure ∀t (t > 0) è sostanzialmente equivalente perché in entrambi i casi la formula indica che qualsiasi numero (appartenente a un dato insieme) è maggiore di zero. Nel rinominare le variabili legate occorre tuttavia fare attenzione a non usare lettere già utilizzate per indicare variabili libere, altrimenti si rischia che una variabile libera diventi vincolata, verificandosi così la cosiddetta cattura di una variabile libera. Come esempio, si consideri, in un insieme numerico dato, la formula ∃x(x > y) che può essere interpretata come «esiste un numero maggiore di y». Se si rinomina la variabile legata x sostituendola con la lettera y si ottiene la formula ∃y(y > y) in cui la variabile y ha perso il suo status di variabile libera ed è stata “catturata” dal quantificatore esistenziale ∃. Si noti che anche il significato della formula è cambiato: la formula ∃y(y > y) può infatti essere interpretata come «esiste un numero maggiore di sé stesso» che ha un significato diverso da quello della precedente e non è vera in alcun insieme numerico.

Tag
  • QUANTIFICATORE UNIVERSALE
  • VARIABILE LIBERA
  • INSIEME NUMERICO
Vocabolario
legato¹
legato1 legato1 agg. [part. pass. di legare1]. – 1. a. Stretto, unito, tenuto insieme con una fune o altrimenti (per le accezioni partic., v. legare1): tenere il cane l.; una balla di merce saldamente l.; anche in senso fig.: avere le mani...
variàbile
variabile variàbile agg. e s. f. [dal lat. tardo variabĭlis, der. di variare «variare»]. – 1. agg. Che varia, che può variare, che è soggetto a variare: grandezza, valore, norma v.; il prezzo è v. secondo le stagioni e la richiesta; quindi...
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali