quantificatorequantificatóre [Der. di quantificare "introdurre elementi quantitativi", comp. di quant(ità) e del tema del lat. facere "fare"] [ALG] [FAF] Nella logica matematica, operatore che viene [...] quelli rappresentati dalla variabile, godono di una certa proprietà, di solito indicata da un predicato; precis.: (a) q. universale, di simb. ∀ (l'iniziale rovesciata dell'ingl. all "tutti"), che significa "qualunque sia, ogni"; (b) q. esistenziale ...
Leggi Tutto
Biologia
In genetica, tratto di DNA che fa parte di un operone e condiziona la trascrizione dei geni strutturali immediatamente adiacenti (➔ operone).
Filosofia
In filosofia analitica, un’espressione [...] , cioè «per ogni x, (se x è uomo) x è vivente»; tale enunciato risulta evidentemente vero. Se si quantificauniversalmente il secondo esempio (dove l’insieme universale è quello dei numeri reali) si ha ∀x(x+5=7), che è un enunciato falso. Il secondo ...
Leggi Tutto
MODELLI, Teoria dei (App. III, 11, p. 139)
Giulio Supino
Alberto Pasquinelli
Aldo Marruccelli
In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] quella in cui il prefisso contiene solo quantificatoriuniversali; sarà una ∀∃-formula quella nel cui prefisso nessun quantificatoreuniversale è preceduto da un quantificatore esistenziale; ecc. Si pone il problema di sapere se queste diverse ...
Leggi Tutto
universaleuniversale [agg. e s.m. Der. del lat. universalis, da universus "tutto intero"] [FTC] Qualifica di dispositivi o apparecchi che: (a) possono essere usati in condizioni diverse di alimentazione [...] di un attacco che gli consente di essere usato su macchine fotografiche di marca diversa. ◆ [ALG] [FAF] Quantificatore u.: → quantificatore. ◆ [FTC] [EMG] Strumento u.: nell'elettrotecnica e nell'elettronica, lo stesso che analizzatore elettrico o ...
Leggi Tutto
universale1
universale1 agg. [dal lat. universalis, der. di universus: v. universo1]. – 1. a. Che riguarda tutto l’universo, che si estende o è valido per l’intero universo fisico (nell’accezione scient. di questo termine): legge dell’attrazione...
quantificatore
quantificatóre agg. e s. m. [der. di quantificare]. – 1. In logica matematica, operatore che viene premesso a una variabile e che indica quanti oggetti (fra quelli che possono venire indicati dalla variabile) godono di una data...