quantificatore

Dizionario delle Scienze Fisiche (1996)

quantificatore quantificató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

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

quantificatore universale

Enciclopedia della Matematica (2013)

quantificatore universale quantificatore universale → quantificatore. ... Leggi Tutto

per ogni

Enciclopedia della Matematica (2013)

per ogni per ogni o quantificatore universale, 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 quantificatore universale può essere, quindi, interpretato come una congiunzione generalizzata (→ congiunzione). Dire che ogni x in un insieme A = {a1 ... Leggi Tutto

TAGS: QUANTIFICATORE ESISTENZIALE – QUANTIFICATORE UNIVERSALE – NUMERO NATURALE – INSIEME

quantificatore, indice di un

Enciclopedia della Matematica (2013)

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 quantificatore universale ∀ (→ quantificatore). ... Leggi Tutto

TAGS: QUANTIFICATORE UNIVERSALE

operatore

Enciclopedia on line

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 quantifica universalmente 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

CATEGORIA: ANTROPOLOGIA FISICA – GENETICA – MESTIERI E PROFESSIONI – FISICA MATEMATICA – MECCANICA QUANTISTICA – ANALISI MATEMATICA – LOGICA MATEMATICA – FILOSOFIA DEL LINGUAGGIO – METAFISICA

TAGS: QUANTIFICATORE ESISTENZIALE – GEOMETRIA DIFFERENZIALE – MECCANICA QUANTISTICA – SISTEMI DIFFERENZIALI – ANELLO DEI POLINOMI

Ramsey, Frank Plumpton

Enciclopedia on line

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 quantificatore universale. Le asserzioni quantificate così ottenute implicano le stesse conseguenze osservative del sistema di assiomi di ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: QUANTIFICATORE UNIVERSALE – FILOSOFIA DELLA SCIENZA – CALCOLO COMBINATORIO – TEORIA DEI GRAFI – A. N. WHITEHEAD

LOGICA MATEMATICA

Enciclopedia Italiana - IV Appendice (1979)

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 quantificatore esistenziale ∃ (da leggere "per qualche"). 2°) Costanti individuali come a, b, c ... Leggi Tutto

TAGS: TEORIA DELLA DIMOSTRAZIONE – TEORIA DELLE CATEGORIE – TEORIA DEGLI INSIEMI – SISTEMA ASSIOMATICO – TEORIA DEI MODELLI

Semantica

Enciclopedia Italiana - VI Appendice (2000)

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 quantificatore universale 'ogni'). La logica tradizionale riconosce la distinzione fra "necessità" (indicata ... Leggi Tutto

CATEGORIA: LINGUISTICA GENERALE

TAGS: DISGIUNZIONE ESCLUSIVA – PSICOLOGIA COGNITIVA – FILOSOFIA ANALITICA – CRITICI LETTERARI – ALESSANDRO MAGNO

particolarizzatore

Enciclopedia on line

In logica matematica, uno dei due quantificatori fondamentali (➔ operatore), insieme con il generalizzatore o quantificatore universale ∀. 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

CATEGORIA: LOGICA MATEMATICA

TAGS: LOGICA MATEMATICA

Informatica

Enciclopedia del Novecento (1989)

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 ∀. (quantificatore universale), che vuol dire ‛per ogni ...'; f) parentesi, ( e ... Leggi Tutto

TAGS: CALCOLO DEI PREDICATI DEL PRIMO ORDINE – MASSACHUSETTS INSTITUTE OF TECHNOLOGY – TEOREMA DI INCOMPLETEZZA DI GÖDEL – PROBLEMA DEL COMMESSO VIAGGIATORE – METODO DEGLI ELEMENTI FINITI