predicato
s. m. [dal lat. praedicatum, part. pass. neutro sostantivato di praedicare (v. predicare), che come termine della logica e della grammatica traduce, nel lat. tardo e mediev., il gr. κατηγορούμενον [...] (formule) che si possono costruire con predicati, applicati a costanti e a variabili, e con connettivi e quantificatori: è il linguaggio che si considera usualmente nello studio della logica matematica (v. anche proposizione: calcolo delle ...
Leggi Tutto
prenesso
prenèsso agg. [dall’ingl. prenex (usato soltanto nella locuz. seg.), che è dal lat. tardo praenexus «legato, unito davanti»]. – In logica matematica, forma normale p. (ingl. prenex normal form), [...] formula del calcolo dei predicati in cui tutti i quantificatori si trovano all’inizio. ...
Leggi Tutto
prefisso
s. m. [dal lat. praefixus, part. pass. sost. di praefigĕre «prefiggere»]. – 1. In linguistica, morfema che viene anteposto alla radice o al tema, nominale o verbale, per la formazione di una [...] ; è detto anche, correntemente, p. di teleselezione o p. teleselettivo. 3. In logica matematica, la sequenza iniziale dei quantificatori di una formula del calcolo dei predicati scritta in forma normale prenessa (v. prenesso). 4. P. metrologici: sono ...
Leggi Tutto
lineare1
lineare1 agg. [dal lat. linearis]. – 1. Inerente a una linea (per lo più retta), che procede secondo una retta, o che si sviluppa prevalentemente nel senso della lunghezza: misure l., le misure [...] della logica matematica (e quindi anche dell’informatica) che si propone un’analisi più profonda dei connettivi e dei quantificatori (per es., i connettivi della logica lineare permettono di precisare l’ordine secondo cui vanno enunciate le ipotesi ...
Leggi Tutto
proposizione
propoṡizióne s. f. [dal lat. propositio -onis, propr. «il mettere innanzi», der. di proponĕre: v. proporre]. – 1. In genere, ciò che si enuncia, si dichiara, si afferma, e la frase stessa [...] proposizionali e connettivi (qualora le proposizioni siano espresse mediante predicati e, oltre ai connettivi, si usino anche i quantificatori, si ottiene il calcolo dei predicati). 3. Nell’orazione classica, la parte nella quale si dichiara l ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto [...] predicati, la parte della logica che studia le condizioni di validità dell’inferenza anche in base al significato dei quantificatori, cioè di espressioni come «tutti», «qualche», ecc. Per gli sviluppi attuali delle teorie logiche e le locuz. relative ...
Leggi Tutto
matrice
s. f. [dal lat. matrix -icis «madre; utero»]. – 1. a. Sinon. non com. di madre, soltanto nell’espressione merid. chiesa m., o assol. matrice, lo stesso che chiesa madre (v. madre). b. Sinon. [...] definita direttamente dal calcolatore cui questa è collegata. 8. In logica matematica: a. Espressione priva di quantificatori contraddistinta da un punto esclamativo collocato subito dopo di essa; più precisamente, data una espressione predicativa in ...
Leggi Tutto
sincategorema
sincategorèma s. m. [comp. di sin- e categorema] (pl. -i). – Nella logica formale (in contrapp. a categorema), termine di un enunciato che di per sé non ha un significato compiuto, come, [...] per es., la copula, i connettivi logici, i quantificatori (v. sincategorematico). ...
Leggi Tutto
quantificazionequantificazió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 [...] anche al predicato (per es., «tutti gli uomini sono alcuni dei vertebrati»); teoria della q., in logica matematica, studio dei quantificatori e delle loro funzioni (è strettamente collegata al calcolo dei predicati: v. predicato, n. 2). In fisica è a ...
Leggi Tutto
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 nome è inserito. Il termine, preso dalla...
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...