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
per ogni
per ogni o quantificatoreuniversale, uno dei due → quantificatori fondamentali del linguaggio dei predicati (insieme al quantificatore esistenziale). Viene indicato con il simbolo ∀ ed è applicato [...] P equivale a dire che è vera la congiunzione generalizzata
estesa a tutti gli elementi di A. Il quantificatoreuniversale può essere, quindi, interpretato come una congiunzione generalizzata (→ congiunzione). Dire che ogni x in un insieme A = {a1 ...
Leggi Tutto
quantificatore, indice di un
quantificatore, indice di un variabile che compare subito dopo un quantificatore. Per esempio in ∀xP(x) la variabile x è l’indice del quantificatoreuniversale ∀ (→ quantificatore). ...
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
Filosofo e logico inglese (Cambridge 1903 - ivi 1930). Prof. all'università di Cambridge, conosciuto soprattutto per la sua analisi critica dei Principia mathematica di B. Russell e A. N. Whitehead, R. [...] è espressa la teoria tutte le costanti designanti entità teoriche con opportune variabili e applicando quindi il quantificatoreuniversale. Le asserzioni quantificate così ottenute implicano le stesse conseguenze osservative del sistema di assiomi di ...
Leggi Tutto
LOGICA MATEMATICA
Aldo Marruccelli
Alberto Pasquinelli
(XXI, p. 398; App. II, 11, p. 226; III, 1, p. 999).
Princìpi di logica matematica.
È opportuno premettere all'articolo che dà notizia dei progressi [...] logiche, cioè connettivi e parentesi come per il linguaggio enunciativo, inoltre il quantificatoreuniversale ???S-104??? (da leggere "per ogni") e il quantificatore esistenziale ∃ (da leggere "per qualche"). 2°) Costanti individuali come a, b, c ...
Leggi Tutto
Semantica
Giulio Lepschy
(XXXI, p. 334; App. III, ii, p. 692; IV, iii, p. 298)
Ciò che caratterizza gli studi di s. negli ultimi decenni del 20° secolo è la convergenza di due filoni di ricerca precedentemente [...] aspetti), dei cosiddetti verbi modali ('potere', 'dovere', 'volere'), e dei quantificatori (il quantificatore esistenziale 'qualche', e il quantificatoreuniversale 'ogni'). La logica tradizionale riconosce la distinzione fra "necessità" (indicata ...
Leggi Tutto
In logica matematica, uno dei due quantificatori fondamentali (➔ operatore), insieme con il generalizzatore o quantificatoreuniversale ∀. Il p., o quantificatore esistenziale (simbolo ∃), applicato a [...] un predicato P afferma l’esistenza di almeno un individuo che gode della proprietà P. In simboli: ∃ x P x, che si legge: esiste almeno un x tale che valga Px ...
Leggi Tutto
Informatica
Fabrizio Luccio
Franco P. Preparata
Carl-Erik Fröberg
Piero Sguazzero
Piero Dell'Orco e Tomaso Poggio
Teoria della computazione di Fabrizio Luccio
SOMMARIO: 1. Origine e motivazioni. [...] naturale (eccettuato il ¬, che corrisponde all'avverbio ‛non'); e) due ‛quantificatori', ???29???. (quantificatore esistenziale), che vuoI dire ‛esiste almeno un ...', e ∀. (quantificatoreuniversale), che vuol dire ‛per ogni ...'; f) parentesi, ( e ...
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...