blocco 1
blòcco1 [Dal fr. bloc "tronco abbattuto, quantità di materia", poi "oggetto piuttosto consistente" e sim.] [ALG] [FAF] Nella logica matematica, successione chiusa in sé di quantificatori esistenziali [...] o universali. ◆ [ELT] [FTC] B. funzionale: simbolo grafico, di solito in forma di rettangolo con opportuni altri simboli oppure didascalie nell'interno, per rappresentare una sub-unità di un impianto la ...
Leggi Tutto
prenesso
prenésso [agg. Der. dell'ingl. prenex, che è dal lat. praenexus "unito prima"] [ALG] [FAF] Forma normale p. (dall'ingl. prenex normal form): nella logica matematica, espressione predicativa [...] in cui tutti i quantificatori si trovano all'inizio. ...
Leggi Tutto
predicati, linguaggio dei
predicati, linguaggio dei linguaggio formale in cui è possibile rappresentare simbolicamente frasi espresse nel linguaggio naturale aventi una struttura più elaborata degli [...] è un multiplo di 4 allora x è un numero pari»). Si noti l’uso della parentesi tonda la quale sta a significare che il quantificatore universale si riferisce a tutta la formula M(x, 4) ⇒ P(x) e non solo all’antecedente M(x, 4). Una volta che le frasi ...
Leggi Tutto
quantificazionequantificazióne [Der. dell'ingl. quantification, da to quantify "quantificare" (→ quantificatore), "atto ed effetto del quantificare"] [LSF] Termine talora usato, impropr., come sinon. [...] di quantizzazione. ◆ [ALG] [FAF] Teoria della q.: nella logica matematica, lo studio dei quantificatori e delle loro funzioni, strettamente collegato con lo studio dei predicati. ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] in questo senso che il teorema ci dà una sorta di eliminazione dell'infinito. Se infatti A è priva di quantificatori e si deve dimostrare ⇒A, non occorrerà ricorrere al dominio illimitato dei termini ma solo a quelli ‒ finiti ‒ coinvolti direttamente ...
Leggi Tutto
primo ordine, teoria del
primo ordine, teoria del espressione usata per contraddistinguere una particolare categoria di teorie matematiche formalizzate. Formalizzare una teoria significa esprimere i [...] ; x» può essere tradotta nella formula ∀x∃y(y > x) espressa in un linguaggio del primo ordine perché i due quantificatori si riferiscono a due variabili (rispettivamente a x e y). Al contrario, una espressione come «per ogni proprietà P esiste un ...
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. [...] modi possibili sugl'individui del dominio della struttura e quelle vincolate nei modi consentiti dall'interpretazione dei quantificatori. Fissata un'interpretazione I per il linguaggio L, ogni formula di L senza variabili individuali libere acquista ...
Leggi Tutto
Il numero è la categoria grammaticale che serve a codificare la quantità dei referenti di diversi elementi linguistici. Le principali definizioni di numero presenti nelle grammatiche e nei dizionari tuttavia [...] in italiano (al pari che in latino) si ha anche un impiego del numero che non ha nulla a che fare con la quantificazione. Il singolare può essere usato infatti per designare non un individuo di una classe ma tutta la classe in generale:
(7) la balena ...
Leggi Tutto
predicato
predicato [Der. del lat. praedicatum, part. pass. neutro sostantivato di praedicare "rendere noto"] [ALG] [FAF] (a) Ciò che si afferma o si nega intorno a un soggetto; (b) nella logica matematica, [...] calcolo delle proposizioni (→ proposizione) quando, oltre alle proposizioni semplici e ai connettivi, si considerano anche p. e quantificatori. ◆ [ALG] [FAF] Logica dei p.: la parte della logica matematica che studia le espressioni (formule) che si ...
Leggi Tutto
secondo ordine, teoria del
secondo ordine, teoria del in logica, locuzione utilizzata per contraddistinguere una particolare categoria di teorie matematiche formalizzate. Formalizzare una teoria significa [...] (M(x) ⋁ ￢M(x)). Questa formula ben formata è espressa in un linguaggio predicativo del secondo ordine in quanto il quantificatore ∀ è riferito sia alla variabile x sia all’insieme di variabili M.
La possibilità di quantificare su insiemi di variabili ...
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...