predicatopredicato [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, [...] attributo di uno o più soggetti, come, per es., "allineati" nella proposizione "i punti A, B e C sono allineati". ◆ [ALG] [FAF] Calcolo dei p.: la forma che assume il calcolo delle proposizioni (→ proposizione) ...
Leggi Tutto
predicativopredicativo [agg. Der. di predicato "relativo a predicati"] [ALG] [FAF] Espressione p.: nella logica matematica, ogni espressione F che sia coerente con sé stessa; in simb., Pred (F)↔F(F) [...] (si parla di espressione impredicativa nel caso contrario); per es., l'aggettivo "astratto" è p. (mentre "concreto" è impredicativo) ...
Leggi Tutto
epsilon
èpsilon [gr. epsilòn "semplice"] [LSF] Nome della lettera greca ε (e breve) maiusc. Ε. ◆ [ALG] Operatore ε: introdotto da D. Hilbert nella logica dei predicati del 1° ordine, in relazione a un [...] predicato monadico P sceglie o privilegia un particolare elemento tra tutti quelli che appartengono a P. ◆ [FSN] Mesone ε: v. nucleone: IV 207 b. ...
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 identificare la località di residenza di questo ...
Leggi Tutto
quantificazione
quantificazió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
logica
lògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico [...] o a due valori. ◆ [ELT] [INF] L. cablata: v. calcolatori, architettura dei: I 396 b. ◆ [FAF] L. dei predicati, o predicativa: la l. che non si limita a considerare gli enunciati intesi come enti indivisibili (l. enunciativa o degli enunciati), ma li ...
Leggi Tutto
semantica
semàntica [Der. del fr. sémantique, termine introdotto, dal gr. semantikós (da semaíno "significare"), nel 1897 dal linguista M.-J.-A. Bréal per indicare quel ramo della linguistica che s'occupa [...] e quindi permette di dare una definizione rigorosa del concetto di verità: sono concetti semantici, per es., modello, formula soddisfacibile, ecc. ◆ [ALG] [FAF] S. della logica dei predicati e della logica proposizionale: v. logica: III 484 e, 483 d. ...
Leggi Tutto
proposizione
proposizióne [Der. del lat. propositio -onis, dal part. pass. propositus di proponere "mettere avanti", comp. di pro- e ponere "porre"] [ALG] [FAF] Nella logica matematica, enunciazione [...] (le p. semplici) e connettivi; se le p. fossero espresse anche mediante predicati e, oltre ai connettivi, si usassero anche quantificatori, si avrebbe il calcolo dei predicati. ◆ [ALG] [FAF] Legge delle p. inverse: una delle leggi proposizionali (v ...
Leggi Tutto
teorema
teorèma [Der. del lat. theorema, dal gr. theórema "ricerca, meditazione"] [FAF] (a) Nelle scienze deduttive (tipic., nella matematica), ogni enunciato che può essere dedotto logicamente dagli [...] . ◆ [TRM] T. del limite centrale: v. limite centrale, teorema del. ◆ [FAF] T. di correttezza e di completezza della logica dei predicati: v. logica: III 485 c. ◆ [ELT] T. fondamentale di una funzione booleana: v. circuiti logici: I 619 e. ◆ [FAF] T ...
Leggi Tutto
termine
tèrmine [Der. del lat. terminus "limite, confine"] [ALG] Ciascuno degli elementi sui quali opera una legge di composizione algebrica, come, per es., nell'aritmetica i t. di un'addizione sono [...] con il medesimo esponente e che, pertanto, possono essere ridotti a un solo monomio. ◆ [FAF] Classe dei t.: nella logica dei predicati, l'insieme di tutte le espressioni atte a designare gli individui e le variabili individuali: v. logica: III 484 c. ...
Leggi Tutto
predica
prèdica s. f. [der. di predicare]. – 1. a. Discorso che il sacerdote tiene in chiesa ai fedeli, parlando dal pulpito, dall’altare o dal presbiterio, su qualche passo della Scrittura o su argomenti di carattere morale, liturgico, sociale,...
predicabile
predicàbile agg. [nel sign. 1 a, der. di predicare; nel sign. 1 b, dal lat. praedicabĭlis, der. di praedicare nel senso di «celebrare, lodare»; il sign. 2 è dal lat. mediev. praedicabilia, tratto da praedicare nell’accezione assunta...