variabile libera, cattura di una
variabile libera, cattura di una in logica, procedura che si verifica quando, nel rinominare una variabile che in una formula è legata da un quantificatore, si utilizza [...] libera. Tale procedura non garantisce una deduzione corretta perché la variabile, precedentemente libera, viene così “catturata” e ricade ora nell’ambito del quantificatore stesso, potendo in tal modo modificare il valore di verità della formula ...
Leggi Tutto
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...
variabilita
variabilità s. f. [der. di variabile]. – L’essere variabile; condizione o proprietà di ciò che è variabile; attitudine di uno o più elementi a presentarsi in vario modo o con varia intensità: v. di una grandezza; v. del tempo;...