Il termine quantificatori indica una serie di espressioni che forniscono informazioni quantitative sui referenti del nome a cui si collegano e, di conseguenza, sulla frase all’interno della quale quel [...] si fa riferimento a un individuo unico e ben identificabile o a un’intera classe. Il numero grammaticale ha valore di quantificatore solo quando si applica a nomi numerabili (➔ nomi) a referenza determinata: per es., cane o cani intesi come quel cane ...
Leggi Tutto
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
esiste
esiste detto anche quantificatore esistenziale, 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 quantificatore esistenziale al quantificatore universale ∀ nel modo seguente: ∃xP(x) è logicamente equivalente a ¬∀x(¬P(x)).
Una versione più specifica del ...
Leggi Tutto
particolarizzatore
particolarizzatóre [Der. di particolarizzare] [ALG][FAF] Uno dei due quantificatori della logica matematica (l'altro è il generalizzatore). ...
Leggi Tutto
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 ...
Leggi Tutto
quantificatorequantificatore in logica, termine che indica il corrispettivo formale di locuzioni quali «per ogni», «esiste», «esiste un» ecc. L’introduzione di quantificatori in una scrittura formale [...] per esempio in ∃x(P(x) ⇒ Q(y)) ∨ R(x), il predicato P(x) ⇒ Q(y) è il campo d’azione del quantificatore esistenziale, racchiuso tra parentesi, mentre R(x) non ne fa parte. Si dice che una variabile x ha una occorrenza vincolata o legata in una formula ...
Leggi Tutto
frase
frase in un linguaggio formale, sequenza di simboli (costanti, variabili, connettivi, quantificatori, simboli di funzione e di relazione, parentesi, virgole) costruita osservando determinate regole [...] sintattiche del linguaggio. I simboli (o caratteri) utilizzati per costruire una frase costituiscono l’alfabeto del linguaggio considerato. Solitamente, una frase costruita in un linguaggio formale è denominata ...
Leggi Tutto
Barwise
Barwise Kenneth Jon (Indipendence, Missouri, 1942 - Bloomington, Indiana, 2000) matematico e logico statunitense, promotore dello studio dei quantificatori generalizzati. ...
Leggi Tutto
quantificazione
In generale nelle scienze empiriche, processo che associa a proprietà di un certo sistema osservato una costante numerica (processo di misurazione). In logica con tale termine si fa riferimento [...] proprietà o è in relazione con altri individui. Per es.: ‘esiste un trattato di pace’. Tale operatore è formalizzato con il simbolo ∃ che quantifica delle variabili di cui si predica qualche cosa. Per es.: ∃x (Px), dove la prima x è detta indice del ...
Leggi Tutto
prefisso
prefisso [agg. e s.m. Der. dal part. pass. praefixus del lat. praefigere "prefiggere, mettere prima"] [ALG] [FAF] Nella logica matematica, la sequenza iniziale dei quantificatori di una formula [...] del calcolo dei predicati scritta in forma normale prenessa (→ prenesso). ◆ [ELT] Nella telefonia a commutazione automatica, gruppo di cifre che viene anteposto alle cifre corrispondenti a un utente per ...
Leggi Tutto
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...
quantificazione
quantificazióne s. f. [dall’ingl. quantification, der. di (to) quantify: v. quantificare]. – 1. L’operazione e il risultato del quantificare: q. del predicato, nella logica, teoria, elaborata soprattutto da W. Hamilton sulla...