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 [...] (a) q. universale, di simb. ∀ (l'iniziale rovesciata dell'ingl. all "tutti"), che significa "qualunque sia, ogni"; (b) q. esistenziale, di simb. ∃ (l'iniziale ribaltata dell'ingl. exist "esiste"), che significa "esiste almeno un"; per es., ∃x∀y(x+y=y ...
Leggi Tutto
esiste
esiste detto anche quantificatoreesistenziale, uno dei due → quantificatori fondamentali del linguaggio dei predicati (insieme al quantificatore universale). È indicato con il simbolo ∃ ed è [...] dire che non per ogni x ∈ A, P(x) è falsa; questa relazione lega, attraverso la negazione, il quantificatoreesistenziale al quantificatore universale ∀ nel modo seguente: ∃xP(x) è logicamente equivalente a ¬∀x(¬P(x)).
Una versione più specifica del ...
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 [...] dei numeri reali) si ha ∀x(x+5=7), che è un enunciato falso. Il secondo quantificatore si chiama particolarizzatore o, più spesso, quantificatoreesistenziale. Applicato alla forma enunciativa x+5=7, la trasforma nell’enunciato, ovviamente vero, ∃x(x ...
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 quantificatore universale ???S-104??? (da leggere "per ogni") e il quantificatoreesistenziale ∃ (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 quantificatoreesistenziale 'qualche', e il quantificatore universale '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 quantificatore universale ∀. Il p., o quantificatoreesistenziale (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???. (quantificatoreesistenziale), che vuoI dire ‛esiste almeno un ...', e ∀. (quantificatore universale), che vuol dire ‛per ogni ...'; f) parentesi, ( e ...
Leggi Tutto
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] di un'entità a insieme con la dimostrazione che a∈5, allora M trasforma A in una dimostrazione di P(a).
Quantificatoreesistenziale. Una dimostrazione di ???29???xP(x), dove il dominio di x è la specie S, consiste nella costruzione di un'entità ...
Leggi Tutto
Logica
CChaïm Perelman
di Chaïm Perelman
Logica
sommario: 1. La concezione ‛formale' della logica: lo studio delle verità logiche: a) l'oggetto della logica e la tradizione aristotelica; b) l'antipsicologismo [...] ‛G', che prenderanno il nome di funtori. Per completare il linguaggio della logica, Quine aggiunge ancora un quantificatoreesistenziale (‛∃x', ‛∃y') composto dal simbolo ‛∃', e dalla variabile che viene quantificata. ‛(∃x) Fx' si leggerà: esiste un ...
Leggi Tutto
esistenziale
eṡistenziale agg. [dal lat. tardo exsistentialis]. – Dell’esistenza, che riguarda l’esistenza (nel suo sign. più astratto, cioè l’esistere, l’esserci): problemi e.; rapporti e.; angoscia e., l’angoscia conseguente alla situazione...
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...